Paper Citation Record · LEDGER

Safety-Critical Controller Synthesis with Reduced-Order Models

As of 13 August 2026, this Paper Citation Record lists 32 of 32 outbound references and 1 inbound Pith citation observation for arXiv:2411.16479.

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

pith.paper-citation-record.v1
2411.16479 v1

Coverage vector

measured 32 of 32 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-12T13:10:49.865990Z

measured 33 of 33 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-13T06:32:02.005865+00:00

measured 1 of 1 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-05-18T10:30:14.246503Z

measured 0 of 1 external citation measurements

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

Source: arxiv_reference, observed 2026-05-18T10:31:14.842092Z

Reference resolution

32 of 32 outbound references displayed

verified exact3
verified fuzzy20
unresolved9
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation a22a35fe-6296-47f3-8dac-98606bd9d94d · outbound

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

Safety-Critical Controller Synthesis with Reduced-Order Models Control barrier function based quadratic programs for safety critical systems,

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-12T13:10:49.782643Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2e1dff3c-8274-46c0-a6f6-1707309cd5a6 · outbound

This paper cites Safety-critical control for autonomous systems: Control barrier functions via reduced order models,.

Safety-Critical Controller Synthesis with Reduced-Order Models Safety-critical control for autonomous systems: Control barrier functions via reduced order models,

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-12T13:10:49.785997Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 613fa4b0-cea5-4b03-a86d-e8e52fd5c142 · outbound

This paper cites Model-free safety-critical control for robotic systems,.

Safety-Critical Controller Synthesis with Reduced-Order Models Model-free safety-critical control for robotic systems,

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T13:10:50.093896Z

Source-reported events for the cited work

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

Observation 12f52b56-d99a-4130-a5e1-348e3055e996 · outbound

This paper cites Safety-critical control with bounded inputs via reduced order models,.

Safety-Critical Controller Synthesis with Reduced-Order Models Safety-critical control with bounded inputs via reduced order models,

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T13:10:50.086964Z

Source-reported events for the cited work

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

Observation e114ea0a-5bf4-4a80-8b25-1e4a21a319a8 · outbound

This paper cites Krsti ´c, I.

Safety-Critical Controller Synthesis with Reduced-Order Models Krsti ´c, I

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T13:10:50.079966Z

Source-reported events for the cited work

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

Observation c0183ca0-fe16-4ce7-9990-3aed0b2e0ed9 · outbound

This paper cites Fastrack: A modular framework for real-time motion planning and guaranteed safe tracking,.

Safety-Critical Controller Synthesis with Reduced-Order Models Fastrack: A modular framework for real-time motion planning and guaranteed safe tracking,

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T13:10:50.073007Z

Source-reported events for the cited work

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

Observation b1291772-ab47-4dd7-b153-ec4f8f8b9e2f · outbound

This paper cites Safe-by-design planner–tracker synthesis with a hierarchy of system models,.

Safety-Critical Controller Synthesis with Reduced-Order Models Safe-by-design planner–tracker synthesis with a hierarchy of system models,

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T13:10:50.065066Z

Source-reported events for the cited work

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

Observation 20f0174b-3493-43a8-a762-fd7058ac1035 · outbound

This paper cites Embedded Hierarchical MPC for Autonomous Navigation.

Safety-Critical Controller Synthesis with Reduced-Order Models Embedded Hierarchical MPC for Autonomous Navigation

Reference 8

Resolution: verified exact; local_arxiv, observed 2026-08-12T13:10:49.912100Z

Source-reported events for the cited work

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

Observation bcc34938-da1e-4b20-aaa0-8bcc3f76fc5f · outbound

This paper cites Robust feedback motion planning via contraction theory,.

Safety-Critical Controller Synthesis with Reduced-Order Models Robust feedback motion planning via contraction theory,

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T13:10:50.057950Z

Source-reported events for the cited work

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

Observation 17df6a33-e081-4cbc-a0de-463f0b070bb9 · outbound

This paper cites Tabuada, Verification and control of hybrid systems: a symbolic approach.

