Paper Citation Record · LEDGER

Leveraging Equivariances and Symmetries in the Control Barrier Function Synthesis

As of 20 August 2026, this Paper Citation Record lists 39 of 39 outbound references and 0 inbound Pith citation observations for arXiv:2509.04399.

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

pith.paper-citation-record.v1
2509.04399 v1

Coverage vector

measured 39 of 39 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-05T10:20:05.181563Z

measured 39 of 39 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-20T06:33:59.587034+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

39 of 39 outbound references displayed

verified exact2
verified fuzzy28
unresolved9
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 3982d17c-8c00-4a25-8f70-10e585af58e7 · outbound

This paper cites A ‘universal’ construction of artstein’s theorem on nonlinear stabilization,.

Leveraging Equivariances and Symmetries in the Control Barrier Function Synthesis A ‘universal’ construction of artstein’s theorem on nonlinear stabilization,

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:20:05.623643Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 0d70dfb3-3d57-47e0-893e-19183a4e9170 · outbound

This paper cites Constructive safety using control barrier functions,.

Leveraging Equivariances and Symmetries in the Control Barrier Function Synthesis Constructive safety using control barrier functions,

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:20:05.613498Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 80aa4c00-50cf-4fef-b7d1-1dd3d896a4cf · outbound

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

Leveraging Equivariances and Symmetries in the Control Barrier Function Synthesis Control barrier function based quadratic programs for safety critical systems,

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-05T10:20:05.007147Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5a1e902f-da7c-4ef1-949e-97e16428638f · outbound

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

Leveraging Equivariances and Symmetries in the Control Barrier Function Synthesis Control barrier functions for signal temporal logic tasks,

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:20:05.596870Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 101130f8-3078-475f-88b1-3ceb03f9d84c · outbound

This paper cites Handling disjunctions in signal temporal logic based control through nonsmooth barrier functions,.

Leveraging Equivariances and Symmetries in the Control Barrier Function Synthesis Handling disjunctions in signal temporal logic based control through nonsmooth barrier functions,

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:20:05.586822Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 0f3dfa54-9f80-4af7-8e6f-32cc60cd7603 · outbound

This paper cites Mutualistic interactions in heterogeneous multi-agent systems,.

Leveraging Equivariances and Symmetries in the Control Barrier Function Synthesis Mutualistic interactions in heterogeneous multi-agent systems,

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:20:05.577219Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 002b246c-66f5-4546-8b6a-534e062b2e5f · outbound

This paper cites Decentralized ve- hicle coordination and lane switching without switching of controllers,.

Leveraging Equivariances and Symmetries in the Control Barrier Function Synthesis Decentralized ve- hicle coordination and lane switching without switching of controllers,

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-05T10:20:05.084792Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 97cd0da2-dbb0-4349-8fdc-cb5e9bc5827b · outbound

This paper cites Collision avoidance and geofencing for fixed-wing aircraft with control barrier functions,.

Leveraging Equivariances and Symmetries in the Control Barrier Function Synthesis Collision avoidance and geofencing for fixed-wing aircraft with control barrier functions,

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:20:05.560445Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 5f229c36-27e3-49ca-820c-00a9fc3d2a88 · outbound

This paper cites Contact-aware safety in soft robots using high-order control barrier and lyapunov functions,.

Leveraging Equivariances and Symmetries in the Control Barrier Function Synthesis Contact-aware safety in soft robots using high-order control barrier and lyapunov functions,

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-05T10:20:05.091526Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation dc9f80a8-6c72-43cc-8b66-dd5b8b2beb32 · outbound

This paper cites an unresolved cited work.

Leveraging Equivariances and Symmetries in the Control Barrier Function Synthesis Unresolved cited work

Reference 10

Resolution: unresolved; raw_fallback, observed 2026-08-05T10:20:05.550416Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 8fdb026a-d559-428b-9e39-09cdfdc55c67 · outbound

This paper cites Morphological sym- metries in robotics,.

Leveraging Equivariances and Symmetries in the Control Barrier Function Synthesis Morphological sym- metries in robotics,

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:20:05.540219Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 008b2009-c6bc-4f9d-863f-356a010664b6 · outbound

This paper cites Observer design for nonlinear systems with equivariance,.

Leveraging Equivariances and Symmetries in the Control Barrier Function Synthesis Observer design for nonlinear systems with equivariance,

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:20:05.529519Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 98417b08-a0f4-49cd-8c9d-076b59223bbd · outbound

