Paper Citation Record · LEDGER

Emergency-Brake Simplex: Toward A Verifiably Safe Control-CPS Architecture for Abrupt Runtime Reachability Constraint Changes

As of 11 August 2026, this Paper Citation Record lists 25 of 25 outbound references and 0 inbound Pith citation observations for arXiv:2501.01831.

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

pith.paper-citation-record.v1
2501.01831 v3

Coverage vector

measured 25 of 25 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-10T22:27:51.817430Z

measured 25 of 25 standing notices

One-hop event checks from named stored sources.

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

25 of 25 outbound references displayed

verified exact0
verified fuzzy19
unresolved6
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation ccf21663-f488-4e61-aa39-69ca29ba28bb · outbound

This paper cites Cyber-physical systems: A new frontier,.

Emergency-Brake Simplex: Toward A Verifiably Safe Control-CPS Architecture for Abrupt Runtime Reachability Constraint Changes Cyber-physical systems: A new frontier,

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T22:27:52.247543Z

Source-reported events for the cited work

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

Observation 90c7bdbf-79ca-4bb6-922d-dee2ce30f188 · outbound

This paper cites Sommerville, Software Engineering.

Emergency-Brake Simplex: Toward A Verifiably Safe Control-CPS Architecture for Abrupt Runtime Reachability Constraint Changes Sommerville, Software Engineering

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T22:27:52.231907Z

Source-reported events for the cited work

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

Observation 691f6763-5e62-478b-a5a6-e0d0bac3dae4 · outbound

This paper cites an unresolved cited work.

Emergency-Brake Simplex: Toward A Verifiably Safe Control-CPS Architecture for Abrupt Runtime Reachability Constraint Changes Unresolved cited work

Reference 4

Resolution: unresolved; raw_fallback, observed 2026-08-10T22:27:52.201917Z

Source-reported events for the cited work

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

Observation d159b74a-c0b2-4e50-88cc-a02fc188501c · outbound

This paper cites Reachable set estimation for neural network control systems: A simulation-guided ap- proach,.

Emergency-Brake Simplex: Toward A Verifiably Safe Control-CPS Architecture for Abrupt Runtime Reachability Constraint Changes Reachable set estimation for neural network control systems: A simulation-guided ap- proach,

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T22:27:52.186899Z

Source-reported events for the cited work

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

Observation 23841888-cf10-47cc-a798-8ba529270fa9 · outbound

This paper cites Reachability Analysis and Safety Verification for Neural Network Control Systems.

Emergency-Brake Simplex: Toward A Verifiably Safe Control-CPS Architecture for Abrupt Runtime Reachability Constraint Changes Reachability Analysis and Safety Verification for Neural Network Control Systems

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-10T22:27:51.710745Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 893d7dca-b21c-40ec-a110-bfb0fd84a3a0 · outbound

This paper cites From o ffline toward real time: A hybrid systems model checking and cps codesign approach for medical device plug-and-play collaborations,.

Emergency-Brake Simplex: Toward A Verifiably Safe Control-CPS Architecture for Abrupt Runtime Reachability Constraint Changes From o ffline toward real time: A hybrid systems model checking and cps codesign approach for medical device plug-and-play collaborations,

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T22:27:52.171219Z

Source-reported events for the cited work

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

Observation e58a4b1c-a4e7-41e2-ba46-996566e35d54 · outbound

This paper cites Reachability under state constraints-the ellipsoidal technique,.

Emergency-Brake Simplex: Toward A Verifiably Safe Control-CPS Architecture for Abrupt Runtime Reachability Constraint Changes Reachability under state constraints-the ellipsoidal technique,

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T22:27:52.155457Z

Source-reported events for the cited work

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

Observation c06dd6ae-4707-4f37-998c-4c39db2f51e6 · outbound

This paper cites Safety verification of cyber-physical systems with reinforce- ment learning control,.

Emergency-Brake Simplex: Toward A Verifiably Safe Control-CPS Architecture for Abrupt Runtime Reachability Constraint Changes Safety verification of cyber-physical systems with reinforce- ment learning control,

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T22:27:52.139734Z

Source-reported events for the cited work

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

Observation e207cdae-433b-4c80-a7cb-e8a4c903b8ee · outbound

This paper cites Reachability of linear time- invariant systems via ellipsoidal approximations,.

Emergency-Brake Simplex: Toward A Verifiably Safe Control-CPS Architecture for Abrupt Runtime Reachability Constraint Changes Reachability of linear time- invariant systems via ellipsoidal approximations,

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T22:27:52.122695Z

Source-reported events for the cited work

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

Observation ca6b5099-d478-460a-bb64-45a0589fb451 · outbound

This paper cites Safety verification for probabilistic hybrid systems,.

Emergency-Brake Simplex: Toward A Verifiably Safe Control-CPS Architecture for Abrupt Runtime Reachability Constraint Changes Safety verification for probabilistic hybrid systems,

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T22:27:52.107566Z

Source-reported events for the cited work

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

Observation 2e2eea29-e7bf-4759-993e-9774bb56d632 · outbound

This paper cites Using simplicity to control complexity,.

Emergency-Brake Simplex: Toward A Verifiably Safe Control-CPS Architecture for Abrupt Runtime Reachability Constraint Changes Using simplicity to control complexity,

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T22:27:52.217398Z

Source-reported events for the cited work

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

Observation 7562b455-9668-4e1b-a314-758afa9d1b40 · outbound

This paper cites Real-time reachability for verified simplex design,.

Emergency-Brake Simplex: Toward A Verifiably Safe Control-CPS Architecture for Abrupt Runtime Reachability Constraint Changes Real-time reachability for verified simplex design,

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T22:27:52.092002Z

