Paper Citation Record · LEDGER

Finite Boundary-Layer Residence Certificates for Non-Strict Control Barrier Functions

As of 10 August 2026, this Paper Citation Record lists 23 of 23 outbound references and 0 inbound Pith citation observations for arXiv:2603.16074.

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

pith.paper-citation-record.v1
2603.16074 v2

Coverage vector

measured 23 of 23 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-07-13T23:59:08.947425Z

measured 23 of 23 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-09T06:31:02.800959+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

23 of 23 outbound references displayed

verified exact2
verified fuzzy0
unresolved21
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation a5dd44f5-2ace-41fd-9124-944be6c709a9 · outbound

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

Finite Boundary-Layer Residence Certificates for Non-Strict Control Barrier Functions Control barrier function based quadratic programs with application to adaptive cruise control,

Reference 1

Resolution: unresolved; no resolver link, observed 2026-07-13T23:59:08.947425Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8ed647ce-7ddc-4325-9839-f998489913d0 · outbound

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

Finite Boundary-Layer Residence Certificates for Non-Strict Control Barrier Functions Control barrier function based quadratic programs for safety critical systems,

Reference 2

Resolution: unresolved; no resolver link, observed 2026-07-13T23:59:08.947425Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 60cbd860-76ac-4770-ab45-8fc1b0e3b09e · outbound

This paper cites Control barrier functions and input-to-state safety with application to automated vehicles,.

Finite Boundary-Layer Residence Certificates for Non-Strict Control Barrier Functions Control barrier functions and input-to-state safety with application to automated vehicles,

Reference 3

Resolution: unresolved; no resolver link, observed 2026-07-13T23:59:08.947425Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ea71bd6d-8829-49dd-a92d-3dde5144219a · outbound

This paper cites Inverse optimal safety filters,.

Finite Boundary-Layer Residence Certificates for Non-Strict Control Barrier Functions Inverse optimal safety filters,

Reference 4

Resolution: unresolved; no resolver link, observed 2026-07-13T23:59:08.947425Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 293b41b0-e57d-4cf7-af77-475e43be86af · outbound

This paper cites Safety-critical stabilization of force-controlled nonholonomic mobile robots,.

Finite Boundary-Layer Residence Certificates for Non-Strict Control Barrier Functions Safety-critical stabilization of force-controlled nonholonomic mobile robots,

Reference 5

Resolution: unresolved; no resolver link, observed 2026-07-13T23:59:08.947425Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b2d248d4-d1a0-4738-88c7-5e64c91a1490 · outbound

This paper cites Further results on safety-critical stabilization of force-controlled nonholonomic mobile robots,.

Finite Boundary-Layer Residence Certificates for Non-Strict Control Barrier Functions Further results on safety-critical stabilization of force-controlled nonholonomic mobile robots,

Reference 6

Resolution: unresolved; no resolver link, observed 2026-07-13T23:59:08.947425Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 03cc33ab-2420-4029-af6b-30431d90915d · outbound

This paper cites Available: https://doi.org/10.1115/1.4070495.

Finite Boundary-Layer Residence Certificates for Non-Strict Control Barrier Functions Available: https://doi.org/10.1115/1.4070495

Reference 7

Resolution: verified exact; doi, observed 2026-07-14T00:00:05.178560Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 09cb5482-a3a2-4732-aa37-0befd8834710 · outbound

This paper cites Control barrier functions for mechanical systems: Theory and application to robotic grasping,.

Finite Boundary-Layer Residence Certificates for Non-Strict Control Barrier Functions Control barrier functions for mechanical systems: Theory and application to robotic grasping,

Reference 8

Resolution: unresolved; no resolver link, observed 2026-07-13T23:59:08.947425Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f84b7543-ace0-4627-8593-8054de1b2c0e · outbound

This paper cites Decentralized optimal merging control for connected and automated vehicles with safety constraint guarantees,.

Finite Boundary-Layer Residence Certificates for Non-Strict Control Barrier Functions Decentralized optimal merging control for connected and automated vehicles with safety constraint guarantees,

Reference 9

Resolution: unresolved; no resolver link, observed 2026-07-13T23:59:08.947425Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 37a344f0-8880-4020-8c47-5759aa0d11b0 · outbound

This paper cites Robust formation control and obstacle avoidance for heterogeneous underactuated surface vessel networks,.

Finite Boundary-Layer Residence Certificates for Non-Strict Control Barrier Functions Robust formation control and obstacle avoidance for heterogeneous underactuated surface vessel networks,

Reference 10

Resolution: unresolved; no resolver link, observed 2026-07-13T23:59:08.947425Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 23a1cde3-70f3-4f20-b07b-1cfc9bc9cb4a · outbound

This paper cites Why does symmetry cause dead- locks?.

Finite Boundary-Layer Residence Certificates for Non-Strict Control Barrier Functions Why does symmetry cause dead- locks?

Reference 11

Resolution: unresolved; no resolver link, observed 2026-07-13T23:59:08.947425Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8cd3c304-f7f4-4dfd-98d6-8f41b469a9c4 · outbound