This paper cites Equivariant dynamical systems,.

Leveraging Equivariances and Symmetries in the Control Barrier Function Synthesis Equivariant dynamical systems,

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:20:05.517726Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation ecbda2c0-5169-4d8f-8b0a-622b98db3778 · outbound

This paper cites Equivariant dynamical systems,.

Leveraging Equivariances and Symmetries in the Control Barrier Function Synthesis Equivariant dynamical systems,

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:20:05.507318Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation a064c54a-efbc-44e3-ab4f-685e94a47189 · outbound

This paper cites Symmetry and symmetry-breaking bifurcations in fluid dynamics,.

Leveraging Equivariances and Symmetries in the Control Barrier Function Synthesis Symmetry and symmetry-breaking bifurcations in fluid dynamics,

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:20:05.497702Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 6a2b3544-f3e8-4f2e-bd79-d258f820c6a7 · outbound

This paper cites Chossat and R.

Leveraging Equivariances and Symmetries in the Control Barrier Function Synthesis Chossat and R

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:20:05.487242Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 838b491a-1ddd-46ec-b869-d56792a0c890 · outbound

This paper cites Symmetry invariance for adapting biological systems,.

Leveraging Equivariances and Symmetries in the Control Barrier Function Synthesis Symmetry invariance for adapting biological systems,

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:20:05.477321Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 36379a37-be2a-4b2d-bb45-8a2f8561bacf · outbound

This paper cites Dynamic compensation, parameter identifiability, and equivariances,.

Leveraging Equivariances and Symmetries in the Control Barrier Function Synthesis Dynamic compensation, parameter identifiability, and equivariances,

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:20:05.467298Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 8d7a65b2-bc4f-4982-93d6-9b050732f500 · outbound

This paper cites Understanding image representations by measuring their equivariance and equivalence,.

Leveraging Equivariances and Symmetries in the Control Barrier Function Synthesis Understanding image representations by measuring their equivariance and equivalence,

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:20:05.458188Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 73b86e9f-b400-4135-9b4c-ee1ce2c66c00 · outbound

This paper cites Spherical cnns,.

Leveraging Equivariances and Symmetries in the Control Barrier Function Synthesis Spherical cnns,

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:20:05.448413Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 1165bcea-219e-49de-a6c5-b30e78761ae1 · outbound

This paper cites Generalizing convolutional neural networks for equivariance to lie groups on arbitrary continuous data,.

Leveraging Equivariances and Symmetries in the Control Barrier Function Synthesis Generalizing convolutional neural networks for equivariance to lie groups on arbitrary continuous data,

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:20:05.439572Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation d6f0ad61-92d6-42a4-b540-8d5849b24218 · outbound

This paper cites Equivariant Systems Theory and Observer Design.

Leveraging Equivariances and Symmetries in the Control Barrier Function Synthesis Equivariant Systems Theory and Observer Design

Reference 22

Resolution: verified exact; local_arxiv, observed 2026-08-05T10:20:05.233376Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 226eae39-c3f9-40a3-8dd0-f10e09ae04f1 · outbound

This paper cites Equivariant filter (eqf),.

Leveraging Equivariances and Symmetries in the Control Barrier Function Synthesis Equivariant filter (eqf),

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:20:05.430813Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation e70e5401-2ca0-4cf6-9ba2-7cea6bf8ec53 · outbound

This paper cites Koopman operator methods for global phase space exploration of equivariant dynamical systems,.

Leveraging Equivariances and Symmetries in the Control Barrier Function Synthesis Koopman operator methods for global phase space exploration of equivariant dynamical systems,

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:20:05.422319Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation c81e70ea-e309-40e1-b1da-2e8fcae5fec6 · outbound

This paper cites Deep Equivariant Multi-Agent Control Barrier Functions.

Leveraging Equivariances and Symmetries in the Control Barrier Function Synthesis Deep Equivariant Multi-Agent Control Barrier Functions

Reference 25

Resolution: verified exact; local_arxiv, observed 2026-08-05T10:20:05.220546Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation b76c9240-b48a-46ba-832b-da1f2c199972 · outbound

This paper cites Predictive Synthesis of Control Barrier Functions and its Application to Time-Varying Constraints.

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

