Paper Citation Record · LEDGER

Piecewise Control Barrier Functions for Stochastic Systems

As of 17 August 2026, this Paper Citation Record lists 37 of 37 outbound references and 1 inbound Pith citation observation for arXiv:2507.17703.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2507.17703 v1

Coverage vector

measured 37 of 37 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-15T18:26:17.860775Z

measured 38 of 38 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-17T06:30:58.91139+00:00

measured 1 of 1 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-05-08T10:39:28.215469Z

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: arxiv_reference, observed 2026-05-11T19:56:09.216355Z

Reference resolution

37 of 37 outbound references displayed

verified exact3
verified fuzzy26
unresolved8
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 62bcc430-af9a-421a-9e6e-bd1086dc2c32 · outbound

This paper cites On a Formal Model of Safe and Scalable Self-driving Cars.

Piecewise Control Barrier Functions for Stochastic Systems On a Formal Model of Safe and Scalable Self-driving Cars

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-15T18:26:17.689420Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 69c023c2-188a-4848-80d9-b4c88c3648d9 · outbound

This paper cites Safety-Critical Ad- vanced Robots: A Survey,.

Piecewise Control Barrier Functions for Stochastic Systems Safety-Critical Ad- vanced Robots: A Survey,

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T18:26:18.464541Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 75df82c9-3bfa-4c95-b0cf-4b72e4cffb61 · outbound

This paper cites Dynamics and optimal control for free-flight and tethered arrays in low earth orbit,.

Piecewise Control Barrier Functions for Stochastic Systems Dynamics and optimal control for free-flight and tethered arrays in low earth orbit,

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T18:26:18.450278Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 9cfc04cf-fe2e-4709-bf86-18b8981a6c2f · outbound

This paper cites Shielded Deep Reinforcement Learning for Complex Spacecraft Tasking.

Piecewise Control Barrier Functions for Stochastic Systems Shielded Deep Reinforcement Learning for Complex Spacecraft Tasking

Reference 4

Resolution: verified exact; local_arxiv, observed 2026-08-15T18:26:18.028048Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 11675a09-9e8b-402d-8178-843b18c57aee · outbound

This paper cites Synthesis for robots: Guarantees and feedback for robot behavior,.

Piecewise Control Barrier Functions for Stochastic Systems Synthesis for robots: Guarantees and feedback for robot behavior,

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T18:26:18.436180Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 14627f85-055a-44c5-a945-4ff09a900196 · outbound

This paper cites Falsification of Autonomous Systems in Rich Environments.

Piecewise Control Barrier Functions for Stochastic Systems Falsification of Autonomous Systems in Rich Environments

Reference 6

Resolution: verified exact; local_arxiv, observed 2026-08-15T18:26:17.999327Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 2bbb8d86-ff1b-4ba9-8d0a-2e8c097f721d · outbound

This paper cites Control Barrier Functions: Theory and Applications,.

Piecewise Control Barrier Functions for Stochastic Systems Control Barrier Functions: Theory and Applications,

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T18:26:18.421363Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation ce2cd5cc-f96d-4820-8ec2-52d4e93a8057 · outbound

This paper cites Control Barrier Function based Quadratic Programs for Safety Critical Systems,.

Piecewise Control Barrier Functions for Stochastic Systems Control Barrier Function based Quadratic Programs for Safety Critical Systems,

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T18:26:18.406890Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 9cd39a9c-76ea-478f-b6b7-5625d3ab607a · outbound

This paper cites Tabuada, Verification and Control of Hybrid Systems: a Symbolic Approach.

Piecewise Control Barrier Functions for Stochastic Systems Tabuada, Verification and Control of Hybrid Systems: a Symbolic Approach

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T18:26:18.393322Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 511df63c-f1bf-4c89-843a-8686631e3c0c · outbound

This paper cites Formal Verification and Synthesis for Discrete-time Stochastic Systems,.

Piecewise Control Barrier Functions for Stochastic Systems Formal Verification and Synthesis for Discrete-time Stochastic Systems,

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T18:26:18.377945Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation f99eb02f-ea0b-4eea-a43e-a4cb146b4537 · outbound

This paper cites Piecewise Stochastic Barrier Functions.

Piecewise Control Barrier Functions for Stochastic Systems Piecewise Stochastic Barrier Functions

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-15T18:26:17.740180Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 06731e90-df2b-4c77-8ec6-7f55d5b3fdc0 · outbound

This paper cites A Barrier Function Approach to Finite-time Stochastic System Verification and Control,.

