Paper Citation Record · LEDGER

Fixed time convergence guarantees for Higher Order Control Barrier Functions

As of 8 August 2026, this Paper Citation Record lists 26 of 26 outbound references and 0 inbound Pith citation observations for arXiv:2507.13888.

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

pith.paper-citation-record.v1
2507.13888 v1

Coverage vector

measured 26 of 26 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-06T16:22:20.543202Z

measured 26 of 26 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-08T06:32:00.761636+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

26 of 26 outbound references displayed

verified exact2
verified fuzzy10
unresolved14
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 4ebee943-b3da-4d85-9eb6-675ab1db4125 · outbound

This paper cites Constrained policy op- timization,.

Fixed time convergence guarantees for Higher Order Control Barrier Functions Constrained policy op- timization,

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-06T16:22:18.410598Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bf33ac9d-a685-466b-b784-3ca543b7253c · outbound

This paper cites Model-based safe deep reinforcement learning via a constrained proximal policy optimization algorithm,.

Fixed time convergence guarantees for Higher Order Control Barrier Functions Model-based safe deep reinforcement learning via a constrained proximal policy optimization algorithm,

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-06T16:22:18.462672Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 858af99f-da92-43cb-8670-ccd0eeefd79d · outbound

This paper cites Safe model-based reinforcement learning with stability guarantees,.

Fixed time convergence guarantees for Higher Order Control Barrier Functions Safe model-based reinforcement learning with stability guarantees,

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-06T16:22:18.519683Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cb7b6fb1-7399-45e8-a7e1-26d5061d9d90 · outbound

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

Fixed time convergence guarantees for Higher Order Control Barrier Functions Hamilton-Jacobi reachability: A brief overview and recent advances,

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-06T16:22:18.620398Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7d08eec9-84ed-4617-af10-a763a4c57930 · outbound

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

Fixed time convergence guarantees for Higher Order Control Barrier Functions A physics- informed machine learning framework for safe and optimal control of autonomous systems,

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-06T16:22:18.681683Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e4ce5b1f-6b05-48c8-b0e6-cc26ab0f1773 · outbound

This paper cites Semi-Supervised Safe Visuomotor Policy Synthesis using Barrier Certificates.

Fixed time convergence guarantees for Higher Order Control Barrier Functions Semi-Supervised Safe Visuomotor Policy Synthesis using Barrier Certificates

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-06T16:22:18.773247Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0c8ab818-a047-4264-85ee-b489ae860462 · outbound

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

Fixed time convergence guarantees for Higher Order Control Barrier Functions Control barrier function based quadratic programs for safety critical systems,

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-06T16:22:18.865153Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0d531e93-4efd-4e2a-b0a6-90e6cb015688 · outbound

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

Fixed time convergence guarantees for Higher Order Control Barrier Functions Control barrier functions: Theory and applications,

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-06T16:22:18.958434Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ce605dfe-a9f5-43ac-9013-4f8d4263b9dd · outbound

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

Fixed time convergence guarantees for Higher Order Control Barrier Functions Safety-critical control of a planar quadrotor,

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-06T16:22:19.058231Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 527ffd2f-9d3d-4e3d-9b26-9f0163e12347 · outbound

This paper cites Control barrier functions in dynamic uavs for kinematic obstacle avoidance: A col- lision cone approach,.

Fixed time convergence guarantees for Higher Order Control Barrier Functions Control barrier functions in dynamic uavs for kinematic obstacle avoidance: A col- lision cone approach,

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-06T16:22:19.187993Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f1ccb40b-cafd-4919-84c9-ff39166f4b35 · outbound

This paper cites Safety-critical control for dy- namical bipedal walking with precise footstep placement,.

Fixed time convergence guarantees for Higher Order Control Barrier Functions Safety-critical control for dy- namical bipedal walking with precise footstep placement,

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-06T16:22:19.253014Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c29ed66a-2fd2-4f15-9e8c-4af7c1e20c6e · outbound

This paper cites High Order Control Lyapunov-Barrier Functions for Temporal Logic Specifications.

Fixed time convergence guarantees for Higher Order Control Barrier Functions High Order Control Lyapunov-Barrier Functions for Temporal Logic Specifications

Reference 12

Resolution: verified exact; local_arxiv, observed 2026-08-06T16:22:21.439350Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation e01cc84a-19cd-4456-9e69-59f36cd43201 · outbound

This paper cites Exponential control barrier functions for enforcing high relative-degree safety-critical constraints,.