Safety-Critical Controller Synthesis with Reduced-Order Models Tabuada, Verification and control of hybrid systems: a symbolic approach

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T13:10:50.049782Z

Source-reported events for the cited work

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

Observation b3d64437-07c5-481a-bafe-debd2140b35c · outbound

This paper cites Belta, B.

Safety-Critical Controller Synthesis with Reduced-Order Models Belta, B

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T13:10:50.041958Z

Source-reported events for the cited work

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

Observation edc4255f-2372-44ce-8a54-c45de64453e2 · outbound

This paper cites Hierarchically consis- tent control systems,.

Safety-Critical Controller Synthesis with Reduced-Order Models Hierarchically consis- tent control systems,

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T13:10:50.034749Z

Source-reported events for the cited work

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

Observation 3f489746-7b08-4615-97f7-29ee985b5aac · outbound

This paper cites Consistent abstractions of affine control systems,.

Safety-Critical Controller Synthesis with Reduced-Order Models Consistent abstractions of affine control systems,

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T13:10:50.027354Z

Source-reported events for the cited work

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

Observation 00fb5c37-8049-448b-9e1d-2157f6bc3522 · outbound

This paper cites Hierarchical control system design using approximate simulation,.

Safety-Critical Controller Synthesis with Reduced-Order Models Hierarchical control system design using approximate simulation,

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T13:10:50.019668Z

Source-reported events for the cited work

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

Observation b6de5c6f-dda9-44c4-9277-6b967df6a501 · outbound

This paper cites Geometric tracking control of a quadrotor UA V on SE(3),.

Safety-Critical Controller Synthesis with Reduced-Order Models Geometric tracking control of a quadrotor UA V on SE(3),

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T13:10:50.011413Z

Source-reported events for the cited work

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

Observation 2ee2ffee-ea38-4c12-96f8-2f0f5d60b69d · outbound

This paper cites Minimum snap trajectory generation and control for quadrotors,.

Safety-Critical Controller Synthesis with Reduced-Order Models Minimum snap trajectory generation and control for quadrotors,

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-12T13:10:49.824544Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 47c0136f-a033-4cde-9f92-2cf82669c317 · outbound

This paper cites Optimization-based control for dynamic legged robots,.

Safety-Critical Controller Synthesis with Reduced-Order Models Optimization-based control for dynamic legged robots,

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T13:10:50.000008Z

Source-reported events for the cited work

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

Observation 990cd914-d82a-4084-87e7-ac2453638190 · outbound

This paper cites Learning agile and dynamic motor skills for legged robots,.

Safety-Critical Controller Synthesis with Reduced-Order Models Learning agile and dynamic motor skills for legged robots,

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T13:10:49.992473Z

Source-reported events for the cited work

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

Observation aa500134-d81a-4baa-8286-0cca2f639a2e · outbound

This paper cites Ambrose, Creating ARCHER: A 3D Hopping Robot with Flywheels for Attitude Control.

Safety-Critical Controller Synthesis with Reduced-Order Models Ambrose, Creating ARCHER: A 3D Hopping Robot with Flywheels for Attitude Control

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T13:10:49.984028Z

Source-reported events for the cited work

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

Observation 168ebaf8-ba5f-4bd5-82c3-7d0014899dcf · outbound

This paper cites Nonlinear model predictive control of a 3D hopping robot: Leveraging Lie group integrators for dynamically stable behaviors,.

Safety-Critical Controller Synthesis with Reduced-Order Models Nonlinear model predictive control of a 3D hopping robot: Leveraging Lie group integrators for dynamically stable behaviors,

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T13:10:49.976719Z

Source-reported events for the cited work

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

Observation 2e445d53-3975-4954-b7d3-043938291967 · outbound

This paper cites Robust Agility via Learned Zero Dynamics Policies.

Safety-Critical Controller Synthesis with Reduced-Order Models Robust Agility via Learned Zero Dynamics Policies

Reference 21

Resolution: verified exact; local_arxiv, observed 2026-08-12T13:10:49.902339Z

Source-reported events for the cited work

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

Observation ea200f1b-9780-4de1-b0b7-e6901114d134 · outbound

