Paper Citation Record · LEDGER

Synthesis of safety certificates for discrete-time uncertain systems via convex optimization

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

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

pith.paper-citation-record.v1
2505.08559 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-15T22:04:07.734012Z

measured 38 of 38 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-18T06:34:40.430872+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-07-02T07:39:47.486139Z

measured 0 of 1 external citation measurements

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

Source: arxiv_reference, observed 2026-07-02T07:46:45.590600Z

Reference resolution

37 of 37 outbound references displayed

verified exact2
verified fuzzy27
unresolved8
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 751e8589-8e22-4173-9e95-7e704f9e6438 · outbound

This paper cites Control barrier function based quadratic programs with applicatio n to adaptive cruise control.

Synthesis of safety certificates for discrete-time uncertain systems via convex optimization Control barrier function based quadratic programs with applicatio n to adaptive cruise control

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T22:04:08.343812Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 6b1d0710-8615-4905-825e-899c2903b6b7 · outbound

This paper cites Inﬁnite time reachability of state- space regions by using feedback control.

Synthesis of safety certificates for discrete-time uncertain systems via convex optimization Inﬁnite time reachability of state- space regions by using feedback control

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T22:04:08.331441Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 7f69fbc5-7793-4661-a298-0c90cb3874c9 · outbound

This paper cites End to End Learning for Self-Driving Cars.

Synthesis of safety certificates for discrete-time uncertain systems via convex optimization End to End Learning for Self-Driving Cars

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-15T22:04:07.590334Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a7f66b46-67dd-4b5c-b507-0b4f057d29d6 · outbound

This paper cites A Semi-Algebraic Framework for Verification and Synthesis of Control Barrier Functions.

Synthesis of safety certificates for discrete-time uncertain systems via convex optimization A Semi-Algebraic Framework for Verification and Synthesis of Control Barrier Functions

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-15T22:04:07.594733Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6b8b6ff8-d7b7-4788-8d6b-f28eaaa5e7e9 · outbound

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

Synthesis of safety certificates for discrete-time uncertain systems via convex optimization Robust Safety under Stochastic Uncertainty with Discrete-Time Control Barrier Functions

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-15T22:04:07.600628Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 69541984-aa43-4463-b952-67abccf8f5da · outbound

This paper cites Safe control with learned certiﬁcates: A survey of neural lyapunov, barr ier, and contraction methods for robotics and control.

Synthesis of safety certificates for discrete-time uncertain systems via convex optimization Safe control with learned certiﬁcates: A survey of neural lyapunov, barr ier, and contraction methods for robotics and control

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T22:04:08.319207Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 635685ae-dd16-4b03-8616-48c50b946891 · outbound

This paper cites PENLAB: A MATLAB solver for nonlinear semidefinite optimization.

Synthesis of safety certificates for discrete-time uncertain systems via convex optimization PENLAB: A MATLAB solver for nonlinear semidefinite optimization

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-15T22:04:07.609945Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a71c88ad-8cb6-4ab6-b1a7-7d3596424395 · outbound

This paper cites Formal synthesis of stochastic systems via control barrier certiﬁcates.

Synthesis of safety certificates for discrete-time uncertain systems via convex optimization Formal synthesis of stochastic systems via control barrier certiﬁcates

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T22:04:08.306643Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation f3c3994a-78ea-4a16-93ab-837cb46f5cf1 · outbound

This paper cites Fast and Certifiable Trajectory Optimization.

Synthesis of safety certificates for discrete-time uncertain systems via convex optimization Fast and Certifiable Trajectory Optimization

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-15T22:04:07.618129Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0329258d-dee7-4bda-919f-7a02d8d5ea0a · outbound

This paper cites Convex computation of the maximum controlled invariant set for polynomial control systems.

Synthesis of safety certificates for discrete-time uncertain systems via convex optimization Convex computation of the maximum controlled invariant set for polynomial control systems

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T22:04:08.293656Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 6ca4f6b0-8e3b-489c-b280-fca10db7c301 · outbound

This paper cites Stochastic stability and contr ol.

Synthesis of safety certificates for discrete-time uncertain systems via convex optimization Stochastic stability and contr ol

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T22:04:08.281301Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 8c829ceb-a508-4412-b909-a630f448884b · outbound

This paper cites Distributionally Robust Policy and Lyapunov-Certificate Learning.

Synthesis of safety certificates for discrete-time uncertain systems via convex optimization Distributionally Robust Policy and Lyapunov-Certificate Learning

Reference 12

