{"as_of":"2026-08-07T22:36:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:5b030588ff8e8af64e38f02361886439d6f2ba5c7a3b9f4e12eed2b7741ea54a","coverage":[{"denominator":27,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":27,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-06T16:23:10.202007Z","state":"measured"},{"denominator":27,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":27,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-07T06:34:17.273281+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/2507.13872/citation-record","integrity":"/paper/2507.13872/integrity","json":"/paper/2507.13872/citation-record.json","paper":"/paper/2507.13872"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T16:23:10.047120Z","title":"The safety filter: A unified view of safety-critical control in autonomous systems,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.13872","last_updated":"2025-07-18T12:50:47Z","snapshot_observed_at":"2026-08-06T16:12:10.423368Z","submitted_at":"2025-07-18T12:50:47Z","title":"Safe and Performant Controller Synthesis using Gradient-based Model Predictive Control and Control Barrier Functions","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-06T16:23:10.047120Z"},"links":{"citing_paper":"/paper/2507.13872"},"observation_digest":"sha256:08e7d4a5d598271b8e4a84905fa5b6bec11ca25de22289c9b57a1787f20837c0","observation_id":"4c7a0547-aac3-4f9c-b7af-8e673f4df294","resolution":{"observed_at":"2026-08-06T16:23:10.047120Z","resolver_source":null,"status":"malformed_identifier"},"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-06T16:23:10.054954Z","title":"Data-driven safety filters: Hamilton-jacobi reachability, control barrier functions, and predictive methods for uncertain systems,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2507.13872","last_updated":"2025-07-18T12:50:47Z","snapshot_observed_at":"2026-08-06T16:12:10.423368Z","submitted_at":"2025-07-18T12:50:47Z","title":"Safe and Performant Controller Synthesis using Gradient-based Model Predictive Control and Control Barrier Functions","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-06T16:23:10.054954Z"},"links":{"citing_paper":"/paper/2507.13872"},"observation_digest":"sha256:d5e306b77b8dd3b854925418fcec4ec95a801cb5631b59a70432405069705085","observation_id":"b31f6ac4-e884-4d72-b96f-a1c10b926251","resolution":{"observed_at":"2026-08-06T16:23:10.054954Z","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-06T16:23:10.060430Z","title":"Control barrier function based quadratic programs for safety critical systems,","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2507.13872","last_updated":"2025-07-18T12:50:47Z","snapshot_observed_at":"2026-08-06T16:12:10.423368Z","submitted_at":"2025-07-18T12:50:47Z","title":"Safe and Performant Controller Synthesis using Gradient-based Model Predictive Control and Control Barrier Functions","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-06T16:23:10.060430Z"},"links":{"citing_paper":"/paper/2507.13872"},"observation_digest":"sha256:ef46708324cd05b26338e355c879d04d443218f842e6aacd2b26860aa004b48a","observation_id":"c4e2ee66-77d8-4e8c-8cc5-96ae34e8ea7b","resolution":{"observed_at":"2026-08-06T16:23:10.060430Z","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-06T16:23:10.065668Z","title":"Hamilton-Jacobi reachability: A brief overview and recent advances,","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2507.13872","last_updated":"2025-07-18T12:50:47Z","snapshot_observed_at":"2026-08-06T16:12:10.423368Z","submitted_at":"2025-07-18T12:50:47Z","title":"Safe and Performant Controller Synthesis using Gradient-based Model Predictive Control and Control Barrier Functions","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-06T16:23:10.065668Z"},"links":{"citing_paper":"/paper/2507.13872"},"observation_digest":"sha256:d6de205ea308c25fdae6cdd3b18db3b24cad1f5ab2b8e4cd6a381a8f1b739484","observation_id":"ff9014ae-2719-4b79-9d0e-d82c95cf4626","resolution":{"observed_at":"2026-08-06T16:23:10.065668Z","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-06T16:23:10.936682Z","title":"On safety and liveness filtering using hamilton–jacobi reachability analysis,","venue":null,"work_id":"8fdc1568-b67b-4a7a-9054-433794e891b0","year":2024},"citing_paper":{"arxiv_id":"2507.13872","last_updated":"2025-07-18T12:50:47Z","snapshot_observed_at":"2026-08-06T16:12:10.423368Z","submitted_at":"2025-07-18T12:50:47Z","title":"Safe and Performant Controller Synthesis using Gradient-based Model Predictive Control and Control Barrier Functions","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-06T16:23:10.076476Z"},"links":{"citing_paper":"/paper/2507.13872"},"observation_digest":"sha256:0c607055782ad0ffcbafc18174820742a3709dc1dd54f7e7ec99e68aedbe1d2a","observation_id":"289c4278-f866-4420-80d7-97f7a2ddf6e4","resolution":{"observed_at":"2026-08-06T16:23:10.942612Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T16:23:10.911123Z","title":"A general hamilton- jacobi framework for non-linear state-constrained control problems,","venue":null,"work_id":"a909f61a-c15c-4e94-a231-cd01cd5ffd89","year":2013},"citing_paper":{"arxiv_id":"2507.13872","last_updated":"2025-07-18T12:50:47Z","snapshot_observed_at":"2026-08-06T16:12:10.423368Z","submitted_at":"2025-07-18T12:50:47Z","title":"Safe and Performant Controller Synthesis using Gradient-based Model Predictive Control and Control Barrier Functions","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-06T16:23:10.083851Z"},"links":{"citing_paper":"/paper/2507.13872"},"observation_digest":"sha256:181b5633496489f74478e2f5643285d674cafa17590445dcbcfac441359748e0","observation_id":"d3eddc4f-9f1d-425e-b619-709037f43071","resolution":{"observed_at":"2026-08-06T16:23:10.921997Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T16:23:10.889069Z","title":"Cooptimizing safety and performance with a control-constrained formulation,","venue":null,"work_id":"4c9eaddb-e03b-4d2a-8429-418f6e9e19c5","year":2024},"citing_paper":{"arxiv_id":"2507.13872","last_updated":"2025-07-18T12:50:47Z","snapshot_observed_at":"2026-08-06T16:12:10.423368Z","submitted_at":"2025-07-18T12:50:47Z","title":"Safe and Performant Controller Synthesis using Gradient-based Model Predictive Control and Control Barrier Functions","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-06T16:23:10.089935Z"},"links":{"citing_paper":"/paper/2507.13872"},"observation_digest":"sha256:d711a7b79e07b243c0334adb53c5ec7c3a7f74a72e06996323f1f46d8d7e0c53","observation_id":"6134f619-f522-470f-bd43-139968b5b473","resolution":{"observed_at":"2026-08-06T16:23:10.897724Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2506.23346","last_updated":"2025-06-29T17:41:37Z","snapshot_observed_at":"2026-08-06T21:42:43.686811Z","submitted_at":"2025-06-29T17:41:37Z","title":"Safe and Performant Deployment of Autonomous Systems via Model Predictive Control and Hamilton-Jacobi Reachability Analysis","version":1},"cited_work":{"arxiv_id":"2506.23346","doi":null,"metadata_source":"pith","pith_arxiv_id":"2506.23346","snapshot_observed_at":"2026-08-06T16:23:10.589481Z","title":"Safe and Performant Deployment of Autonomous Systems via Model Predictive Control and Hamilton-Jacobi Reachability Analysis","venue":"cs.RO","work_id":"efc050d8-4ca2-48a8-8fa4-d2e4fe658bd6","year":2025},"citing_paper":{"arxiv_id":"2507.13872","last_updated":"2025-07-18T12:50:47Z","snapshot_observed_at":"2026-08-06T16:12:10.423368Z","submitted_at":"2025-07-18T12:50:47Z","title":"Safe and Performant Controller Synthesis using Gradient-based Model Predictive Control and Control Barrier Functions","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-06T16:23:10.097683Z"},"links":{"cited_paper":"/paper/2506.23346","citing_paper":"/paper/2507.13872"},"observation_digest":"sha256:9dba854fc5add9244b1e4cc353b32e53e317272715b864478fca9b6b00c8d2e5","observation_id":"ac4ce7d1-724d-4816-8e46-40c16c4bec2f","resolution":{"observed_at":"2026-08-06T16:23:10.595755Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2010.14603","last_updated":"2020-10-27T20:53:20Z","snapshot_observed_at":"2026-07-06T10:09:10.434213Z","submitted_at":"2020-10-27T20:53:20Z","title":"Learning to be Safe: Deep RL with a Safety Critic","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2010.14603","snapshot_observed_at":"2026-08-06T16:23:10.103277Z","title":"Learning to be safe: Deep rl with a safety critic,","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2507.13872","last_updated":"2025-07-18T12:50:47Z","snapshot_observed_at":"2026-08-06T16:12:10.423368Z","submitted_at":"2025-07-18T12:50:47Z","title":"Safe and Performant Controller Synthesis using Gradient-based Model Predictive Control and Control Barrier Functions","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-06T16:23:10.103277Z"},"links":{"cited_paper":"/paper/2010.14603","citing_paper":"/paper/2507.13872"},"observation_digest":"sha256:cab401fc1cc59c2f965e85d20e9d1d38360a71671cef6aa5ffa7272fa779fc38","observation_id":"5b7fbe78-aa9b-495a-bb71-aa86796ca936","resolution":{"observed_at":"2026-08-06T16:23:10.103277Z","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-06T16:23:10.868227Z","title":"Model-predictive control via cross-entropy and gradient-based optimization,","venue":null,"work_id":"a8398526-4fbc-47b8-9e74-5353eab0b3b7","year":2020},"citing_paper":{"arxiv_id":"2507.13872","last_updated":"2025-07-18T12:50:47Z","snapshot_observed_at":"2026-08-06T16:12:10.423368Z","submitted_at":"2025-07-18T12:50:47Z","title":"Safe and Performant Controller Synthesis using Gradient-based Model Predictive Control and Control Barrier Functions","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-06T16:23:10.109177Z"},"links":{"citing_paper":"/paper/2507.13872"},"observation_digest":"sha256:42be56480be480664b5c9c0d5e74c9acb30f55c646e130d9812d538f3de1af5a","observation_id":"dd7aa1f0-6c11-4578-9b4a-4fe2c74b6873","resolution":{"observed_at":"2026-08-06T16:23:10.873940Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T16:23:10.849894Z","title":"The gradient-based nonlinear model predictive control software grampc,","venue":null,"work_id":"02d8bb22-932e-48c8-9d34-01917b1b5f3f","year":2014},"citing_paper":{"arxiv_id":"2507.13872","last_updated":"2025-07-18T12:50:47Z","snapshot_observed_at":"2026-08-06T16:12:10.423368Z","submitted_at":"2025-07-18T12:50:47Z","title":"Safe and Performant Controller Synthesis using Gradient-based Model Predictive Control and Control Barrier Functions","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-06T16:23:10.114201Z"},"links":{"citing_paper":"/paper/2507.13872"},"observation_digest":"sha256:9913c6da05dacec42ea5862f0acd561bef24f6aad774910139909cb418424d39","observation_id":"0b649e9a-1ce5-4c30-8949-ca243109f1ab","resolution":{"observed_at":"2026-08-06T16:23:10.855131Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T16:23:10.830686Z","title":"Real-time projected gradient-based nonlinear model predictive control with an application to anesthesia control,","venue":null,"work_id":"92a4fc33-8bee-426a-9e30-59ae0ae880de","year":2022},"citing_paper":{"arxiv_id":"2507.13872","last_updated":"2025-07-18T12:50:47Z","snapshot_observed_at":"2026-08-06T16:12:10.423368Z","submitted_at":"2025-07-18T12:50:47Z","title":"Safe and Performant Controller Synthesis using Gradient-based Model Predictive Control and Control Barrier Functions","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-06T16:23:10.119508Z"},"links":{"citing_paper":"/paper/2507.13872"},"observation_digest":"sha256:ca159beffb4e2a5b6e54fd7405fd8547abe2bf1b59fec87447db5b4b49d4fabf","observation_id":"6fe3388f-cb0a-4738-bdbf-8df8ca050dea","resolution":{"observed_at":"2026-08-06T16:23:10.836567Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T16:23:10.808207Z","title":"Information-theoretic model predictive control: Theory and applica- tions to autonomous driving,","venue":null,"work_id":"2a0de77d-c57d-4b98-a99e-d938b4c502ff","year":2018},"citing_paper":{"arxiv_id":"2507.13872","last_updated":"2025-07-18T12:50:47Z","snapshot_observed_at":"2026-08-06T16:12:10.423368Z","submitted_at":"2025-07-18T12:50:47Z","title":"Safe and Performant Controller Synthesis using Gradient-based Model Predictive Control and Control Barrier Functions","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-06T16:23:10.126603Z"},"links":{"citing_paper":"/paper/2507.13872"},"observation_digest":"sha256:6a5eb4e33f9afd8f2f70f3bfb2332ff6885810b29b869bbd7098f2f567f5640e","observation_id":"bf7d28ec-a00e-483c-8a9d-e0c02f21d199","resolution":{"observed_at":"2026-08-06T16:23:10.816732Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T16:23:10.135879Z","title":"Multi-agent path integral control for interaction-aware motion planning in urban canals,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2507.13872","last_updated":"2025-07-18T12:50:47Z","snapshot_observed_at":"2026-08-06T16:12:10.423368Z","submitted_at":"2025-07-18T12:50:47Z","title":"Safe and Performant Controller Synthesis using Gradient-based Model Predictive Control and Control Barrier Functions","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-06T16:23:10.135879Z"},"links":{"citing_paper":"/paper/2507.13872"},"observation_digest":"sha256:48daf7962f6e4d75c84e2f66e469da87c9e7bf3058d2ed22313c24eb09e29946","observation_id":"db5beb29-256a-4507-b8a2-c66593aab4e0","resolution":{"observed_at":"2026-08-06T16:23:10.135879Z","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-06T16:23:10.775023Z","title":"Semi-supervised safe visuomotor policy synthesis using barrier certificates,","venue":null,"work_id":"dfc0e7ad-b77f-4ba5-b5f5-ab68d363b6ba","year":2025},"citing_paper":{"arxiv_id":"2507.13872","last_updated":"2025-07-18T12:50:47Z","snapshot_observed_at":"2026-08-06T16:12:10.423368Z","submitted_at":"2025-07-18T12:50:47Z","title":"Safe and Performant Controller Synthesis using Gradient-based Model Predictive Control and Control Barrier Functions","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-06T16:23:10.141480Z"},"links":{"citing_paper":"/paper/2507.13872"},"observation_digest":"sha256:89d5edcb49c1a49b265b1feb33bb1f48a495caf137ca982b113397fdc449480b","observation_id":"31333980-8e76-47ee-89b8-155eeddad9d1","resolution":{"observed_at":"2026-08-06T16:23:10.780321Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2404.00814","last_updated":"2025-05-09T12:37:51Z","snapshot_observed_at":"2026-07-06T17:53:48.072712Z","submitted_at":"2024-03-31T22:17:19Z","title":"Exact Imposition of Safety Boundary Conditions in Neural Reachable Tubes","version":3},"cited_work":{"arxiv_id":"2404.00814","doi":null,"metadata_source":"pith","pith_arxiv_id":"2404.00814","snapshot_observed_at":"2026-08-06T16:23:10.518986Z","title":"Exact Imposition of Safety Boundary Conditions in Neural Reachable Tubes","venue":"cs.RO","work_id":"4670fb3c-0ed0-45e0-9eb1-6d9a1380b359","year":2024},"citing_paper":{"arxiv_id":"2507.13872","last_updated":"2025-07-18T12:50:47Z","snapshot_observed_at":"2026-08-06T16:12:10.423368Z","submitted_at":"2025-07-18T12:50:47Z","title":"Safe and Performant Controller Synthesis using Gradient-based Model Predictive Control and Control Barrier Functions","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-06T16:23:10.147541Z"},"links":{"cited_paper":"/paper/2404.00814","citing_paper":"/paper/2507.13872"},"observation_digest":"sha256:404821e1fcfb1622e50001c84200a328c72c5442397479f11db84878116d7724","observation_id":"9784ce8e-0a3c-4e26-88ff-e3c6f5d7040e","resolution":{"observed_at":"2026-08-06T16:23:10.529972Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T16:23:10.153285Z","title":"A physics- informed machine learning framework for safe and optimal control of autonomous systems,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2507.13872","last_updated":"2025-07-18T12:50:47Z","snapshot_observed_at":"2026-08-06T16:12:10.423368Z","submitted_at":"2025-07-18T12:50:47Z","title":"Safe and Performant Controller Synthesis using Gradient-based Model Predictive Control and Control Barrier Functions","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-06T16:23:10.153285Z"},"links":{"citing_paper":"/paper/2507.13872"},"observation_digest":"sha256:dab24877f807be3a0861246f16addce3ce839df060fa93200c439537c4528894","observation_id":"7dc23332-c921-496e-87d4-1bf3e2ca7ff5","resolution":{"observed_at":"2026-08-06T16:23:10.153285Z","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-06T16:23:10.160204Z","title":"Formal synthesis of stochastic systems via control barrier certificates,","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2507.13872","last_updated":"2025-07-18T12:50:47Z","snapshot_observed_at":"2026-08-06T16:12:10.423368Z","submitted_at":"2025-07-18T12:50:47Z","title":"Safe and Performant Controller Synthesis using Gradient-based Model Predictive Control and Control Barrier Functions","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-06T16:23:10.160204Z"},"links":{"citing_paper":"/paper/2507.13872"},"observation_digest":"sha256:750d5ec420ad31345f450ad793c81442142704a0da26bc029507dfa6f0f529d7","observation_id":"19d437e4-d4c1-4c1d-8f5a-591cf67cd0e1","resolution":{"observed_at":"2026-08-06T16:23:10.160204Z","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-06T16:23:10.165438Z","title":"Updating quasi-newton matrices with limited storage,","venue":null,"work_id":null,"year":1980},"citing_paper":{"arxiv_id":"2507.13872","last_updated":"2025-07-18T12:50:47Z","snapshot_observed_at":"2026-08-06T16:12:10.423368Z","submitted_at":"2025-07-18T12:50:47Z","title":"Safe and Performant Controller Synthesis using Gradient-based Model Predictive Control and Control Barrier Functions","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-06T16:23:10.165438Z"},"links":{"citing_paper":"/paper/2507.13872"},"observation_digest":"sha256:094b248b4b688e3a6d12d6900a182e1a019a2bffd8e429279bf270bc65aa3b0e","observation_id":"29d6f10d-f9ab-4e94-8671-249134bedff0","resolution":{"observed_at":"2026-08-06T16:23:10.165438Z","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-06T16:23:10.711986Z","title":"Control barrier function based quadratic programs with application to adaptive cruise control,","venue":null,"work_id":"3520d62a-4d01-4ed3-b27f-1bcde47d6110","year":2014},"citing_paper":{"arxiv_id":"2507.13872","last_updated":"2025-07-18T12:50:47Z","snapshot_observed_at":"2026-08-06T16:12:10.423368Z","submitted_at":"2025-07-18T12:50:47Z","title":"Safe and Performant Controller Synthesis using Gradient-based Model Predictive Control and Control Barrier Functions","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-06T16:23:10.169647Z"},"links":{"citing_paper":"/paper/2507.13872"},"observation_digest":"sha256:9e60fa6a38ac2e98522cbeb220fc44a1a74b8033bc263384fc9dde0131e858ae","observation_id":"cd3655be-af73-4648-adcb-e241f3e1b35f","resolution":{"observed_at":"2026-08-06T16:23:10.722207Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T16:23:10.174866Z","title":"Control barrier functions: Theory and applications,","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2507.13872","last_updated":"2025-07-18T12:50:47Z","snapshot_observed_at":"2026-08-06T16:12:10.423368Z","submitted_at":"2025-07-18T12:50:47Z","title":"Safe and Performant Controller Synthesis using Gradient-based Model Predictive Control and Control Barrier Functions","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-06T16:23:10.174866Z"},"links":{"citing_paper":"/paper/2507.13872"},"observation_digest":"sha256:dad341d8bc9246bfd6831b3947862df9fd7b92d852722bce2f8903f6dd50e6dc","observation_id":"c29c0e6e-7ce5-4d9a-9b4d-d0454147bbf6","resolution":{"observed_at":"2026-08-06T16:23:10.174866Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2410.02154","last_updated":"2024-10-03T02:34:26Z","snapshot_observed_at":"2026-08-05T14:52:36.385905Z","submitted_at":"2024-10-03T02:34:26Z","title":"Guaranteed-Safe MPPI Through Composite Control Barrier Functions for Efficient Sampling in Multi-Constrained Robotic Systems","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2410.02154","snapshot_observed_at":"2026-08-06T16:23:10.179051Z","title":"Guaranteed-safe mppi through composite control barrier functions for efficient sampling in multi-constrained robotic systems,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.13872","last_updated":"2025-07-18T12:50:47Z","snapshot_observed_at":"2026-08-06T16:12:10.423368Z","submitted_at":"2025-07-18T12:50:47Z","title":"Safe and Performant Controller Synthesis using Gradient-based Model Predictive Control and Control Barrier Functions","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-06T16:23:10.179051Z"},"links":{"cited_paper":"/paper/2410.02154","citing_paper":"/paper/2507.13872"},"observation_digest":"sha256:f293aa56c7082bc7e90d1cfbcc952da625acb09df7682086688377e2a485b95b","observation_id":"e3a020c5-dcd1-46a8-b06f-522070a8509a","resolution":{"observed_at":"2026-08-06T16:23:10.179051Z","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-06T16:23:10.665689Z","title":"High-order control barrier functions,","venue":null,"work_id":"68d4b325-a95a-425a-9db6-ed0e24b0e84b","year":2022},"citing_paper":{"arxiv_id":"2507.13872","last_updated":"2025-07-18T12:50:47Z","snapshot_observed_at":"2026-08-06T16:12:10.423368Z","submitted_at":"2025-07-18T12:50:47Z","title":"Safe and Performant Controller Synthesis using Gradient-based Model Predictive Control and Control Barrier Functions","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-06T16:23:10.184395Z"},"links":{"citing_paper":"/paper/2507.13872"},"observation_digest":"sha256:81f0f7c224416f75305c63d1d47b5741884a191f30b7504890b7d16c8bb44509","observation_id":"f4cd1b05-5f2d-4ead-81c1-33f5ff6dc678","resolution":{"observed_at":"2026-08-06T16:23:10.671953Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T16:23:10.646074Z","title":"Control barrier functions for systems with high relative degree,","venue":null,"work_id":"5fb0125b-cc4d-4b33-85cf-b29599d07e00","year":2019},"citing_paper":{"arxiv_id":"2507.13872","last_updated":"2025-07-18T12:50:47Z","snapshot_observed_at":"2026-08-06T16:12:10.423368Z","submitted_at":"2025-07-18T12:50:47Z","title":"Safe and Performant Controller Synthesis using Gradient-based Model Predictive Control and Control Barrier Functions","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-06T16:23:10.188984Z"},"links":{"citing_paper":"/paper/2507.13872"},"observation_digest":"sha256:d9a259a5215c096498661d3053b112bb85973d8cc29027fe35c681cc82990655","observation_id":"cddd023f-760b-407d-bfb2-0f886c33fb43","resolution":{"observed_at":"2026-08-06T16:23:10.654166Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T16:23:10.193170Z","title":"Safety-critical control of a planar quadrotor,","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2507.13872","last_updated":"2025-07-18T12:50:47Z","snapshot_observed_at":"2026-08-06T16:12:10.423368Z","submitted_at":"2025-07-18T12:50:47Z","title":"Safe and Performant Controller Synthesis using Gradient-based Model Predictive Control and Control Barrier Functions","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-06T16:23:10.193170Z"},"links":{"citing_paper":"/paper/2507.13872"},"observation_digest":"sha256:ee54e3aedeb86fcdb2d9a83db325caf84970ed6c3030114ed22c1d8374e418e4","observation_id":"0e7cdd10-387b-4cf9-8de5-b5d8b6a91675","resolution":{"observed_at":"2026-08-06T16:23:10.193170Z","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-06T16:23:10.197435Z","title":"Learning a formally verified control barrier function in stochastic environment,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.13872","last_updated":"2025-07-18T12:50:47Z","snapshot_observed_at":"2026-08-06T16:12:10.423368Z","submitted_at":"2025-07-18T12:50:47Z","title":"Safe and Performant Controller Synthesis using Gradient-based Model Predictive Control and Control Barrier Functions","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-06T16:23:10.197435Z"},"links":{"citing_paper":"/paper/2507.13872"},"observation_digest":"sha256:b94597713c69bf9e12b8f0eadf8211ecfabea453469194178f93caccd81a5ba4","observation_id":"8774ed07-1dac-4af6-aa37-c0a23e73d963","resolution":{"observed_at":"2026-08-06T16:23:10.197435Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2503.17395","last_updated":"2025-05-17T13:16:54Z","snapshot_observed_at":"2026-08-07T16:55:23.968596Z","submitted_at":"2025-03-18T10:01:06Z","title":"CP-NCBF: A Conformal Prediction-based Approach to Synthesize Verified Neural Control Barrier Functions","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2503.17395","snapshot_observed_at":"2026-08-06T16:23:10.202007Z","title":"Cp-ncbf: A conformal prediction-based approach to synthesize verified neural control barrier functions,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2507.13872","last_updated":"2025-07-18T12:50:47Z","snapshot_observed_at":"2026-08-06T16:12:10.423368Z","submitted_at":"2025-07-18T12:50:47Z","title":"Safe and Performant Controller Synthesis using Gradient-based Model Predictive Control and Control Barrier Functions","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-06T16:23:10.202007Z"},"links":{"cited_paper":"/paper/2503.17395","citing_paper":"/paper/2507.13872"},"observation_digest":"sha256:ca9f18641063e9788a380a180bc63a585b4402b3cc34caf15a76c4037224b523","observation_id":"4dea168a-1db1-4728-bb88-2356db8e612c","resolution":{"observed_at":"2026-08-06T16:23:10.202007Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2507.13872","last_updated":"2025-07-18T12:50:47Z","latest_version":1,"primary_category":"eess.SY","snapshot_observed_at":"2026-08-06T16:12:10.423368Z","submitted_at":"2025-07-18T12:50:47Z","title":"Safe and Performant Controller Synthesis using Gradient-based Model Predictive Control and Control Barrier Functions"},"reference_resolution":{"displayed":27,"state_counts":{"malformed_identifier":1,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":13,"verified_exact":2,"verified_fuzzy":11},"total_outbound_references":27},"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-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"thesis":"As of 7 August 2026, this Paper Citation Record lists 27 of 27 outbound references and 0 inbound Pith citation observations for arXiv:2507.13872."}