Paper Citation Record · LEDGER

Safe and Performant Controller Synthesis using Gradient-based Model Predictive Control and Control Barrier Functions

As of 7 August 2026, this Paper Citation Record lists 27 of 27 outbound references and 0 inbound Pith citation observations for arXiv:2507.13872.

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

pith.paper-citation-record.v1
2507.13872 v1

Coverage vector

measured 27 of 27 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-06T16:23:10.202007Z

measured 27 of 27 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-07T06:34:17.273281+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

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

Source: cited_works

Reference resolution

27 of 27 outbound references displayed

verified exact2
verified fuzzy11
unresolved13
parse uncertain0
malformed identifier1
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 4c7a0547-aac3-4f9c-b7af-8e673f4df294 · outbound

This paper cites The safety filter: A unified view of safety-critical control in autonomous systems,.

Safe and Performant Controller Synthesis using Gradient-based Model Predictive Control and Control Barrier Functions The safety filter: A unified view of safety-critical control in autonomous systems,

Reference 1

Resolution: malformed identifier; no resolver link, observed 2026-08-06T16:23:10.047120Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b31f6ac4-e884-4d72-b96f-a1c10b926251 · outbound

This paper cites Data-driven safety filters: Hamilton-jacobi reachability, control barrier functions, and predictive methods for uncertain systems,.

Safe and Performant Controller Synthesis using Gradient-based Model Predictive Control and Control Barrier Functions Data-driven safety filters: Hamilton-jacobi reachability, control barrier functions, and predictive methods for uncertain systems,

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-06T16:23:10.054954Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c4e2ee66-77d8-4e8c-8cc5-96ae34e8ea7b · outbound

This paper cites Control barrier function based quadratic programs for safety critical systems,.

Safe and Performant Controller Synthesis using Gradient-based Model Predictive Control and Control Barrier Functions Control barrier function based quadratic programs for safety critical systems,

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-06T16:23:10.060430Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ff9014ae-2719-4b79-9d0e-d82c95cf4626 · outbound

This paper cites Hamilton-Jacobi reachability: A brief overview and recent advances,.

Safe and Performant Controller Synthesis using Gradient-based Model Predictive Control and Control Barrier Functions Hamilton-Jacobi reachability: A brief overview and recent advances,

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-06T16:23:10.065668Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 289c4278-f866-4420-80d7-97f7a2ddf6e4 · outbound

This paper cites On safety and liveness filtering using hamilton–jacobi reachability analysis,.

Safe and Performant Controller Synthesis using Gradient-based Model Predictive Control and Control Barrier Functions On safety and liveness filtering using hamilton–jacobi reachability analysis,

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T16:23:10.942612Z

Source-reported events for the cited work

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

Observation d3eddc4f-9f1d-425e-b619-709037f43071 · outbound

This paper cites A general hamilton- jacobi framework for non-linear state-constrained control problems,.

Safe and Performant Controller Synthesis using Gradient-based Model Predictive Control and Control Barrier Functions A general hamilton- jacobi framework for non-linear state-constrained control problems,

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T16:23:10.921997Z

Source-reported events for the cited work

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

Observation 6134f619-f522-470f-bd43-139968b5b473 · outbound

This paper cites Cooptimizing safety and performance with a control-constrained formulation,.

Safe and Performant Controller Synthesis using Gradient-based Model Predictive Control and Control Barrier Functions Cooptimizing safety and performance with a control-constrained formulation,

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T16:23:10.897724Z

Source-reported events for the cited work

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

Observation ac4ce7d1-724d-4816-8e46-40c16c4bec2f · outbound

This paper cites Safe and Performant Deployment of Autonomous Systems via Model Predictive Control and Hamilton-Jacobi Reachability Analysis.

Safe and Performant Controller Synthesis using Gradient-based Model Predictive Control and Control Barrier Functions Safe and Performant Deployment of Autonomous Systems via Model Predictive Control and Hamilton-Jacobi Reachability Analysis

Reference 8

Resolution: verified exact; local_arxiv, observed 2026-08-06T16:23:10.595755Z

Source-reported events for the cited work

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

Observation 5b7fbe78-aa9b-495a-bb71-aa86796ca936 · outbound

This paper cites Learning to be Safe: Deep RL with a Safety Critic.

Safe and Performant Controller Synthesis using Gradient-based Model Predictive Control and Control Barrier Functions Learning to be Safe: Deep RL with a Safety Critic

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-06T16:23:10.103277Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation dd7aa1f0-6c11-4578-9b4a-4fe2c74b6873 · outbound

This paper cites Model-predictive control via cross-entropy and gradient-based optimization,.

Safe and Performant Controller Synthesis using Gradient-based Model Predictive Control and Control Barrier Functions Model-predictive control via cross-entropy and gradient-based optimization,

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T16:23:10.873940Z

Source-reported events for the cited work

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

Observation 0b649e9a-1ce5-4c30-8949-ca243109f1ab · outbound

This paper cites The gradient-based nonlinear model predictive control software grampc,.

Safe and Performant Controller Synthesis using Gradient-based Model Predictive Control and Control Barrier Functions The gradient-based nonlinear model predictive control software grampc,

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T16:23:10.855131Z

Source-reported events for the cited work

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

Observation 6fe3388f-cb0a-4738-bdbf-8df8ca050dea · outbound

This paper cites Real-time projected gradient-based nonlinear model predictive control with an application to anesthesia control,.

Safe and Performant Controller Synthesis using Gradient-based Model Predictive Control and Control Barrier Functions Real-time projected gradient-based nonlinear model predictive control with an application to anesthesia control,

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T16:23:10.836567Z

Source-reported events for the cited work

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

Observation bf7d28ec-a00e-483c-8a9d-e0c02f21d199 · outbound