Resolution: verified exact; local_arxiv, observed 2026-08-15T22:04:07.928427Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 8d7aabba-fa5a-4be6-be99-720b069d61bf · outbound

This paper cites Hamilton–jacobi formulation for reach–avoid diﬀerential games.

Synthesis of safety certificates for discrete-time uncertain systems via convex optimization Hamilton–jacobi formulation for reach–avoid diﬀerential games

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T22:04:08.269851Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 86a03b8b-d296-4189-8195-6afb9b3197b8 · outbound

This paper cites Procrustes metrics on covariance operators and optimal transportation of gaussian processes.

Synthesis of safety certificates for discrete-time uncertain systems via convex optimization Procrustes metrics on covariance operators and optimal transportation of gaussian processes

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T22:04:08.257328Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation dc4b1391-e289-473f-a11d-17774a64a07f · outbound

This paper cites Safe value functions.

Synthesis of safety certificates for discrete-time uncertain systems via convex optimization Safe value functions

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T22:04:08.246764Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation aa6dc291-43fa-42ec-82ef-555b06942737 · outbound

This paper cites A time-dependent hamilton-jacobi formulation of reachabl e sets for continuous dynamic games.

Synthesis of safety certificates for discrete-time uncertain systems via convex optimization A time-dependent hamilton-jacobi formulation of reachabl e sets for continuous dynamic games

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T22:04:08.234899Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 3799640a-b18b-4b12-983d-94f30b228a78 · outbound

This paper cites Mean-covariance robust risk measurement.

Synthesis of safety certificates for discrete-time uncertain systems via convex optimization Mean-covariance robust risk measurement

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-15T22:04:07.646999Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1d293e03-b862-4d5b-b967-ced9e6526130 · outbound

This paper cites Semideﬁnite programming relaxations for semialgebraic problems.

Synthesis of safety certificates for discrete-time uncertain systems via convex optimization Semideﬁnite programming relaxations for semialgebraic problems

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T22:04:08.223032Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation fa67a0d6-fc92-4cc2-ba2f-35df0b35f073 · outbound

This paper cites Barrier certiﬁcates for nonlinear mod el validation.

Synthesis of safety certificates for discrete-time uncertain systems via convex optimization Barrier certiﬁcates for nonlinear mod el validation

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T22:04:08.209506Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation a5c017f6-2db7-4991-ac51-8e05d3e8d67c · outbound

This paper cites A framework for worst-case and stochastic safety veriﬁcatio n using barrier certiﬁcates.

Synthesis of safety certificates for discrete-time uncertain systems via convex optimization A framework for worst-case and stochastic safety veriﬁcatio n using barrier certiﬁcates

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T22:04:08.197778Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 7c21a883-cf3d-4a27-b37a-0689bde31082 · outbound

This paper cites Application of reachab ility analysis for stochastic hybrid systems to aircraft conﬂict prediction.

Synthesis of safety certificates for discrete-time uncertain systems via convex optimization Application of reachab ility analysis for stochastic hybrid systems to aircraft conﬂict prediction

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T22:04:08.179215Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 864156a7-71eb-4af2-bec7-5859e0a230eb · outbound

This paper cites Dynamic walking: Toward agile and eﬃcient bipedal robots.

Synthesis of safety certificates for discrete-time uncertain systems via convex optimization Dynamic walking: Toward agile and eﬃcient bipedal robots

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T22:04:08.166004Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation fcbee028-7703-4084-9120-5b0e582d8690 · outbound

This paper cites Learning control barrier functions from expert demonstrations.

Synthesis of safety certificates for discrete-time uncertain systems via convex optimization Learning control barrier functions from expert demonstrations

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T22:04:08.153784Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 8f256259-f3ad-4df2-996e-e3a053eef0bb · outbound

This paper cites Variational analysis, volume 317.

Synthesis of safety certificates for discrete-time uncertain systems via convex optimization Variational analysis, volume 317

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-15T22:04:07.681723Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0b633ab4-44a1-4892-869d-7034f3067569 · outbound

This paper cites Advanced safety ﬁlter based on sos control barrier and lyapunov functions.

Synthesis of safety certificates for discrete-time uncertain systems via convex optimization Advanced safety ﬁlter based on sos control barrier and lyapunov functions

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-15T22:04:07.685735Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 801f610e-41b4-45ef-b553-32682193bbd2 · outbound

This paper cites Safe control for nonlinear systems with stochastic uncertainty via risk control barrier functions.

Synthesis of safety certificates for discrete-time uncertain systems via convex optimization Safe control for nonlinear systems with stochastic uncertainty via risk control barrier functions