Fixed time convergence guarantees for Higher Order Control Barrier Functions Exponential control barrier functions for enforcing high relative-degree safety-critical constraints,

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T16:22:23.293193Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 1e5880f3-88a4-46f6-aa40-649bde635bf8 · outbound

This paper cites Control Barrier Functions for Systems with High Relative Degree.

Fixed time convergence guarantees for Higher Order Control Barrier Functions Control Barrier Functions for Systems with High Relative Degree

Reference 14

Resolution: verified exact; local_arxiv, observed 2026-08-06T16:22:21.139432Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 80719fa1-b5e9-4b0e-96f7-54e9b840244a · outbound

This paper cites Sufficient conditions for uniform asymptotic stability and input-to-state stability using high- order control barrier functions,.

Fixed time convergence guarantees for Higher Order Control Barrier Functions Sufficient conditions for uniform asymptotic stability and input-to-state stability using high- order control barrier functions,

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T16:22:23.283658Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 11a2d2ce-8431-45a8-9e9b-83943346eb19 · outbound

This paper cites High-order control barrier function-based safety control of constrained robotic systems: An augmented dynamics approach,.

Fixed time convergence guarantees for Higher Order Control Barrier Functions High-order control barrier function-based safety control of constrained robotic systems: An augmented dynamics approach,

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T16:22:23.103568Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 74c902d8-db43-4f56-8097-1318f74632d6 · outbound

This paper cites Hocbf- based quadratic programs with application to safety-critical planning and control for overtake maneuver,.

Fixed time convergence guarantees for Higher Order Control Barrier Functions Hocbf- based quadratic programs with application to safety-critical planning and control for overtake maneuver,

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T16:22:22.901958Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation cffe2fea-8f0b-443d-a081-86cefb757518 · outbound

This paper cites A control barrier function based approach for safe and efficient navigation of unicycle mobile robots,.

Fixed time convergence guarantees for Higher Order Control Barrier Functions A control barrier function based approach for safe and efficient navigation of unicycle mobile robots,

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T16:22:22.691800Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation f2148376-cc0d-466e-9281-82e5fe04aada · outbound

This paper cites Finite-time stability for time-varying nonlinear dynamical systems,.

Fixed time convergence guarantees for Higher Order Control Barrier Functions Finite-time stability for time-varying nonlinear dynamical systems,

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T16:22:22.414616Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation a41d2b48-18d3-4873-a06a-5f0942de2874 · outbound

This paper cites Control of multi-agent systems with finite time control barrier certificates and temporal logic,.

Fixed time convergence guarantees for Higher Order Control Barrier Functions Control of multi-agent systems with finite time control barrier certificates and temporal logic,

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T16:22:22.213658Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation ff712342-dd2a-4a84-b52e-81d126653c37 · outbound

This paper cites Control-lyapunov and control-barrier functions based quadratic program for spatio-temporal specifications,.

Fixed time convergence guarantees for Higher Order Control Barrier Functions Control-lyapunov and control-barrier functions based quadratic program for spatio-temporal specifications,

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-06T16:22:20.092511Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9993a492-95b7-4428-92ea-440e5dda9346 · outbound

This paper cites Robust control barrier and control lyapunov functions with fixed-time convergence guarantees,.

Fixed time convergence guarantees for Higher Order Control Barrier Functions Robust control barrier and control lyapunov functions with fixed-time convergence guarantees,

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T16:22:22.055858Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation ec23d820-7213-4fc7-bf3e-ff3779bb5f1a · outbound

This paper cites Implicit fixed-time convergence iss safe control barrier functions for signal temporal logic tasks,.

Fixed time convergence guarantees for Higher Order Control Barrier Functions Implicit fixed-time convergence iss safe control barrier functions for signal temporal logic tasks,

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T16:22:21.779479Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 031869da-2ceb-4379-8fa1-27fe529ec122 · outbound

This paper cites Control barrier functions for signal temporal logic tasks,.

Fixed time convergence guarantees for Higher Order Control Barrier Functions Control barrier functions for signal temporal logic tasks,

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T16:22:21.624292Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation ca207b9b-332c-457b-ba7a-d4a079e4d93e · outbound

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

Fixed time convergence guarantees for Higher Order Control Barrier Functions Learning a formally verified control barrier function in stochastic environment,

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-06T16:22:20.467626Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0a790eb1-8c69-4224-9b7c-daf4e63d8ebf · outbound

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

Fixed time convergence guarantees for Higher Order Control Barrier Functions CP-NCBF: A Conformal Prediction-based Approach to Synthesize Verified Neural Control Barrier Functions

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-06T16:22:20.543202Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.