Piecewise Control Barrier Functions for Stochastic Systems A Barrier Function Approach to Finite-time Stochastic System Verification and Control,

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T18:26:18.363788Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation e26d94ea-76c0-45ff-8d94-92bbe1418553 · outbound

This paper cites Formal Synthesis of Stochas- tic Systems via Control Barrier Certificates,.

Piecewise Control Barrier Functions for Stochastic Systems Formal Synthesis of Stochas- tic Systems via Control Barrier Certificates,

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T18:26:18.348410Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation e25a9bac-00f0-4d35-bb35-b10593febfc2 · outbound

This paper cites Safety Guarantees for Neural Network Dynamic Systems via Stochas- tic Barrier Functions,.

Piecewise Control Barrier Functions for Stochastic Systems Safety Guarantees for Neural Network Dynamic Systems via Stochas- tic Barrier Functions,

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T18:26:18.335088Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 91ec4f6a-90e6-46ba-b731-b28389ca9c91 · outbound

This paper cites Sum of Squares and Polynomial Convexity,.

Piecewise Control Barrier Functions for Stochastic Systems Sum of Squares and Polynomial Convexity,

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T18:26:18.319992Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 70a9d2e6-8073-4148-b1fe-cf98519d127e · outbound

This paper cites Robust Safety under Stochastic Uncertainty with Discrete-Time Control Barrier Functions.

Piecewise Control Barrier Functions for Stochastic Systems Robust Safety under Stochastic Uncertainty with Discrete-Time Control Barrier Functions

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-15T18:26:17.763469Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3d433d84-4316-4829-8fd9-2f69d1860b7a · outbound

This paper cites Non-smooth Control Barrier Functions for Stochastic Dynamical Systems,.

Piecewise Control Barrier Functions for Stochastic Systems Non-smooth Control Barrier Functions for Stochastic Dynamical Systems,

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T18:26:18.305743Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 8ed7b15a-0f69-4df3-9856-996f2f81a769 · outbound

This paper cites Efficiency through Uncertainty: Scalable Formal Synthesis for Stochastic Hybrid Systems,.

Piecewise Control Barrier Functions for Stochastic Systems Efficiency through Uncertainty: Scalable Formal Synthesis for Stochastic Hybrid Systems,

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T18:26:18.291556Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 637ce1b6-ad03-4aef-a046-ba3637adecd3 · outbound

This paper cites Interval Markov Decision Processes with Continuous Action-spaces,.

Piecewise Control Barrier Functions for Stochastic Systems Interval Markov Decision Processes with Continuous Action-spaces,

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T18:26:18.277619Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation ebcb73e7-49f5-4dda-85ce-27e009966018 · outbound

This paper cites Data-Driven Permissible Safe Control with Barrier Certificates.

Piecewise Control Barrier Functions for Stochastic Systems Data-Driven Permissible Safe Control with Barrier Certificates

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-15T18:26:17.782898Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 48981efd-6243-40fc-96d4-488493c2ade5 · outbound

This paper cites Learning-Based Shielding for Safe Autonomy under Unknown Dynamics.

Piecewise Control Barrier Functions for Stochastic Systems Learning-Based Shielding for Safe Autonomy under Unknown Dynamics

Reference 21

Resolution: verified exact; local_arxiv, observed 2026-08-15T18:26:17.933485Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 3ca81646-8f48-4653-ad77-d16d4a1ce7f4 · outbound

This paper cites Temporal Logic Control for Nonlinear Stochastic Systems Under Unknown Disturbances.

Piecewise Control Barrier Functions for Stochastic Systems Temporal Logic Control for Nonlinear Stochastic Systems Under Unknown Disturbances

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-15T18:26:17.792655Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 32ed8774-1523-46d6-930a-f90b8dd176ab · outbound

This paper cites Learning Control Policies for Stochastic Systems with Reach-avoid Guarantees,.

Piecewise Control Barrier Functions for Stochastic Systems Learning Control Policies for Stochastic Systems with Reach-avoid Guarantees,

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T18:26:18.263397Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 3c257f63-6276-43ec-ab95-30a30817a99c · outbound

This paper cites Safe controller optimization for quadrotors with Gaussian processes,.

Piecewise Control Barrier Functions for Stochastic Systems Safe controller optimization for quadrotors with Gaussian processes,

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T18:26:18.248699Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 2ab72fa8-8e5f-4bc1-8089-3cf8eae13f19 · outbound

This paper cites an unresolved cited work.

Piecewise Control Barrier Functions for Stochastic Systems Unresolved cited work

