{"as_of":"2026-08-11T06:54:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:6e5a6bd89ecf955db39f25f8f57104b293c8d85954c419326298d98c53b253d2","coverage":[{"denominator":25,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":25,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-10T22:27:51.817430Z","state":"measured"},{"denominator":25,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":25,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-11T06:34:44.6726+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2501.01831/citation-record","integrity":"/paper/2501.01831/integrity","json":"/paper/2501.01831/citation-record.json","paper":"/paper/2501.01831"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T22:27:52.242661Z","title":"Cyber-physical systems: A new frontier,","venue":null,"work_id":"c16b61a6-f3f6-4acb-aa13-b82705115be4","year":2008},"citing_paper":{"arxiv_id":"2501.01831","last_updated":"2025-03-24T07:44:43Z","snapshot_observed_at":"2026-08-10T22:17:34.772987Z","submitted_at":"2025-01-03T14:32:17Z","title":"Emergency-Brake Simplex: Toward A Verifiably Safe Control-CPS Architecture for Abrupt Runtime Reachability Constraint Changes","version":3},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-10T22:27:51.682765Z"},"links":{"citing_paper":"/paper/2501.01831"},"observation_digest":"sha256:0a4c6b039e397be5c01a7d95aa388d74a4219a01455411d2d700bf8bc68f180a","observation_id":"ccf21663-f488-4e61-aa39-69ca29ba28bb","resolution":{"observed_at":"2026-08-10T22:27:52.247543Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T22:27:52.227009Z","title":"Sommerville, Software Engineering","venue":null,"work_id":"232177c0-84bb-45c8-b392-b187bb96c547","year":2015},"citing_paper":{"arxiv_id":"2501.01831","last_updated":"2025-03-24T07:44:43Z","snapshot_observed_at":"2026-08-10T22:17:34.772987Z","submitted_at":"2025-01-03T14:32:17Z","title":"Emergency-Brake Simplex: Toward A Verifiably Safe Control-CPS Architecture for Abrupt Runtime Reachability Constraint Changes","version":3},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-10T22:27:51.688388Z"},"links":{"citing_paper":"/paper/2501.01831"},"observation_digest":"sha256:eb860f36778c2d911ca1c5b41f5a689166bc74d661c784d8698b46ad4e7a00aa","observation_id":"90c7bdbf-79ca-4bb6-922d-dee2ce30f188","resolution":{"observed_at":"2026-08-10T22:27:52.231907Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T22:27:52.197070Z","title":null,"venue":null,"work_id":"b98b2fc2-f58d-4702-8c74-b55e67dfa27b","year":1991},"citing_paper":{"arxiv_id":"2501.01831","last_updated":"2025-03-24T07:44:43Z","snapshot_observed_at":"2026-08-10T22:17:34.772987Z","submitted_at":"2025-01-03T14:32:17Z","title":"Emergency-Brake Simplex: Toward A Verifiably Safe Control-CPS Architecture for Abrupt Runtime Reachability Constraint Changes","version":3},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-10T22:27:51.698966Z"},"links":{"citing_paper":"/paper/2501.01831"},"observation_digest":"sha256:7feaea9d6ed1d82976adc8e246e7289d58a0e8d74e00c3a921fd79bb96f27be0","observation_id":"691f6763-5e62-478b-a5a6-e0d0bac3dae4","resolution":{"observed_at":"2026-08-10T22:27:52.201917Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T22:27:52.181847Z","title":"Reachable set estimation for neural network control systems: A simulation-guided ap- proach,","venue":null,"work_id":"8271f5af-8c08-4264-b32a-7e9cc1ab21d4","year":2020},"citing_paper":{"arxiv_id":"2501.01831","last_updated":"2025-03-24T07:44:43Z","snapshot_observed_at":"2026-08-10T22:17:34.772987Z","submitted_at":"2025-01-03T14:32:17Z","title":"Emergency-Brake Simplex: Toward A Verifiably Safe Control-CPS Architecture for Abrupt Runtime Reachability Constraint Changes","version":3},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-10T22:27:51.705078Z"},"links":{"citing_paper":"/paper/2501.01831"},"observation_digest":"sha256:76c04ded1fad577e46ac88627180d4f5b1280d9d6ac33e88b1edd9b31216d150","observation_id":"d159b74a-c0b2-4e50-88cc-a02fc188501c","resolution":{"observed_at":"2026-08-10T22:27:52.186899Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1805.09944","last_updated":"2018-05-25T01:32:05Z","snapshot_observed_at":"2026-07-06T06:41:07.943229Z","submitted_at":"2018-05-25T01:32:05Z","title":"Reachability Analysis and Safety Verification for Neural Network Control Systems","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1805.09944","snapshot_observed_at":"2026-08-10T22:27:51.710745Z","title":"Reachability analysis and safety verification for neural network control systems,","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2501.01831","last_updated":"2025-03-24T07:44:43Z","snapshot_observed_at":"2026-08-10T22:17:34.772987Z","submitted_at":"2025-01-03T14:32:17Z","title":"Emergency-Brake Simplex: Toward A Verifiably Safe Control-CPS Architecture for Abrupt Runtime Reachability Constraint Changes","version":3},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-10T22:27:51.710745Z"},"links":{"cited_paper":"/paper/1805.09944","citing_paper":"/paper/2501.01831"},"observation_digest":"sha256:7935325a5a02cb084c96b3eae522cd1c2d4731392a10867a10bf7696e6666b97","observation_id":"23841888-cf10-47cc-a798-8ba529270fa9","resolution":{"observed_at":"2026-08-10T22:27:51.710745Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T22:27:52.165787Z","title":"From o ffline toward real time: A hybrid systems model checking and cps codesign approach for medical device plug-and-play collaborations,","venue":null,"work_id":"884a485a-9918-4190-a287-b5304be8da51","year":2014},"citing_paper":{"arxiv_id":"2501.01831","last_updated":"2025-03-24T07:44:43Z","snapshot_observed_at":"2026-08-10T22:17:34.772987Z","submitted_at":"2025-01-03T14:32:17Z","title":"Emergency-Brake Simplex: Toward A Verifiably Safe Control-CPS Architecture for Abrupt Runtime Reachability Constraint Changes","version":3},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-10T22:27:51.717747Z"},"links":{"citing_paper":"/paper/2501.01831"},"observation_digest":"sha256:f3e7789227ce6e54a72812c8f48d6d6bdf6b9d97e60106520b32b0616ae80c4d","observation_id":"893d7dca-b21c-40ec-a110-bfb0fd84a3a0","resolution":{"observed_at":"2026-08-10T22:27:52.171219Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T22:27:52.150396Z","title":"Reachability under state constraints-the ellipsoidal technique,","venue":null,"work_id":"986a37ec-511f-49ca-b28d-a29914b6ff83","year":2002},"citing_paper":{"arxiv_id":"2501.01831","last_updated":"2025-03-24T07:44:43Z","snapshot_observed_at":"2026-08-10T22:17:34.772987Z","submitted_at":"2025-01-03T14:32:17Z","title":"Emergency-Brake Simplex: Toward A Verifiably Safe Control-CPS Architecture for Abrupt Runtime Reachability Constraint Changes","version":3},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-10T22:27:51.723299Z"},"links":{"citing_paper":"/paper/2501.01831"},"observation_digest":"sha256:a79eea021135cdced51ebfb84d0f29216aaf15008efb33df529b6f342c4ea9b6","observation_id":"e58a4b1c-a4e7-41e2-ba46-996566e35d54","resolution":{"observed_at":"2026-08-10T22:27:52.155457Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T22:27:52.133176Z","title":"Safety verification of cyber-physical systems with reinforce- ment learning control,","venue":null,"work_id":"be90c94e-c482-489c-a669-d1ffe5b86824","year":2019},"citing_paper":{"arxiv_id":"2501.01831","last_updated":"2025-03-24T07:44:43Z","snapshot_observed_at":"2026-08-10T22:17:34.772987Z","submitted_at":"2025-01-03T14:32:17Z","title":"Emergency-Brake Simplex: Toward A Verifiably Safe Control-CPS Architecture for Abrupt Runtime Reachability Constraint Changes","version":3},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-10T22:27:51.728405Z"},"links":{"citing_paper":"/paper/2501.01831"},"observation_digest":"sha256:5e4ab83c078307116d5e8e1ba2b223105470c1d5a5eb740f5cbbd9b0bfc8e836","observation_id":"c06dd6ae-4707-4f37-998c-4c39db2f51e6","resolution":{"observed_at":"2026-08-10T22:27:52.139734Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T22:27:52.117816Z","title":"Reachability of linear time- invariant systems via ellipsoidal approximations,","venue":null,"work_id":"c85327da-1b5a-4730-b1ad-b4620228c1eb","year":2023},"citing_paper":{"arxiv_id":"2501.01831","last_updated":"2025-03-24T07:44:43Z","snapshot_observed_at":"2026-08-10T22:17:34.772987Z","submitted_at":"2025-01-03T14:32:17Z","title":"Emergency-Brake Simplex: Toward A Verifiably Safe Control-CPS Architecture for Abrupt Runtime Reachability Constraint Changes","version":3},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-10T22:27:51.733264Z"},"links":{"citing_paper":"/paper/2501.01831"},"observation_digest":"sha256:79efa53ac904e0335d1dbb0cf281a5e1782c24e449d8abae8bbeb4f430679207","observation_id":"e207cdae-433b-4c80-a7cb-e8a4c903b8ee","resolution":{"observed_at":"2026-08-10T22:27:52.122695Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T22:27:52.102123Z","title":"Safety verification for probabilistic hybrid systems,","venue":null,"work_id":"6c01c9ff-c5b7-40fe-b12b-22cb35b79b4a","year":2012},"citing_paper":{"arxiv_id":"2501.01831","last_updated":"2025-03-24T07:44:43Z","snapshot_observed_at":"2026-08-10T22:17:34.772987Z","submitted_at":"2025-01-03T14:32:17Z","title":"Emergency-Brake Simplex: Toward A Verifiably Safe Control-CPS Architecture for Abrupt Runtime Reachability Constraint Changes","version":3},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-10T22:27:51.739027Z"},"links":{"citing_paper":"/paper/2501.01831"},"observation_digest":"sha256:c0210b80550fcd264c36a998b2d87519f62101268ce8dbf1a8e45aae7674b062","observation_id":"ca6b5099-d478-460a-bb64-45a0589fb451","resolution":{"observed_at":"2026-08-10T22:27:52.107566Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T22:27:52.212623Z","title":"Using simplicity to control complexity,","venue":null,"work_id":"2544bef0-9e06-41f1-a8d3-1ef818674e24","year":2001},"citing_paper":{"arxiv_id":"2501.01831","last_updated":"2025-03-24T07:44:43Z","snapshot_observed_at":"2026-08-10T22:17:34.772987Z","submitted_at":"2025-01-03T14:32:17Z","title":"Emergency-Brake Simplex: Toward A Verifiably Safe Control-CPS Architecture for Abrupt Runtime Reachability Constraint Changes","version":3},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-10T22:27:51.744175Z"},"links":{"citing_paper":"/paper/2501.01831"},"observation_digest":"sha256:b595addfae08716d9e1110695e3a37ef53ab244c919def9aeabd4ca0cde468a0","observation_id":"2e2eea29-e7bf-4759-993e-9774bb56d632","resolution":{"observed_at":"2026-08-10T22:27:52.217398Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T22:27:52.086564Z","title":"Real-time reachability for verified simplex design,","venue":null,"work_id":"b66cb88e-6bed-4824-be25-f157e1427ce2","year":2014},"citing_paper":{"arxiv_id":"2501.01831","last_updated":"2025-03-24T07:44:43Z","snapshot_observed_at":"2026-08-10T22:17:34.772987Z","submitted_at":"2025-01-03T14:32:17Z","title":"Emergency-Brake Simplex: Toward A Verifiably Safe Control-CPS Architecture for Abrupt Runtime Reachability Constraint Changes","version":3},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-10T22:27:51.750039Z"},"links":{"citing_paper":"/paper/2501.01831"},"observation_digest":"sha256:a7950cf9f5cf1c4297ed32116d4cbeac547d5c4ada89a44a2624d2398f058e50","observation_id":"7562b455-9668-4e1b-a314-758afa9d1b40","resolution":{"observed_at":"2026-08-10T22:27:52.092002Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T22:27:52.068717Z","title":"A safe, secure, and predictable software architecture for deep learning in safety- critical systems,","venue":null,"work_id":"ee5ed49c-f161-4be9-bc84-7a842b3de64e","year":2019},"citing_paper":{"arxiv_id":"2501.01831","last_updated":"2025-03-24T07:44:43Z","snapshot_observed_at":"2026-08-10T22:17:34.772987Z","submitted_at":"2025-01-03T14:32:17Z","title":"Emergency-Brake Simplex: Toward A Verifiably Safe Control-CPS Architecture for Abrupt Runtime Reachability Constraint Changes","version":3},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-10T22:27:51.755464Z"},"links":{"citing_paper":"/paper/2501.01831"},"observation_digest":"sha256:f5a44f9ef52835aa454ee7cf1a52892af6baa19a465f6ed8fccdfc301d4614da","observation_id":"f6e85e5f-41da-4183-977a-e7a9e46eccde","resolution":{"observed_at":"2026-08-10T22:27:52.075141Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T22:27:52.052222Z","title":"An optimal control problem for a di fferential inclusion with state constraints. smooth approximations and necessary optimality conditions,","venue":null,"work_id":"ddd2b3b6-69b3-4fff-b616-c76be0131ff3","year":2001},"citing_paper":{"arxiv_id":"2501.01831","last_updated":"2025-03-24T07:44:43Z","snapshot_observed_at":"2026-08-10T22:17:34.772987Z","submitted_at":"2025-01-03T14:32:17Z","title":"Emergency-Brake Simplex: Toward A Verifiably Safe Control-CPS Architecture for Abrupt Runtime Reachability Constraint Changes","version":3},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-10T22:27:51.761142Z"},"links":{"citing_paper":"/paper/2501.01831"},"observation_digest":"sha256:c7193107daad5092321c843c48be0e96ee1025f1527c1a48b433ed1aa88eed7e","observation_id":"75a90db1-0f68-456e-b6af-497a81be0c88","resolution":{"observed_at":"2026-08-10T22:27:52.057477Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T22:27:52.035033Z","title":"On reachability analysis for nonlinear control systems with state constraints,","venue":null,"work_id":"4d895520-7a99-4362-acb2-81c34f2388b3","year":2015},"citing_paper":{"arxiv_id":"2501.01831","last_updated":"2025-03-24T07:44:43Z","snapshot_observed_at":"2026-08-10T22:17:34.772987Z","submitted_at":"2025-01-03T14:32:17Z","title":"Emergency-Brake Simplex: Toward A Verifiably Safe Control-CPS Architecture for Abrupt Runtime Reachability Constraint Changes","version":3},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-10T22:27:51.766511Z"},"links":{"citing_paper":"/paper/2501.01831"},"observation_digest":"sha256:334920e2eab589bf09d525ed2929658af0b3cf6f206589684f9e3274d66625fb","observation_id":"a58ed1bd-c2fa-4dd3-ba6d-e99383da6430","resolution":{"observed_at":"2026-08-10T22:27:52.040511Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T22:27:52.019573Z","title":"Online verification of automated road vehicles using reachability analysis,","venue":null,"work_id":"015f45dd-4c2b-44d9-b282-ad235b35b3be","year":2014},"citing_paper":{"arxiv_id":"2501.01831","last_updated":"2025-03-24T07:44:43Z","snapshot_observed_at":"2026-08-10T22:17:34.772987Z","submitted_at":"2025-01-03T14:32:17Z","title":"Emergency-Brake Simplex: Toward A Verifiably Safe Control-CPS Architecture for Abrupt Runtime Reachability Constraint Changes","version":3},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-10T22:27:51.771518Z"},"links":{"citing_paper":"/paper/2501.01831"},"observation_digest":"sha256:c52e022fae1405efd7aa96d845c7c42d5b4a6439a45c4e36e0e7b84d8ad09308","observation_id":"846e11c5-91d0-4b1c-aa34-ee4d489ddbce","resolution":{"observed_at":"2026-08-10T22:27:52.024509Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T22:27:52.001080Z","title":"Ensuring drivability of planned motions using formal methods,","venue":null,"work_id":"854f5a64-2d01-40e7-b2f7-ee460bb4541b","year":2017},"citing_paper":{"arxiv_id":"2501.01831","last_updated":"2025-03-24T07:44:43Z","snapshot_observed_at":"2026-08-10T22:17:34.772987Z","submitted_at":"2025-01-03T14:32:17Z","title":"Emergency-Brake Simplex: Toward A Verifiably Safe Control-CPS Architecture for Abrupt Runtime Reachability Constraint Changes","version":3},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-10T22:27:51.776650Z"},"links":{"citing_paper":"/paper/2501.01831"},"observation_digest":"sha256:f20f2f25ffccd5db3e83d3f890b088fc8140be45f1e073eda657a16c3cb4cd10","observation_id":"a021b8af-dbc3-4a2e-ab8e-acb45a3fbfda","resolution":{"observed_at":"2026-08-10T22:27:52.007176Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T22:27:51.983896Z","title":"Online safety verification of trajectories for unmanned flight with o ffline computed robust invariant sets,","venue":null,"work_id":"5e167a78-228c-4f38-b8a0-ede3e72fcede","year":2015},"citing_paper":{"arxiv_id":"2501.01831","last_updated":"2025-03-24T07:44:43Z","snapshot_observed_at":"2026-08-10T22:17:34.772987Z","submitted_at":"2025-01-03T14:32:17Z","title":"Emergency-Brake Simplex: Toward A Verifiably Safe Control-CPS Architecture for Abrupt Runtime Reachability Constraint Changes","version":3},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-10T22:27:51.781790Z"},"links":{"citing_paper":"/paper/2501.01831"},"observation_digest":"sha256:c3d6c9eff46008a7dacefbfa5d82bbfaa2980b7826869c70834065a9f61ff09c","observation_id":"eede0175-66c2-41b3-926f-bfd8fac512ed","resolution":{"observed_at":"2026-08-10T22:27:51.989031Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T22:27:51.966909Z","title":null,"venue":null,"work_id":"fd876dd0-e32a-460a-8308-9256b5d97f71","year":1985},"citing_paper":{"arxiv_id":"2501.01831","last_updated":"2025-03-24T07:44:43Z","snapshot_observed_at":"2026-08-10T22:17:34.772987Z","submitted_at":"2025-01-03T14:32:17Z","title":"Emergency-Brake Simplex: Toward A Verifiably Safe Control-CPS Architecture for Abrupt Runtime Reachability Constraint Changes","version":3},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-10T22:27:51.786520Z"},"links":{"citing_paper":"/paper/2501.01831"},"observation_digest":"sha256:07e2626976f9065655d1c1f2a8a774a32be533cd167e4a7d26ecdaaa75e431f6","observation_id":"4dc34c8c-d950-461f-91c6-6ac45e5bebce","resolution":{"observed_at":"2026-08-10T22:27:51.972236Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T22:27:51.949120Z","title":"Nonlinear programming,","venue":null,"work_id":"a44822e2-29c0-4443-83c4-1f511b061311","year":2013},"citing_paper":{"arxiv_id":"2501.01831","last_updated":"2025-03-24T07:44:43Z","snapshot_observed_at":"2026-08-10T22:17:34.772987Z","submitted_at":"2025-01-03T14:32:17Z","title":"Emergency-Brake Simplex: Toward A Verifiably Safe Control-CPS Architecture for Abrupt Runtime Reachability Constraint Changes","version":3},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-10T22:27:51.791832Z"},"links":{"citing_paper":"/paper/2501.01831"},"observation_digest":"sha256:cf3fa432b5d8242e8b135860773b59bc04481e4a089175ac84969378feeecc29","observation_id":"519cd7a5-c1ff-4321-804a-15991589f982","resolution":{"observed_at":"2026-08-10T22:27:51.954335Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T22:27:51.931555Z","title":"New versions of newton method: step- size choice, convergence domain and under-determined equations,","venue":null,"work_id":"5501aaa6-3506-4fe7-bd3a-71fda09bc51e","year":2020},"citing_paper":{"arxiv_id":"2501.01831","last_updated":"2025-03-24T07:44:43Z","snapshot_observed_at":"2026-08-10T22:17:34.772987Z","submitted_at":"2025-01-03T14:32:17Z","title":"Emergency-Brake Simplex: Toward A Verifiably Safe Control-CPS Architecture for Abrupt Runtime Reachability Constraint Changes","version":3},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-10T22:27:51.797124Z"},"links":{"citing_paper":"/paper/2501.01831"},"observation_digest":"sha256:0a7251c6bbcd68b4b4ecac6132cf76cb79a741d9591bbf8caab8a5872f6b253f","observation_id":"96f240d3-1e22-4cd1-8d8d-785c85fd0aae","resolution":{"observed_at":"2026-08-10T22:27:51.937605Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T22:27:51.910603Z","title":"On the convergence of the newton /log-barrier method,","venue":null,"work_id":"90bcc696-42de-4df8-af3e-605a6acf08eb","year":2001},"citing_paper":{"arxiv_id":"2501.01831","last_updated":"2025-03-24T07:44:43Z","snapshot_observed_at":"2026-08-10T22:17:34.772987Z","submitted_at":"2025-01-03T14:32:17Z","title":"Emergency-Brake Simplex: Toward A Verifiably Safe Control-CPS Architecture for Abrupt Runtime Reachability Constraint Changes","version":3},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-10T22:27:51.801791Z"},"links":{"citing_paper":"/paper/2501.01831"},"observation_digest":"sha256:dc2a9d8d092221f1b8a7b5f9be4e3de242c92f8076671f5dc52c368d79b057b2","observation_id":"fdea5468-f53c-415f-b281-ebac5cc0974e","resolution":{"observed_at":"2026-08-10T22:27:51.918754Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2110.01858","last_updated":"2021-10-05T07:50:37Z","snapshot_observed_at":"2026-08-09T09:05:20.963388Z","submitted_at":"2021-10-05T07:50:37Z","title":"KKT Conditions, First-Order and Second-Order Optimization, and Distributed Optimization: Tutorial and Survey","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2110.01858","snapshot_observed_at":"2026-08-10T22:27:51.806373Z","title":"Kkt conditions, first-order and second-order optimization, and distributed optimization: tutorial and survey,","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2501.01831","last_updated":"2025-03-24T07:44:43Z","snapshot_observed_at":"2026-08-10T22:17:34.772987Z","submitted_at":"2025-01-03T14:32:17Z","title":"Emergency-Brake Simplex: Toward A Verifiably Safe Control-CPS Architecture for Abrupt Runtime Reachability Constraint Changes","version":3},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-10T22:27:51.806373Z"},"links":{"cited_paper":"/paper/2110.01858","citing_paper":"/paper/2501.01831"},"observation_digest":"sha256:6cbb28c8fb30be765044e0c080c9a9d91f928bb7b1d04f23112a4d03d1f7eb3d","observation_id":"e11ba7b7-9358-4ed8-aa9f-9a4739e2f60b","resolution":{"observed_at":"2026-08-10T22:27:51.806373Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T22:27:51.812389Z","title":"Boyd and L","venue":null,"work_id":null,"year":2004},"citing_paper":{"arxiv_id":"2501.01831","last_updated":"2025-03-24T07:44:43Z","snapshot_observed_at":"2026-08-10T22:17:34.772987Z","submitted_at":"2025-01-03T14:32:17Z","title":"Emergency-Brake Simplex: Toward A Verifiably Safe Control-CPS Architecture for Abrupt Runtime Reachability Constraint Changes","version":3},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-10T22:27:51.812389Z"},"links":{"citing_paper":"/paper/2501.01831"},"observation_digest":"sha256:35872df8101455f806fabb18a04d2e3b8bf5a751658b500b87a52f9a66cb9235","observation_id":"4dae23a5-c702-4b63-a8cc-210eef79824d","resolution":{"observed_at":"2026-08-10T22:27:51.812389Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T22:27:51.817430Z","title":null,"venue":null,"work_id":null,"year":1994},"citing_paper":{"arxiv_id":"2501.01831","last_updated":"2025-03-24T07:44:43Z","snapshot_observed_at":"2026-08-10T22:17:34.772987Z","submitted_at":"2025-01-03T14:32:17Z","title":"Emergency-Brake Simplex: Toward A Verifiably Safe Control-CPS Architecture for Abrupt Runtime Reachability Constraint Changes","version":3},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-10T22:27:51.817430Z"},"links":{"citing_paper":"/paper/2501.01831"},"observation_digest":"sha256:95ba7346dc5bfb0e3aa23dae114af87ba3314198f69f9f8ca1c0034e6aded844","observation_id":"a813b233-e8a5-4c05-87af-7c39a6833ae6","resolution":{"observed_at":"2026-08-10T22:27:51.817430Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2501.01831","last_updated":"2025-03-24T07:44:43Z","latest_version":3,"primary_category":"eess.SY","snapshot_observed_at":"2026-08-10T22:17:34.772987Z","submitted_at":"2025-01-03T14:32:17Z","title":"Emergency-Brake Simplex: Toward A Verifiably Safe Control-CPS Architecture for Abrupt Runtime Reachability Constraint Changes"},"reference_resolution":{"displayed":25,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":6,"verified_exact":0,"verified_fuzzy":19},"total_outbound_references":25},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"thesis":"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."}