Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-16T11:26:11.936068Z
Paper Citation Record · LEDGER
As of 17 August 2026, this Paper Citation Record lists 66 of 66 outbound references and 2 inbound Pith citation observations for arXiv:2504.15830.
A citation records a reference. It does not transfer a finding from one paper to another.
Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-16T11:26:11.936068Z
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-17T06:30:58.91139+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links, observed 2026-08-05T10:20:05.146489Z
A source-named dated measurement, never combined with another source.
Source: arxiv_reference, observed 2026-07-01T20:26:12.774998Z
66 of 66 outbound references displayed
External citation measurements
No source-named external measurement is stored.
Observation 9d2d2125-af1d-48fd-8092-6b7cfeed8cc6 · outbound
Predictive Synthesis of Control Barrier Functions and its Application to Time-Varying Constraints Constructive safety using control barrier functions,
Reference 1
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 359510da-48c7-444f-9809-5d9ea66797ec · outbound
Predictive Synthesis of Control Barrier Functions and its Application to Time-Varying Constraints Control barrier function based quadratic programs for safety critical systems,
Reference 2
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation d6ca488f-6d02-4af4-9eb4-f7a9580cda27 · outbound
Predictive Synthesis of Control Barrier Functions and its Application to Time-Varying Constraints Barrier function based model predictive control,
Reference 3
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 75e75390-3c56-46ba-8e96-ee567434ca6e · outbound
Predictive Synthesis of Control Barrier Functions and its Application to Time-Varying Constraints The interior-point revolution in optimization: History, recent developments, and lasting consequences,
Reference 4
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 31c69574-1173-4c50-88d1-0ecce34efe45 · outbound
Predictive Synthesis of Control Barrier Functions and its Application to Time-Varying Constraints Runtime assurance for safety-critical systems: An introduction to safety filtering approaches for complex control systems,
Reference 5
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 bd95c929-9e7c-4495-82ea-5bd10530a248 · outbound
Predictive Synthesis of Control Barrier Functions and its Application to Time-Varying Constraints Data-driven safety filters: Hamilton- jacobi reachability, control barrier functions, and predictive methods for uncertain systems,
Reference 6
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 1484d06c-9356-4bb4-9505-31f3de38df9a · outbound
Predictive Synthesis of Control Barrier Functions and its Application to Time-Varying Constraints Control barrier function based quadratic programs with application to adaptive cruise control,
Reference 7
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 2de4b16a-c903-4211-9a3e-931c29db6796 · outbound
Predictive Synthesis of Control Barrier Functions and its Application to Time-Varying Constraints Safety-critical control for non-affine non- linear systems with application on autonomous vehicle,
Reference 8
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 c592db4f-77de-4863-86cd-e472a5b3ac6f · outbound
Predictive Synthesis of Control Barrier Functions and its Application to Time-Varying Constraints Decentralized merging control in traffic networks: a control barrier function approach,
Reference 9
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 1b1465cb-3dfe-468b-8c32-fa1ab0b09a38 · outbound
Predictive Synthesis of Control Barrier Functions and its Application to Time-Varying Constraints Rule-based safety-critical control design using control barrier functions with application to au- tonomous lane change,
Reference 10
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 c4192b77-285a-46ea-b07b-5018a8f9a123 · outbound
Predictive Synthesis of Control Barrier Functions and its Application to Time-Varying Constraints Decentralized ve- hicle coordination and lane switching without switching of controllers,
Reference 11
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 83a09675-965e-4470-8115-6451ca44a8db · outbound
Predictive Synthesis of Control Barrier Functions and its Application to Time-Varying Constraints Maneuvering with safety guarantees using control barrier functions,
Reference 12
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 7b019c17-8022-4742-b5ec-b28c906865d2 · outbound
Predictive Synthesis of Control Barrier Functions and its Application to Time-Varying Constraints Safety-certified constrained control of maritime autonomous surface ships for automatic berthing,
Reference 13
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 0d6cb2ea-dc09-474c-b5e7-0dd0d65f54f8 · outbound
Predictive Synthesis of Control Barrier Functions and its Application to Time-Varying Constraints Safety-critical guid- ance of underactuated marine vehicles in dynamic environments using velocity obstacles,
Reference 14
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 45bcac25-28eb-4dc2-ba25-d4d9d631b773 · outbound
Predictive Synthesis of Control Barrier Functions and its Application to Time-Varying Constraints Combining control barrier functions and behavior trees for multi-agent underwater coverage missions,
Reference 15
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 e1879b06-b5be-4dc4-a1fd-b8b8bec9d7af · outbound
Predictive Synthesis of Control Barrier Functions and its Application to Time-Varying Constraints Safety verification of 15 reactive controllers for uav flight in cluttered environments using barrier certificates,
Reference 16
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 705d7ce8-490b-4d2d-908a-02227d97a72d · outbound
Predictive Synthesis of Control Barrier Functions and its Application to Time-Varying Constraints Guaranteed safe spacecraft docking with control barrier functions,
Reference 17
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 3c80c13c-61f8-4fd1-8fe8-284922a561f5 · outbound
Predictive Synthesis of Control Barrier Functions and its Application to Time-Varying Constraints Collision avoidance and geofencing for fixed-wing aircraft with control barrier functions,
Reference 18
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 5e66d9ca-68c4-42e8-bd4d-a9838e5cc55c · outbound
Predictive Synthesis of Control Barrier Functions and its Application to Time-Varying Constraints Linear velocity-free visual servoing control for unmanned helicopter landing on a ship with visibility constraint,
Reference 19
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 975e3ef3-742e-4f79-86af-5d45effb04ab · outbound
Predictive Synthesis of Control Barrier Functions and its Application to Time-Varying Constraints Control barrier functions for mechanical systems: Theory and application to robotic grasping,
Reference 20
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 00b5b4df-6e14-4606-bec6-462b9a23cfab · outbound
Predictive Synthesis of Control Barrier Functions and its Application to Time-Varying Constraints Safe control for soft-rigid robots with self-contact using control barrier functions,
Reference 21
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 cf13c8f1-61db-4e7e-9257-ff172fd8af98 · outbound
Predictive Synthesis of Control Barrier Functions and its Application to Time-Varying Constraints Constrained robot control using control barrier functions,
Reference 22
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 ca498a58-4f29-41fb-a9ba-35cfc9e83c96 · outbound
Predictive Synthesis of Control Barrier Functions and its Application to Time-Varying Constraints A control barrier function approach for maximizing perfor- mance while fulfilling to iso/ts 15066 regulations,
Reference 23
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 1b8d0024-3fcc-410d-842f-b6739729ce1f · outbound
Predictive Synthesis of Control Barrier Functions and its Application to Time-Varying Constraints Distributed barrier function-enabled human-in-the-loop control for multi-robot sys- tems,
Reference 24
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 45f49c01-c8ec-4870-9b7d-f536d8c6f9a2 · outbound
Predictive Synthesis of Control Barrier Functions and its Application to Time-Varying Constraints Control barrier functions for signal temporal logic tasks,
Reference 25
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 5d2496f4-29e2-40fd-b77e-10a89c132839 · outbound
Predictive Synthesis of Control Barrier Functions and its Application to Time-Varying Constraints High order control lyapunov-barrier functions for temporal logic specifications,
Reference 26
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 f494ff47-a784-48fa-9e13-9146569942c0 · outbound
Predictive Synthesis of Control Barrier Functions and its Application to Time-Varying Constraints Handling disjunctions in signal temporal logic based control through nonsmooth barrier functions,
Reference 27
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation f79c8453-24a2-481f-9f45-5b81611248ce · outbound
Predictive Synthesis of Control Barrier Functions and its Application to Time-Varying Constraints Continuous-time control synthe- sis under nested signal temporal logic specifications,
Reference 28
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 5536b9ca-2a31-4815-ad63-354e4abbf2ba · outbound
Predictive Synthesis of Control Barrier Functions and its Application to Time-Varying Constraints Exponential control barrier functions for enforcing high relative-degree safety-critical constraints,
Reference 29
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 44c5528f-aee1-4498-8efd-e2e73327fd84 · outbound
Predictive Synthesis of Control Barrier Functions and its Application to Time-Varying Constraints High-order barrier functions: Robustness, safety and performance-critical control,
Reference 30
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 ce354026-b8ba-47c5-a7e5-e50549af8dc6 · outbound
Predictive Synthesis of Control Barrier Functions and its Application to Time-Varying Constraints High order control barrier functions,
Reference 31
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 dbbd8f33-342e-4fdf-8be6-0326c4b66afa · outbound
Predictive Synthesis of Control Barrier Functions and its Application to Time-Varying Constraints Low-complexity control for a class of uncertain mimo nonlinear systems under generalized time-varying output constraints,
Reference 32
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 c6e80c2f-2c04-44d9-8ec6-67f1e93aa98b · outbound
Predictive Synthesis of Control Barrier Functions and its Application to Time-Varying Constraints On the equivalence between prescribed performance con- trol and control barrier functions,
Reference 33
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 d41d9dfe-8f26-4651-9320-9b3b739d5944 · outbound
Predictive Synthesis of Control Barrier Functions and its Application to Time-Varying Constraints Safe-by-design control for euler–lagrange systems,
Reference 34
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 4fa09290-0893-41c9-95b1-2519723cba56 · outbound
Predictive Synthesis of Control Barrier Functions and its Application to Time-Varying Constraints A collision cone approach for control barrier functions,
Reference 35
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 61241ca0-72e8-488d-9d6f-e5dc0fe57d3d · outbound
Predictive Synthesis of Control Barrier Functions and its Application to Time-Varying Constraints Synergistic control barrier functions with application to obstacle avoidance for nonholonomic vehicles,
Reference 36
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 3dcddeb0-8563-4f3e-992a-7714db682dbb · outbound
Predictive Synthesis of Control Barrier Functions and its Application to Time-Varying Constraints Correctness guarantees for the composition of lane keeping and adaptive cruise control,
Reference 37
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 27165dfa-c8fa-4790-ad5b-74ae49dada6f · outbound
Predictive Synthesis of Control Barrier Functions and its Application to Time-Varying Constraints Verification and synthesis of control barrier functions,
Reference 38
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 92d2f41e-4c39-4a1f-ae57-180ea15c665c · outbound
Predictive Synthesis of Control Barrier Functions and its Application to Time-Varying Constraints Safety Verification and Controller Synthesis for Systems with Input Constraints
Reference 39
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 bbabb43b-c2f1-485b-a1ac-18e7ec33f828 · outbound
Predictive Synthesis of Control Barrier Functions and its Application to Time-Varying Constraints Iterative model predictive control for piecewise systems,
Reference 40
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 8a3217aa-ab98-4508-b3eb-463beb3cb0b8 · outbound
Predictive Synthesis of Control Barrier Functions and its Application to Time-Varying Constraints Receding horizon control with online barrier function design under signal temporal logic specifica- tions,
Reference 41
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 77ad7ee1-ab2f-4413-a542-5a90a341f67f · outbound
Predictive Synthesis of Control Barrier Functions and its Application to Time-Varying Constraints Predictive control barrier func- tions: Enhanced safety mechanisms for learning-based control,
Reference 42
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 0a38737b-1213-4ef5-8bb2-8dc53af754c6 · outbound
Predictive Synthesis of Control Barrier Functions and its Application to Time-Varying Constraints An online approach to active set invariance,
Reference 43
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 f69772ce-7618-4333-b29b-4169785a7803 · outbound
Predictive Synthesis of Control Barrier Functions and its Application to Time-Varying Constraints Constructive barrier cer- tificates with applications to fixed-wing aircraft collision avoidance,
Reference 44
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 0ba98ddb-5510-4efd-a5e4-ae72c0ada925 · outbound
Predictive Synthesis of Control Barrier Functions and its Application to Time-Varying Constraints High relative degree control barrier functions under input constraints,
Reference 45
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 bb0ed009-153e-4f87-ac2c-ee49480cef23 · outbound
Predictive Synthesis of Control Barrier Functions and its Application to Time-Varying Constraints Backup control barrier functions: Formulation and comparative study,
Reference 46
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 ab6468e1-736c-4cd2-975c-bf3908132390 · outbound
Predictive Synthesis of Control Barrier Functions and its Application to Time-Varying Constraints Predictive control barrier functions for online safety critical control,
Reference 47
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 be9a072e-8234-4413-9b34-8475b6d74024 · outbound
Predictive Synthesis of Control Barrier Functions and its Application to Time-Varying Constraints Robust control barrier–value functions for safety-critical control,
Reference 48
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation d0c728d6-2c8d-436f-9f41-dd44307e0cf5 · outbound
Predictive Synthesis of Control Barrier Functions and its Application to Time-Varying Constraints Neural lyapunov control,
Reference 49
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 eacb209b-0e1e-4679-b4ef-5bb9c15ec601 · outbound
Predictive Synthesis of Control Barrier Functions and its Application to Time-Varying Constraints Learning robust output control barrier functions from safe expert demonstrations,
Reference 50
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 1a548aa2-e029-4f0c-bd5f-7944428ed535 · outbound
Predictive Synthesis of Control Barrier Functions and its Application to Time-Varying Constraints Safe control with learned certificates: A survey of neural lyapunov, barrier, and contraction methods for robotics and control,
Reference 51
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 1b975e96-5ca0-4caa-b634-2cfc218cb44c · outbound
Predictive Synthesis of Control Barrier Functions and its Application to Time-Varying Constraints Leveraging equivariances and sym- metries in the control barrier function synthesis,
Reference 52
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 3df66353-37e8-4e0a-9ef0-a83821b228ab · outbound
Predictive Synthesis of Control Barrier Functions and its Application to Time-Varying Constraints Equivariant dynamical systems,
Reference 53
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 928c4ad2-f676-42a4-8425-76a9d46b7892 · outbound
Predictive Synthesis of Control Barrier Functions and its Application to Time-Varying Constraints Equivariant systems theory and observer design,
Reference 54
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 e486d4ee-9051-40dd-ac45-7c17798b0d97 · outbound
Predictive Synthesis of Control Barrier Functions and its Application to Time-Varying Constraints From time-invariant to uniformly time-varying control barrier functions: A constructive approach,
Reference 55
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation bb628b22-6c29-4af1-b795-c861bd8ab49c · outbound
Predictive Synthesis of Control Barrier Functions and its Application to Time-Varying Constraints Construction of control barrier functions using predictions with finite horizon,
Reference 56
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 317f1628-b8a2-415a-9fa1-1c20d440e4b6 · outbound
Predictive Synthesis of Control Barrier Functions and its Application to Time-Varying Constraints Asymptotic stability and feedback stabilization,
Reference 57
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 5cd677a4-19ef-404d-a147-9bcefecc8d6e · outbound
Predictive Synthesis of Control Barrier Functions and its Application to Time-Varying Constraints Lyapunov functions and discontinuous stabilizing feedback,
Reference 58
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 1558a79d-c443-42d1-a956-7455b449b2fd · outbound
Predictive Synthesis of Control Barrier Functions and its Application to Time-Varying Constraints A lyapunov-like characterization of asymptotic control- lability,
Reference 59
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation efbce114-a5a3-47b7-a70a-5905e6c1db48 · outbound
Predictive Synthesis of Control Barrier Functions and its Application to Time-Varying Constraints Unresolved cited work
Reference 60
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 5628e700-0b62-4ee6-bbf4-130ce59aa259 · outbound
Predictive Synthesis of Control Barrier Functions and its Application to Time-Varying Constraints Nonlinear controllability and observability,
Reference 61
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 7eb75e30-afa5-4e9d-9925-7cfd17ee8d32 · outbound
Predictive Synthesis of Control Barrier Functions and its Application to Time-Varying Constraints Nonlinear controllability via lie theory,
Reference 62
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 ef9fe0b2-aad1-4f14-948a-28b74d18a145 · outbound
Predictive Synthesis of Control Barrier Functions and its Application to Time-Varying Constraints Trajectory planning for a four-wheel-steering vehicle,
Reference 63
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 25a1ba08-44e6-422e-971f-f6f641db6e9f · outbound
Predictive Synthesis of Control Barrier Functions and its Application to Time-Varying Constraints Examples when nonlinear model predictive control is nonrobust,
Reference 64
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 6ca5c86d-23fb-44c5-b7da-2fe95571f711 · outbound
Predictive Synthesis of Control Barrier Functions and its Application to Time-Varying Constraints CasADi – A software framework for nonlinear optimization and opti- mal control,
Reference 65
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation ceee91fa-0ec9-463a-b494-420cbce0a0b6 · outbound
Predictive Synthesis of Control Barrier Functions and its Application to Time-Varying Constraints min tPr0,T2s hpφpt;x0,u˚ x0,T2qq´ γt (47a) ě min tPr0,T2s hpφpt;x0,u˚ e,x0,T1qq´ γt (47b) “ min
Reference 66
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 b76c9240-b48a-46ba-832b-da1f2c199972 · inbound
Leveraging Equivariances and Symmetries in the Control Barrier Function Synthesis Predictive Synthesis of Control Barrier Functions and its Application to Time-Varying Constraints
Reference 26
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 6ca2efa2-d86d-47d5-86ce-e1a6e08a505a · inbound
Predicted-Flow Control Barrier Functions for Real-Time Safe Optimal Control Predictive Synthesis of Control Barrier Functions and its Application to Time-Varying Constraints
Reference 33
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.