Reference 26

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T22:04:08.131421Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation e51f5fd4-9780-43e0-a384-abc6010670dd · outbound

This paper cites Synthesis of control barrier functions usi ng a supervised machine learning approach.

Synthesis of safety certificates for discrete-time uncertain systems via convex optimization Synthesis of control barrier functions usi ng a supervised machine learning approach

Reference 27

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T22:04:08.119072Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 6e8de572-f306-4753-b1c0-853b9ddcfd72 · outbound

This paper cites Searching for control lyapunov functions using sums of squares programming.

Synthesis of safety certificates for discrete-time uncertain systems via convex optimization Searching for control lyapunov functions using sums of squares programming

Reference 28

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T22:04:08.107142Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 64ac81a7-c07d-4b61-966f-2c2d74c10f58 · outbound

This paper cites Safety of sampled- data systems with control barrier functions via approximat e discrete time models.

Synthesis of safety certificates for discrete-time uncertain systems via convex optimization Safety of sampled- data systems with control barrier functions via approximat e discrete time models

Reference 29

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T22:04:08.094061Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation d016e09f-fe4e-4fed-afbc-9553c19b03d8 · outbound

This paper cites Etude critique de la notion de collectif.

Synthesis of safety certificates for discrete-time uncertain systems via convex optimization Etude critique de la notion de collectif

Reference 30

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T22:04:08.081030Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation a787f0f2-53cb-4cfa-a27c-b7613dedbeda · outbound

This paper cites Predictive con trol barrier functions: Enhanced safety mechanisms for learnin g- based control.

Synthesis of safety certificates for discrete-time uncertain systems via convex optimization Predictive con trol barrier functions: Enhanced safety mechanisms for learnin g- based control

Reference 31

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T22:04:08.068918Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation afbe2cb5-cad3-4f82-8527-953ee0c48dab · outbound

This paper cites Assessing safety for contr ol systems using sum-of-squares programming, 2023.

Synthesis of safety certificates for discrete-time uncertain systems via convex optimization Assessing safety for contr ol systems using sum-of-squares programming, 2023

Reference 32

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T22:04:08.054918Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation c2c4218d-8a9c-4eb1-87da-838e0bab9a20 · outbound

This paper cites Safety veriﬁcation and controller synthesis for systems with inpu t constraints.

Synthesis of safety certificates for discrete-time uncertain systems via convex optimization Safety veriﬁcation and controller synthesis for systems with inpu t constraints

Reference 33

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T22:04:08.041342Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 3ed0acd5-57f5-4431-bd24-e27c4b89ad5f · outbound

This paper cites Convex Co-Design of Control Barrier Function and Safe Feedback Controller Under Input Constraints.

Synthesis of safety certificates for discrete-time uncertain systems via convex optimization Convex Co-Design of Control Barrier Function and Safe Feedback Controller Under Input Constraints

Reference 34

Resolution: verified exact; local_arxiv, observed 2026-08-15T22:04:07.772560Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 6ddbdd90-7386-4df1-8a8e-b4fcdf7f14a0 · outbound

This paper cites Simultaneous synthesis and veriﬁcation of neural control barrier functions through branch-and-bound veriﬁcation-in-the-loop training.

Synthesis of safety certificates for discrete-time uncertain systems via convex optimization Simultaneous synthesis and veriﬁcation of neural control barrier functions through branch-and-bound veriﬁcation-in-the-loop training

Reference 35

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T22:04:08.027810Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 998624c6-b449-455b-af9e-46d4c4aa0e67 · outbound

This paper cites Synthesizing control barrier functions with feasible region iteration for safe reinforcement learning.

Synthesis of safety certificates for discrete-time uncertain systems via convex optimization Synthesizing control barrier functions with feasible region iteration for safe reinforcement learning

Reference 36

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T22:04:08.016009Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 33abf2de-be56-4cf1-a63c-ea0cc2de0ca8 · outbound

This paper cites Convex synthesis of control barrier functions under input constraints.

Synthesis of safety certificates for discrete-time uncertain systems via convex optimization Convex synthesis of control barrier functions under input constraints

Reference 37

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T22:04:07.995081Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Pith citing papers

Observation e4ca633d-893d-4062-ac71-11325de85a33 · inbound

A Data-Enabled Primal-Dual Approach for Policy Learning with SDP Formulations cites this paper.

A Data-Enabled Primal-Dual Approach for Policy Learning with SDP Formulations Synthesis of safety certificates for discrete-time uncertain systems via convex optimization

Reference 38

Resolution: verified exact; arxiv_id, observed 2026-07-02T07:46:45.592098Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.