Source-reported events for the cited work

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

Observation f6e85e5f-41da-4183-977a-e7a9e46eccde · outbound

This paper cites A safe, secure, and predictable software architecture for deep learning in safety- critical systems,.

Emergency-Brake Simplex: Toward A Verifiably Safe Control-CPS Architecture for Abrupt Runtime Reachability Constraint Changes A safe, secure, and predictable software architecture for deep learning in safety- critical systems,

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T22:27:52.075141Z

Source-reported events for the cited work

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

Observation 75a90db1-0f68-456e-b6af-497a81be0c88 · outbound

This paper cites An optimal control problem for a di fferential inclusion with state constraints. smooth approximations and necessary optimality conditions,.

Emergency-Brake Simplex: Toward A Verifiably Safe Control-CPS Architecture for Abrupt Runtime Reachability Constraint Changes An optimal control problem for a di fferential inclusion with state constraints. smooth approximations and necessary optimality conditions,

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T22:27:52.057477Z

Source-reported events for the cited work

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

Observation a58ed1bd-c2fa-4dd3-ba6d-e99383da6430 · outbound

This paper cites On reachability analysis for nonlinear control systems with state constraints,.

Emergency-Brake Simplex: Toward A Verifiably Safe Control-CPS Architecture for Abrupt Runtime Reachability Constraint Changes On reachability analysis for nonlinear control systems with state constraints,

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T22:27:52.040511Z

Source-reported events for the cited work

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

Observation 846e11c5-91d0-4b1c-aa34-ee4d489ddbce · outbound

This paper cites Online verification of automated road vehicles using reachability analysis,.

Emergency-Brake Simplex: Toward A Verifiably Safe Control-CPS Architecture for Abrupt Runtime Reachability Constraint Changes Online verification of automated road vehicles using reachability analysis,

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T22:27:52.024509Z

Source-reported events for the cited work

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

Observation a021b8af-dbc3-4a2e-ab8e-acb45a3fbfda · outbound

This paper cites Ensuring drivability of planned motions using formal methods,.

Emergency-Brake Simplex: Toward A Verifiably Safe Control-CPS Architecture for Abrupt Runtime Reachability Constraint Changes Ensuring drivability of planned motions using formal methods,

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T22:27:52.007176Z

Source-reported events for the cited work

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

Observation eede0175-66c2-41b3-926f-bfd8fac512ed · outbound

This paper cites Online safety verification of trajectories for unmanned flight with o ffline computed robust invariant sets,.

Emergency-Brake Simplex: Toward A Verifiably Safe Control-CPS Architecture for Abrupt Runtime Reachability Constraint Changes Online safety verification of trajectories for unmanned flight with o ffline computed robust invariant sets,

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T22:27:51.989031Z

Source-reported events for the cited work

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

Observation 4dc34c8c-d950-461f-91c6-6ac45e5bebce · outbound

This paper cites an unresolved cited work.

Emergency-Brake Simplex: Toward A Verifiably Safe Control-CPS Architecture for Abrupt Runtime Reachability Constraint Changes Unresolved cited work

Reference 20

Resolution: unresolved; raw_fallback, observed 2026-08-10T22:27:51.972236Z

Source-reported events for the cited work

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

Observation 519cd7a5-c1ff-4321-804a-15991589f982 · outbound

This paper cites Nonlinear programming,.

Emergency-Brake Simplex: Toward A Verifiably Safe Control-CPS Architecture for Abrupt Runtime Reachability Constraint Changes Nonlinear programming,

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T22:27:51.954335Z

Source-reported events for the cited work

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

Observation 96f240d3-1e22-4cd1-8d8d-785c85fd0aae · outbound

This paper cites New versions of newton method: step- size choice, convergence domain and under-determined equations,.

Emergency-Brake Simplex: Toward A Verifiably Safe Control-CPS Architecture for Abrupt Runtime Reachability Constraint Changes New versions of newton method: step- size choice, convergence domain and under-determined equations,

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T22:27:51.937605Z

Source-reported events for the cited work

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

Observation fdea5468-f53c-415f-b281-ebac5cc0974e · outbound

This paper cites On the convergence of the newton /log-barrier method,.

Emergency-Brake Simplex: Toward A Verifiably Safe Control-CPS Architecture for Abrupt Runtime Reachability Constraint Changes On the convergence of the newton /log-barrier method,

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T22:27:51.918754Z

Source-reported events for the cited work

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

Observation e11ba7b7-9358-4ed8-aa9f-9a4739e2f60b · outbound

This paper cites KKT Conditions, First-Order and Second-Order Optimization, and Distributed Optimization: Tutorial and Survey.

Emergency-Brake Simplex: Toward A Verifiably Safe Control-CPS Architecture for Abrupt Runtime Reachability Constraint Changes KKT Conditions, First-Order and Second-Order Optimization, and Distributed Optimization: Tutorial and Survey

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-10T22:27:51.806373Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4dae23a5-c702-4b63-a8cc-210eef79824d · outbound

This paper cites Boyd and L.

Emergency-Brake Simplex: Toward A Verifiably Safe Control-CPS Architecture for Abrupt Runtime Reachability Constraint Changes Boyd and L

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-10T22:27:51.812389Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a813b233-e8a5-4c05-87af-7c39a6833ae6 · outbound

This paper cites an unresolved cited work.

Emergency-Brake Simplex: Toward A Verifiably Safe Control-CPS Architecture for Abrupt Runtime Reachability Constraint Changes Unresolved cited work

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-10T22:27:51.817430Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.