Reference 25

Resolution: unresolved; raw_fallback, observed 2026-08-15T18:26:18.232219Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 785f6c9f-301d-47b6-9bb4-ad4145f93b03 · outbound

This paper cites Formal Control Synthesis for Stochastic Neural Network Dynamic Models,.

Piecewise Control Barrier Functions for Stochastic Systems Formal Control Synthesis for Stochastic Neural Network Dynamic Models,

Reference 26

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T18:26:18.218265Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 3df0e2dd-9051-4b66-9bc5-7318a04d79cf · outbound

This paper cites A Unifying Perspective for Safety of Stochastic Systems: From Barrier Functions to Finite Abstractions.

Piecewise Control Barrier Functions for Stochastic Systems A Unifying Perspective for Safety of Stochastic Systems: From Barrier Functions to Finite Abstractions

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-15T18:26:17.815275Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 47493190-9eb6-409c-b74e-5de575f378de · outbound

This paper cites Efficient Neural Network Robustness Certification with General Acti- vation Functions,.

Piecewise Control Barrier Functions for Stochastic Systems Efficient Neural Network Robustness Certification with General Acti- vation Functions,

Reference 28

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T18:26:18.203106Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 9c69b801-74fd-4c75-a3e6-9c6576f5f244 · outbound

This paper cites Bound propagation,.

Piecewise Control Barrier Functions for Stochastic Systems Bound propagation,

Reference 29

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T18:26:18.187651Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation eb18d45b-2dc8-451f-a490-e59797c28e73 · outbound

This paper cites Automatic Perturbation Analy- sis for Scalable Certified Robustness and Beyond,.

Piecewise Control Barrier Functions for Stochastic Systems Automatic Perturbation Analy- sis for Scalable Certified Robustness and Beyond,

Reference 30

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T18:26:18.173210Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 18226382-f214-46b8-9e16-4411c231bba4 · outbound

This paper cites an unresolved cited work.

Piecewise Control Barrier Functions for Stochastic Systems Unresolved cited work

Reference 31

Resolution: unresolved; no resolver link, observed 2026-08-15T18:26:17.833652Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a6f06db3-38ba-4aad-beec-50dc4edc9af7 · outbound

This paper cites Lagrangian Duality Theory,.

Piecewise Control Barrier Functions for Stochastic Systems Lagrangian Duality Theory,

Reference 32

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T18:26:18.147809Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 3a815bad-d82d-42ed-aa7a-f403dc22977e · outbound

This paper cites Lagrange Duality Theory for Con- vex Control Problems,.

Piecewise Control Barrier Functions for Stochastic Systems Lagrange Duality Theory for Con- vex Control Problems,

Reference 33

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T18:26:18.131392Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 1d50766e-540c-4da0-a3e1-754b71b20aa3 · outbound

This paper cites A Review on Bilevel Optimization: From Classical to Evolutionary Approaches and Applications,.

Piecewise Control Barrier Functions for Stochastic Systems A Review on Bilevel Optimization: From Classical to Evolutionary Approaches and Applications,

Reference 34

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T18:26:18.115231Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 7060385c-505f-4bea-b361-19276184fee0 · outbound

This paper cites On the Solution of Convex Bilevel Op- timization Problems,.

Piecewise Control Barrier Functions for Stochastic Systems On the Solution of Convex Bilevel Op- timization Problems,

Reference 35

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T18:26:18.098574Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation f0959dcd-c354-4f2a-9516-7e2a51829448 · outbound

This paper cites Safety Controller Synthesis for Incrementally Stable Switched Systems using Multiscale Symbolic Models,.

Piecewise Control Barrier Functions for Stochastic Systems Safety Controller Synthesis for Incrementally Stable Switched Systems using Multiscale Symbolic Models,

Reference 36

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T18:26:18.081954Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 6702e9b5-5369-40ad-b408-acc8035830a9 · outbound

This paper cites Stabilization of the Unicycle via Dynamic Feedback Linearization,.

Piecewise Control Barrier Functions for Stochastic Systems Stabilization of the Unicycle via Dynamic Feedback Linearization,

Reference 37

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T18:26:18.061284Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Pith citing papers

Observation 1588d28f-d173-404c-ac77-fa26f6cc26ee · inbound

Safety Certification is Classification cites this paper.

Safety Certification is Classification Piecewise Control Barrier Functions for Stochastic Systems

Reference 30

Resolution: verified exact; arxiv_id, observed 2026-05-11T19:56:09.218557Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.