Resolution: unresolved; no resolver link, observed 2026-08-05T10:20:05.146489Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f34d711f-cf08-4e85-b0f0-2a5aa5fae2d3 · outbound

This paper cites Nonlinear controllability and observability,.

Leveraging Equivariances and Symmetries in the Control Barrier Function Synthesis Nonlinear controllability and observability,

Reference 27

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:20:05.413337Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 386b821c-577c-4956-a229-24252750f8df · outbound

This paper cites Asymptotic stability and feedback stabilization,.

Leveraging Equivariances and Symmetries in the Control Barrier Function Synthesis Asymptotic stability and feedback stabilization,

Reference 28

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:20:05.404109Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation a7ee1c0a-8a09-40d9-8ca9-cdf4a159bbb5 · outbound

This paper cites Lyapunov functions and discontinuous stabilizing feedback,.

Leveraging Equivariances and Symmetries in the Control Barrier Function Synthesis Lyapunov functions and discontinuous stabilizing feedback,

Reference 29

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:20:05.394301Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 52464f05-ac23-4c1f-a6ad-109eb428678e · outbound

This paper cites A nonsmooth approach to controller synthesis for boolean specifications,.

Leveraging Equivariances and Symmetries in the Control Barrier Function Synthesis A nonsmooth approach to controller synthesis for boolean specifications,

Reference 30

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:20:05.383975Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 7f61d1e3-dc6a-47fe-b93a-78b70c7436f9 · outbound

This paper cites Hybrid control barrier functions for continuous-time systems,.

Leveraging Equivariances and Symmetries in the Control Barrier Function Synthesis Hybrid control barrier functions for continuous-time systems,

Reference 31

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:20:05.374060Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation a0a66f0b-3ec4-4837-9bb4-23eaf7814c5a · outbound

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

Leveraging Equivariances and Symmetries in the Control Barrier Function Synthesis Control barrier functions for disjunctions of signal temporal logic tasks,

Reference 32

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:20:05.364893Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 9d4398b7-f2aa-43a7-9210-3cbbe89678ab · outbound

This paper cites On reachability and minimum cost optimal control,.

Leveraging Equivariances and Symmetries in the Control Barrier Function Synthesis On reachability and minimum cost optimal control,

Reference 33

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:20:05.354178Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 8dac11f2-de3c-4dfa-b99d-382c3d8aa249 · outbound

This paper cites Robust control barrier–value functions for safety-critical control,.

Leveraging Equivariances and Symmetries in the Control Barrier Function Synthesis Robust control barrier–value functions for safety-critical control,

Reference 34

Resolution: unresolved; no resolver link, observed 2026-08-05T10:20:05.169072Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e8ea0b62-8c40-4710-8aa1-a3366f041f72 · outbound

This paper cites From time-invariant to uniformly time-varying control barrier functions: A constructive approach,.

Leveraging Equivariances and Symmetries in the Control Barrier Function Synthesis From time-invariant to uniformly time-varying control barrier functions: A constructive approach,

Reference 35

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:20:05.340202Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation a4551873-0b23-421e-a25c-cf6012ae5846 · outbound

This paper cites Trajectory planning for a four-wheel-steering vehicle,.

Leveraging Equivariances and Symmetries in the Control Barrier Function Synthesis Trajectory planning for a four-wheel-steering vehicle,

Reference 36

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:20:05.331328Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation d330f14f-b6a9-4a8f-9df2-f62b403d4e7d · outbound

This paper cites an unresolved cited work.

Leveraging Equivariances and Symmetries in the Control Barrier Function Synthesis Unresolved cited work

Reference 37

Resolution: unresolved; raw_fallback, observed 2026-08-05T10:20:05.322003Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation b65b4778-50e1-4ddd-8d3d-c88a86744786 · outbound

This paper cites CasADi – A software framework for nonlinear optimization and opti- mal control,.

Leveraging Equivariances and Symmetries in the Control Barrier Function Synthesis CasADi – A software framework for nonlinear optimization and opti- mal control,

Reference 38

Resolution: unresolved; no resolver link, observed 2026-08-05T10:20:05.181563Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d3864cff-c6ae-45cf-ac50-ad885fcc0bbb · outbound

This paper cites Spherical CNNs.

Leveraging Equivariances and Symmetries in the Control Barrier Function Synthesis Spherical CNNs

Reference 2018

Resolution: unresolved; no resolver link, observed 2026-08-05T10:20:05.128511Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.