This paper cites Blanchini and S.

Safety-Critical Controller Synthesis with Reduced-Order Models Blanchini and S

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-12T13:10:49.839364Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e63e9239-95aa-48a5-a40d-1ac8c8868047 · outbound

This paper cites Abraham, J.

Safety-Critical Controller Synthesis with Reduced-Order Models Abraham, J

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-12T13:10:49.842382Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0e29cd89-9ea2-47e8-9e34-80920b2572be · outbound

This paper cites Generative modeling of residuals for real-time risk-sensitive safety with discrete-time control barrier functions,.

Safety-Critical Controller Synthesis with Reduced-Order Models Generative modeling of residuals for real-time risk-sensitive safety with discrete-time control barrier functions,

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T13:10:49.961480Z

Source-reported events for the cited work

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

Observation 162bec27-7283-43a7-8b21-069d63c00749 · outbound

This paper cites an unresolved cited work.

Safety-Critical Controller Synthesis with Reduced-Order Models Unresolved cited work

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-12T13:10:49.847198Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 159554bf-6012-47ab-917e-659569dced99 · outbound

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

Safety-Critical Controller Synthesis with Reduced-Order Models Control barrier functions and input-to-state safety with application to automated vehicles,

Reference 26

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T13:10:49.950513Z

Source-reported events for the cited work

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

Observation 5074992b-ee51-48de-9d41-0a975b3a1db2 · outbound

This paper cites an unresolved cited work.

Safety-Critical Controller Synthesis with Reduced-Order Models Unresolved cited work

Reference 27

Resolution: unresolved; raw_fallback, observed 2026-08-12T13:10:49.943188Z

Source-reported events for the cited work

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

Observation cfd87010-df57-4cbe-8cb8-d218f56949e7 · outbound

This paper cites Hierarchical control via approximate simulation and feedback linearization,.

Safety-Critical Controller Synthesis with Reduced-Order Models Hierarchical control via approximate simulation and feedback linearization,

Reference 28

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T13:10:49.935857Z

Source-reported events for the cited work

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

Observation 96a9957b-3182-4803-84a0-15185576626a · outbound

This paper cites An approximate abstraction approach to safety control of differentially flat systems,.

Safety-Critical Controller Synthesis with Reduced-Order Models An approximate abstraction approach to safety control of differentially flat systems,

Reference 29

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T13:10:49.928503Z

Source-reported events for the cited work

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

Observation 1d1d1452-6c67-408a-89c8-b72e37cbd509 · outbound

This paper cites Constructive Nonlinear Control of Underactuated Systems via Zero Dynamics Policies.

Safety-Critical Controller Synthesis with Reduced-Order Models Constructive Nonlinear Control of Underactuated Systems via Zero Dynamics Policies

Reference 30

Resolution: verified exact; local_arxiv, observed 2026-08-12T13:10:49.890743Z

Source-reported events for the cited work

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

Observation 73e0c135-63ff-4ef6-a84d-9a3f58b6fb8f · outbound

This paper cites Characterizing smooth safety filters via the implicit function theorem,.

Safety-Critical Controller Synthesis with Reduced-Order Models Characterizing smooth safety filters via the implicit function theorem,

Reference 31

Resolution: unresolved; no resolver link, observed 2026-08-12T13:10:49.863654Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 30dfa00b-98b9-492e-91b2-49859e59c6d2 · outbound

This paper cites Composing control barrier functions for complex safety specifications,.

Safety-Critical Controller Synthesis with Reduced-Order Models Composing control barrier functions for complex safety specifications,

Reference 32

Resolution: unresolved; no resolver link, observed 2026-08-12T13:10:49.865990Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

Observation 30571a02-49b1-4f0d-a450-728a06899f78 · inbound

Safety-Critical Control via Recurrent Tracking Functions cites this paper.

Safety-Critical Control via Recurrent Tracking Functions Safety-Critical Controller Synthesis with Reduced-Order Models

Reference 10

Resolution: verified exact; arxiv_id, observed 2026-05-18T10:31:14.844686Z

Source-reported events for the cited work

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