This paper cites Information-theoretic model predictive control: Theory and applica- tions to autonomous driving,.

Safe and Performant Controller Synthesis using Gradient-based Model Predictive Control and Control Barrier Functions Information-theoretic model predictive control: Theory and applica- tions to autonomous driving,

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T16:23:10.816732Z

Source-reported events for the cited work

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

Observation db5beb29-256a-4507-b8a2-c66593aab4e0 · outbound

This paper cites Multi-agent path integral control for interaction-aware motion planning in urban canals,.

Safe and Performant Controller Synthesis using Gradient-based Model Predictive Control and Control Barrier Functions Multi-agent path integral control for interaction-aware motion planning in urban canals,

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-06T16:23:10.135879Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 31333980-8e76-47ee-89b8-155eeddad9d1 · outbound

This paper cites Semi-supervised safe visuomotor policy synthesis using barrier certificates,.

Safe and Performant Controller Synthesis using Gradient-based Model Predictive Control and Control Barrier Functions Semi-supervised safe visuomotor policy synthesis using barrier certificates,

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T16:23:10.780321Z

Source-reported events for the cited work

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

Observation 9784ce8e-0a3c-4e26-88ff-e3c6f5d7040e · outbound

This paper cites Exact Imposition of Safety Boundary Conditions in Neural Reachable Tubes.

Safe and Performant Controller Synthesis using Gradient-based Model Predictive Control and Control Barrier Functions Exact Imposition of Safety Boundary Conditions in Neural Reachable Tubes

Reference 16

Resolution: verified exact; local_arxiv, observed 2026-08-06T16:23:10.529972Z

Source-reported events for the cited work

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

Observation 7dc23332-c921-496e-87d4-1bf3e2ca7ff5 · outbound

This paper cites A physics- informed machine learning framework for safe and optimal control of autonomous systems,.

Safe and Performant Controller Synthesis using Gradient-based Model Predictive Control and Control Barrier Functions A physics- informed machine learning framework for safe and optimal control of autonomous systems,

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-06T16:23:10.153285Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 19d437e4-d4c1-4c1d-8f5a-591cf67cd0e1 · outbound

This paper cites Formal synthesis of stochastic systems via control barrier certificates,.

Safe and Performant Controller Synthesis using Gradient-based Model Predictive Control and Control Barrier Functions Formal synthesis of stochastic systems via control barrier certificates,

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-06T16:23:10.160204Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 29d6f10d-f9ab-4e94-8671-249134bedff0 · outbound

This paper cites Updating quasi-newton matrices with limited storage,.

Safe and Performant Controller Synthesis using Gradient-based Model Predictive Control and Control Barrier Functions Updating quasi-newton matrices with limited storage,

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-06T16:23:10.165438Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cd3655be-af73-4648-adcb-e241f3e1b35f · outbound

This paper cites Control barrier function based quadratic programs with application to adaptive cruise control,.

Safe and Performant Controller Synthesis using Gradient-based Model Predictive Control and Control Barrier Functions Control barrier function based quadratic programs with application to adaptive cruise control,

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T16:23:10.722207Z

Source-reported events for the cited work

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

Observation c29c0e6e-7ce5-4d9a-9b4d-d0454147bbf6 · outbound

This paper cites Control barrier functions: Theory and applications,.

Safe and Performant Controller Synthesis using Gradient-based Model Predictive Control and Control Barrier Functions Control barrier functions: Theory and applications,

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-06T16:23:10.174866Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e3a020c5-dcd1-46a8-b06f-522070a8509a · outbound

This paper cites Guaranteed-Safe MPPI Through Composite Control Barrier Functions for Efficient Sampling in Multi-Constrained Robotic Systems.

Safe and Performant Controller Synthesis using Gradient-based Model Predictive Control and Control Barrier Functions Guaranteed-Safe MPPI Through Composite Control Barrier Functions for Efficient Sampling in Multi-Constrained Robotic Systems

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-06T16:23:10.179051Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f4cd1b05-5f2d-4ead-81c1-33f5ff6dc678 · outbound

This paper cites High-order control barrier functions,.

Safe and Performant Controller Synthesis using Gradient-based Model Predictive Control and Control Barrier Functions High-order control barrier functions,

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T16:23:10.671953Z

Source-reported events for the cited work

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

Observation cddd023f-760b-407d-bfb2-0f886c33fb43 · outbound

This paper cites Control barrier functions for systems with high relative degree,.

Safe and Performant Controller Synthesis using Gradient-based Model Predictive Control and Control Barrier Functions Control barrier functions for systems with high relative degree,

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T16:23:10.654166Z

Source-reported events for the cited work

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

Observation 0e7cdd10-387b-4cf9-8de5-b5d8b6a91675 · outbound

This paper cites Safety-critical control of a planar quadrotor,.

Safe and Performant Controller Synthesis using Gradient-based Model Predictive Control and Control Barrier Functions Safety-critical control of a planar quadrotor,

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-06T16:23:10.193170Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8774ed07-1dac-4af6-aa37-c0a23e73d963 · outbound

This paper cites Learning a formally verified control barrier function in stochastic environment,.

Safe and Performant Controller Synthesis using Gradient-based Model Predictive Control and Control Barrier Functions Learning a formally verified control barrier function in stochastic environment,

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-06T16:23:10.197435Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4dea168a-1db1-4728-bb88-2356db8e612c · outbound

This paper cites CP-NCBF: A Conformal Prediction-based Approach to Synthesize Verified Neural Control Barrier Functions.

Safe and Performant Controller Synthesis using Gradient-based Model Predictive Control and Control Barrier Functions CP-NCBF: A Conformal Prediction-based Approach to Synthesize Verified Neural Control Barrier Functions

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-06T16:23:10.202007Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.