This paper cites Control barrier function- based quadratic programs introduce undesirable asymptotically stable equilibria,.

Finite Boundary-Layer Residence Certificates for Non-Strict Control Barrier Functions Control barrier function- based quadratic programs introduce undesirable asymptotically stable equilibria,

Reference 12

Resolution: unresolved; no resolver link, observed 2026-07-13T23:59:08.947425Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b46adc83-47e5-4141-ac72-73be8454982b · outbound

This paper cites Rouche, P.

Finite Boundary-Layer Residence Certificates for Non-Strict Control Barrier Functions Rouche, P

Reference 13

Resolution: unresolved; no resolver link, observed 2026-07-13T23:59:08.947425Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7bb9dd3a-eab6-4b81-a356-52850db5877b · outbound

This paper cites Control Barrier Function-Based Safety Filters: Characterization of Undesired Equilibria, Unbounded Trajectories, and Limit Cycles.

Finite Boundary-Layer Residence Certificates for Non-Strict Control Barrier Functions Control Barrier Function-Based Safety Filters: Characterization of Undesired Equilibria, Unbounded Trajectories, and Limit Cycles

Reference 14

Resolution: unresolved; no resolver link, observed 2026-07-13T23:59:08.947425Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0008d33f-e8c3-4ba9-8490-ecc1627b5742 · outbound

This paper cites Robustness of control barrier functions for safety critical control,.

Finite Boundary-Layer Residence Certificates for Non-Strict Control Barrier Functions Robustness of control barrier functions for safety critical control,

Reference 15

Resolution: unresolved; no resolver link, observed 2026-07-13T23:59:08.947425Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e66bc235-454a-4be3-aa03-b85f924e06a5 · outbound

This paper cites On the undesired equilibria induced by control barrier function based quadratic programs,.

Finite Boundary-Layer Residence Certificates for Non-Strict Control Barrier Functions On the undesired equilibria induced by control barrier function based quadratic programs,

Reference 16

Resolution: unresolved; no resolver link, observed 2026-07-13T23:59:08.947425Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9b4eb2ec-1654-499c-ad44-4bd77a4538ea · outbound

This paper cites Optimization-based safe stabilizing feedback with guaranteed region of attraction,.

Finite Boundary-Layer Residence Certificates for Non-Strict Control Barrier Functions Optimization-based safe stabilizing feedback with guaranteed region of attraction,

Reference 17

Resolution: unresolved; no resolver link, observed 2026-07-13T23:59:08.947425Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d6a84aad-0726-4eff-8e24-54463cbfcb83 · outbound

This paper cites Independence of Closed-Loop Equilibria and Stability from the Choice of Control Barrier Function for a Given Safe Set.

Finite Boundary-Layer Residence Certificates for Non-Strict Control Barrier Functions Independence of Closed-Loop Equilibria and Stability from the Choice of Control Barrier Function for a Given Safe Set

Reference 18

Resolution: unresolved; no resolver link, observed 2026-07-13T23:59:08.947425Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2ebf5036-370a-40df-8cd7-8bd20bc2501a · outbound

This paper cites Multiagent systems with CBF- based controllers: Collision avoidance and liveness from instability,.

Finite Boundary-Layer Residence Certificates for Non-Strict Control Barrier Functions Multiagent systems with CBF- based controllers: Collision avoidance and liveness from instability,

Reference 19

Resolution: unresolved; no resolver link, observed 2026-07-13T23:59:08.947425Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9d9fb6c3-6362-4e6a-8f3f-1704ce5ef793 · outbound

This paper cites Range observer-based formation control for heterogeneous spatial underactuated vehicle networks,.

Finite Boundary-Layer Residence Certificates for Non-Strict Control Barrier Functions Range observer-based formation control for heterogeneous spatial underactuated vehicle networks,

Reference 20

Resolution: verified exact; doi, observed 2026-07-14T00:00:05.178300Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation c327ea17-3cb2-492d-bfc8-64a52f6f6ef6 · outbound

This paper cites Robust control barrier functions for constrained stabiliza- tion of nonlinear systems,.

Finite Boundary-Layer Residence Certificates for Non-Strict Control Barrier Functions Robust control barrier functions for constrained stabiliza- tion of nonlinear systems,

Reference 21

Resolution: unresolved; no resolver link, observed 2026-07-13T23:59:08.947425Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6d806299-daf7-4c51-9500-4190ae4d9039 · outbound

This paper cites High order control barrier functions,.

Finite Boundary-Layer Residence Certificates for Non-Strict Control Barrier Functions High order control barrier functions,

Reference 22

Resolution: unresolved; no resolver link, observed 2026-07-13T23:59:08.947425Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 49c014be-042a-4323-a4c5-d582010d1e1b · outbound

This paper cites Closed loop steering of unicycle like vehicles via Lyapunov techniques,.

Finite Boundary-Layer Residence Certificates for Non-Strict Control Barrier Functions Closed loop steering of unicycle like vehicles via Lyapunov techniques,

Reference 23

Resolution: unresolved; no resolver link, observed 2026-07-13T23:59:08.947425Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.