{"as_of":"2026-08-08T03:43:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:0df6f675807f61ff1c64759d63fea3cf4009a8f26951de1acf54adc2890b5986","coverage":[{"denominator":26,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":26,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-06T16:22:20.543202Z","state":"measured"},{"denominator":26,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":26,"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.13888/citation-record","integrity":"/paper/2507.13888/integrity","json":"/paper/2507.13888/citation-record.json","paper":"/paper/2507.13888"},"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:22:18.410598Z","title":"Constrained policy op- timization,","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2507.13888","last_updated":"2025-07-18T13:05:47Z","snapshot_observed_at":"2026-08-07T18:06:41.841120Z","submitted_at":"2025-07-18T13:05:47Z","title":"Fixed time convergence guarantees for Higher Order Control Barrier Functions","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-06T16:22:18.410598Z"},"links":{"citing_paper":"/paper/2507.13888"},"observation_digest":"sha256:ed3af2b64476518030bc535a57da4dda7e55f321b2da13a419060c2d833dbbc1","observation_id":"4ebee943-b3da-4d85-9eb6-675ab1db4125","resolution":{"observed_at":"2026-08-06T16:22:18.410598Z","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:22:18.462672Z","title":"Model-based safe deep reinforcement learning via a constrained proximal policy optimization algorithm,","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2507.13888","last_updated":"2025-07-18T13:05:47Z","snapshot_observed_at":"2026-08-07T18:06:41.841120Z","submitted_at":"2025-07-18T13:05:47Z","title":"Fixed time convergence guarantees for Higher Order Control Barrier Functions","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-06T16:22:18.462672Z"},"links":{"citing_paper":"/paper/2507.13888"},"observation_digest":"sha256:3b1a03897294a58b693424f87eeaa61a26f95768a757736a66741802c784bc80","observation_id":"bf33ac9d-a685-466b-b784-3ca543b7253c","resolution":{"observed_at":"2026-08-06T16:22:18.462672Z","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:22:18.519683Z","title":"Safe model-based reinforcement learning with stability guarantees,","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2507.13888","last_updated":"2025-07-18T13:05:47Z","snapshot_observed_at":"2026-08-07T18:06:41.841120Z","submitted_at":"2025-07-18T13:05:47Z","title":"Fixed time convergence guarantees for Higher Order Control Barrier Functions","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-06T16:22:18.519683Z"},"links":{"citing_paper":"/paper/2507.13888"},"observation_digest":"sha256:41ef0cd0cd509b18fde8a574149812132a4b0bfb55cf8f661e6e5e7e44dc85be","observation_id":"858af99f-da92-43cb-8670-ccd0eeefd79d","resolution":{"observed_at":"2026-08-06T16:22:18.519683Z","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:22:18.620398Z","title":"Hamilton-Jacobi reachability: A brief overview and recent advances,","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2507.13888","last_updated":"2025-07-18T13:05:47Z","snapshot_observed_at":"2026-08-07T18:06:41.841120Z","submitted_at":"2025-07-18T13:05:47Z","title":"Fixed time convergence guarantees for Higher Order Control Barrier Functions","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-06T16:22:18.620398Z"},"links":{"citing_paper":"/paper/2507.13888"},"observation_digest":"sha256:4d51ed7127a98c938300891672e1d143fdc1f698980b5302467a33e0cf198288","observation_id":"cb7b6fb1-7399-45e8-a7e1-26d5061d9d90","resolution":{"observed_at":"2026-08-06T16:22:18.620398Z","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:22:18.681683Z","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.13888","last_updated":"2025-07-18T13:05:47Z","snapshot_observed_at":"2026-08-07T18:06:41.841120Z","submitted_at":"2025-07-18T13:05:47Z","title":"Fixed time convergence guarantees for Higher Order Control Barrier Functions","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-06T16:22:18.681683Z"},"links":{"citing_paper":"/paper/2507.13888"},"observation_digest":"sha256:79a26552b400a152c9e6e0d95321f86f63acf8007f8b1c35be060e29ae82399a","observation_id":"7d08eec9-84ed-4617-af10-a763a4c57930","resolution":{"observed_at":"2026-08-06T16:22:18.681683Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2409.12616","last_updated":"2024-09-19T09:36:05Z","snapshot_observed_at":"2026-08-07T21:14:08.918118Z","submitted_at":"2024-09-19T09:36:05Z","title":"Semi-Supervised Safe Visuomotor Policy Synthesis using Barrier Certificates","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2409.12616","snapshot_observed_at":"2026-08-06T16:22:18.773247Z","title":"Semi-supervised safe visuomotor policy synthesis using barrier certificates,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.13888","last_updated":"2025-07-18T13:05:47Z","snapshot_observed_at":"2026-08-07T18:06:41.841120Z","submitted_at":"2025-07-18T13:05:47Z","title":"Fixed time convergence guarantees for Higher Order Control Barrier Functions","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-06T16:22:18.773247Z"},"links":{"cited_paper":"/paper/2409.12616","citing_paper":"/paper/2507.13888"},"observation_digest":"sha256:6df2d086cb751e6f3a2cfc91c68b4aad4593bb8937e17ce4492611e8825f6a58","observation_id":"e4ce5b1f-6b05-48c8-b0e6-cc26ab0f1773","resolution":{"observed_at":"2026-08-06T16:22:18.773247Z","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:22:18.865153Z","title":"Control barrier function based quadratic programs for safety critical systems,","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2507.13888","last_updated":"2025-07-18T13:05:47Z","snapshot_observed_at":"2026-08-07T18:06:41.841120Z","submitted_at":"2025-07-18T13:05:47Z","title":"Fixed time convergence guarantees for Higher Order Control Barrier Functions","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-06T16:22:18.865153Z"},"links":{"citing_paper":"/paper/2507.13888"},"observation_digest":"sha256:904fecc031e42fe363d40b7e160b4cf2d613221a7a020eb2b099e298e9347b9b","observation_id":"0c8ab818-a047-4264-85ee-b489ae860462","resolution":{"observed_at":"2026-08-06T16:22:18.865153Z","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:22:18.958434Z","title":"Control barrier functions: Theory and applications,","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2507.13888","last_updated":"2025-07-18T13:05:47Z","snapshot_observed_at":"2026-08-07T18:06:41.841120Z","submitted_at":"2025-07-18T13:05:47Z","title":"Fixed time convergence guarantees for Higher Order Control Barrier Functions","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-06T16:22:18.958434Z"},"links":{"citing_paper":"/paper/2507.13888"},"observation_digest":"sha256:b11970be35716c0d78cc17ae482e290080ca84af575d8a96278ad5cf5b057357","observation_id":"0d531e93-4efd-4e2a-b0a6-90e6cb015688","resolution":{"observed_at":"2026-08-06T16:22:18.958434Z","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:22:19.058231Z","title":"Safety-critical control of a planar quadrotor,","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2507.13888","last_updated":"2025-07-18T13:05:47Z","snapshot_observed_at":"2026-08-07T18:06:41.841120Z","submitted_at":"2025-07-18T13:05:47Z","title":"Fixed time convergence guarantees for Higher Order Control Barrier Functions","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-06T16:22:19.058231Z"},"links":{"citing_paper":"/paper/2507.13888"},"observation_digest":"sha256:a9bb8e76e2f518d8396f2eca2eaa3215dd9926984cda2d1c5923ea059732c0bd","observation_id":"ce605dfe-a9f5-43ac-9013-4f8d4263b9dd","resolution":{"observed_at":"2026-08-06T16:22:19.058231Z","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:22:19.187993Z","title":"Control barrier functions in dynamic uavs for kinematic obstacle avoidance: A col- lision cone approach,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.13888","last_updated":"2025-07-18T13:05:47Z","snapshot_observed_at":"2026-08-07T18:06:41.841120Z","submitted_at":"2025-07-18T13:05:47Z","title":"Fixed time convergence guarantees for Higher Order Control Barrier Functions","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-06T16:22:19.187993Z"},"links":{"citing_paper":"/paper/2507.13888"},"observation_digest":"sha256:9f1d3808d38d4f1d604783bb944db5aa867ada712f93c55bdb995cd9bb350583","observation_id":"527ffd2f-9d3d-4e3d-9b26-9f0163e12347","resolution":{"observed_at":"2026-08-06T16:22:19.187993Z","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:22:19.253014Z","title":"Safety-critical control for dy- namical bipedal walking with precise footstep placement,","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2507.13888","last_updated":"2025-07-18T13:05:47Z","snapshot_observed_at":"2026-08-07T18:06:41.841120Z","submitted_at":"2025-07-18T13:05:47Z","title":"Fixed time convergence guarantees for Higher Order Control Barrier Functions","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-06T16:22:19.253014Z"},"links":{"citing_paper":"/paper/2507.13888"},"observation_digest":"sha256:6a4a57e6e03be2e50dfe3bdb79c2dff23b8f670c8763045cb8971ef27e0e1f08","observation_id":"f1ccb40b-cafd-4919-84c9-ff39166f4b35","resolution":{"observed_at":"2026-08-06T16:22:19.253014Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2102.06787","last_updated":"2021-02-12T21:47:45Z","snapshot_observed_at":"2026-08-05T02:38:51.595251Z","submitted_at":"2021-02-12T21:47:45Z","title":"High Order Control Lyapunov-Barrier Functions for Temporal Logic Specifications","version":1},"cited_work":{"arxiv_id":"2102.06787","doi":null,"metadata_source":"pith","pith_arxiv_id":"2102.06787","snapshot_observed_at":"2026-08-06T16:22:21.232493Z","title":"High Order Control Lyapunov-Barrier Functions for Temporal Logic Specifications","venue":"eess.SY","work_id":"0e3ef1c0-ef4d-4b6c-b6fd-a02426d60684","year":2021},"citing_paper":{"arxiv_id":"2507.13888","last_updated":"2025-07-18T13:05:47Z","snapshot_observed_at":"2026-08-07T18:06:41.841120Z","submitted_at":"2025-07-18T13:05:47Z","title":"Fixed time convergence guarantees for Higher Order Control Barrier Functions","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-06T16:22:19.354597Z"},"links":{"cited_paper":"/paper/2102.06787","citing_paper":"/paper/2507.13888"},"observation_digest":"sha256:f5f32fe8b7e2a9e1a11927377340d5a319dd872c32752dc64fc813dfeb67d0ff","observation_id":"c29ed66a-2fd2-4f15-9e8c-4af7c1e20c6e","resolution":{"observed_at":"2026-08-06T16:22:21.439350Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T16:22:23.290297Z","title":"Exponential control barrier functions for enforcing high relative-degree safety-critical constraints,","venue":null,"work_id":"8173764a-3baf-4717-b6a0-fafab5aaf66e","year":2016},"citing_paper":{"arxiv_id":"2507.13888","last_updated":"2025-07-18T13:05:47Z","snapshot_observed_at":"2026-08-07T18:06:41.841120Z","submitted_at":"2025-07-18T13:05:47Z","title":"Fixed time convergence guarantees for Higher Order Control Barrier Functions","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-06T16:22:19.448317Z"},"links":{"citing_paper":"/paper/2507.13888"},"observation_digest":"sha256:ec287046f105ad5d58e100f4eab9a916ffe7c1682686340fdce474e6d11c4cc5","observation_id":"e01cc84a-19cd-4456-9e69-59f36cd43201","resolution":{"observed_at":"2026-08-06T16:22:23.293193Z","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":"1903.04706","last_updated":"2019-03-13T23:31:32Z","snapshot_observed_at":"2026-07-06T07:38:36.561289Z","submitted_at":"2019-03-12T02:52:16Z","title":"Control Barrier Functions for Systems with High Relative Degree","version":2},"cited_work":{"arxiv_id":"1903.04706","doi":null,"metadata_source":"pith","pith_arxiv_id":"1903.04706","snapshot_observed_at":"2026-08-06T16:22:20.712355Z","title":"Control Barrier Functions for Systems with High Relative Degree","venue":"cs.SY","work_id":"40db7948-0d7a-4104-97ae-657b2c5094c7","year":2019},"citing_paper":{"arxiv_id":"2507.13888","last_updated":"2025-07-18T13:05:47Z","snapshot_observed_at":"2026-08-07T18:06:41.841120Z","submitted_at":"2025-07-18T13:05:47Z","title":"Fixed time convergence guarantees for Higher Order Control Barrier Functions","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-06T16:22:19.540087Z"},"links":{"cited_paper":"/paper/1903.04706","citing_paper":"/paper/2507.13888"},"observation_digest":"sha256:4d3af7b4133f823953902f96db1598fcc1a5d1bb9e8cca35e8145da4934f7580","observation_id":"1e5880f3-88a4-46f6-aa40-649bde635bf8","resolution":{"observed_at":"2026-08-06T16:22:21.139432Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T16:22:23.253654Z","title":"Sufficient conditions for uniform asymptotic stability and input-to-state stability using high- order control barrier functions,","venue":null,"work_id":"fb0ae6be-e304-4998-8535-01cfc5c4b590","year":2024},"citing_paper":{"arxiv_id":"2507.13888","last_updated":"2025-07-18T13:05:47Z","snapshot_observed_at":"2026-08-07T18:06:41.841120Z","submitted_at":"2025-07-18T13:05:47Z","title":"Fixed time convergence guarantees for Higher Order Control Barrier Functions","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-06T16:22:19.634137Z"},"links":{"citing_paper":"/paper/2507.13888"},"observation_digest":"sha256:64e2a0fb728b1d68b01b9f0f5b68a2002ea8e9ba1b2fcf19bb74c6d484352f53","observation_id":"80719fa1-b5e9-4b0e-96f7-54e9b840244a","resolution":{"observed_at":"2026-08-06T16:22:23.283658Z","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:22:23.026172Z","title":"High-order control barrier function-based safety control of constrained robotic systems: An augmented dynamics approach,","venue":null,"work_id":"4b034c57-dbf1-408d-af22-88760510899a","year":2024},"citing_paper":{"arxiv_id":"2507.13888","last_updated":"2025-07-18T13:05:47Z","snapshot_observed_at":"2026-08-07T18:06:41.841120Z","submitted_at":"2025-07-18T13:05:47Z","title":"Fixed time convergence guarantees for Higher Order Control Barrier Functions","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-06T16:22:19.698864Z"},"links":{"citing_paper":"/paper/2507.13888"},"observation_digest":"sha256:47c633a74680a0d9072b20d4e7885d768f6fc0749fb0e7396ec29c2a3e619115","observation_id":"11a2d2ce-8431-45a8-9e9b-83943346eb19","resolution":{"observed_at":"2026-08-06T16:22:23.103568Z","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:22:22.803534Z","title":"Hocbf- based quadratic programs with application to safety-critical planning and control for overtake maneuver,","venue":null,"work_id":"342ec1f7-8ca7-47f2-9f7c-97421d6eb362","year":2024},"citing_paper":{"arxiv_id":"2507.13888","last_updated":"2025-07-18T13:05:47Z","snapshot_observed_at":"2026-08-07T18:06:41.841120Z","submitted_at":"2025-07-18T13:05:47Z","title":"Fixed time convergence guarantees for Higher Order Control Barrier Functions","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-06T16:22:19.792700Z"},"links":{"citing_paper":"/paper/2507.13888"},"observation_digest":"sha256:01a4c845491bd1122f85ddcb93fce7ee2dbecb61897c168120ff0ecad6800a91","observation_id":"74c902d8-db43-4f56-8097-1318f74632d6","resolution":{"observed_at":"2026-08-06T16:22:22.901958Z","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:22:22.587194Z","title":"A control barrier function based approach for safe and efficient navigation of unicycle mobile robots,","venue":null,"work_id":"20cebf5c-c677-4400-b747-c97dd6fbd1fd","year":2024},"citing_paper":{"arxiv_id":"2507.13888","last_updated":"2025-07-18T13:05:47Z","snapshot_observed_at":"2026-08-07T18:06:41.841120Z","submitted_at":"2025-07-18T13:05:47Z","title":"Fixed time convergence guarantees for Higher Order Control Barrier Functions","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-06T16:22:19.863371Z"},"links":{"citing_paper":"/paper/2507.13888"},"observation_digest":"sha256:7b0532c1455492df8b468eacf03adc6524a0a11a845d83d8797e3e5c19bb5371","observation_id":"cffe2fea-8f0b-443d-a081-86cefb757518","resolution":{"observed_at":"2026-08-06T16:22:22.691800Z","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:22:22.331799Z","title":"Finite-time stability for time-varying nonlinear dynamical systems,","venue":null,"work_id":"7e6162df-0aa5-4658-bd93-e8525d1c4b8c","year":2008},"citing_paper":{"arxiv_id":"2507.13888","last_updated":"2025-07-18T13:05:47Z","snapshot_observed_at":"2026-08-07T18:06:41.841120Z","submitted_at":"2025-07-18T13:05:47Z","title":"Fixed time convergence guarantees for Higher Order Control Barrier Functions","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-06T16:22:19.956083Z"},"links":{"citing_paper":"/paper/2507.13888"},"observation_digest":"sha256:26ff843bd1ca909833ac76fb3c00d728c1b9cd66edf194274f2e48ead01150a2","observation_id":"f2148376-cc0d-466e-9281-82e5fe04aada","resolution":{"observed_at":"2026-08-06T16:22:22.414616Z","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:22:22.138286Z","title":"Control of multi-agent systems with finite time control barrier certificates and temporal logic,","venue":null,"work_id":"064f9d0c-1e21-4162-8ab2-3ef8ab7fb074","year":2018},"citing_paper":{"arxiv_id":"2507.13888","last_updated":"2025-07-18T13:05:47Z","snapshot_observed_at":"2026-08-07T18:06:41.841120Z","submitted_at":"2025-07-18T13:05:47Z","title":"Fixed time convergence guarantees for Higher Order Control Barrier Functions","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-06T16:22:20.018780Z"},"links":{"citing_paper":"/paper/2507.13888"},"observation_digest":"sha256:71ddb6eb57f2379be541ea28fc2969ef930538eda0e8a4a923fcc3b9b28e83bf","observation_id":"a41d2b48-18d3-4873-a06a-5f0942de2874","resolution":{"observed_at":"2026-08-06T16:22:22.213658Z","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:22:20.092511Z","title":"Control-lyapunov and control-barrier functions based quadratic program for spatio-temporal specifications,","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2507.13888","last_updated":"2025-07-18T13:05:47Z","snapshot_observed_at":"2026-08-07T18:06:41.841120Z","submitted_at":"2025-07-18T13:05:47Z","title":"Fixed time convergence guarantees for Higher Order Control Barrier Functions","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-06T16:22:20.092511Z"},"links":{"citing_paper":"/paper/2507.13888"},"observation_digest":"sha256:6de065e39436f0c3c7a8534d90a4e6e06df77bcb12805fb1e4e1b569804e462c","observation_id":"ff712342-dd2a-4a84-b52e-81d126653c37","resolution":{"observed_at":"2026-08-06T16:22:20.092511Z","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:22:21.917011Z","title":"Robust control barrier and control lyapunov functions with fixed-time convergence guarantees,","venue":null,"work_id":"08841ee5-535c-4c2c-97f8-9c097a7923e5","year":2021},"citing_paper":{"arxiv_id":"2507.13888","last_updated":"2025-07-18T13:05:47Z","snapshot_observed_at":"2026-08-07T18:06:41.841120Z","submitted_at":"2025-07-18T13:05:47Z","title":"Fixed time convergence guarantees for Higher Order Control Barrier Functions","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-06T16:22:20.174538Z"},"links":{"citing_paper":"/paper/2507.13888"},"observation_digest":"sha256:b7b2c3a89af318f19a22a4e2da3c46ce50b05af358f86e46388e92f19e492422","observation_id":"9993a492-95b7-4428-92ea-440e5dda9346","resolution":{"observed_at":"2026-08-06T16:22:22.055858Z","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:22:21.699037Z","title":"Implicit fixed-time convergence iss safe control barrier functions for signal temporal logic tasks,","venue":null,"work_id":"db221706-9a51-40b2-a3d9-feb7314439b8","year":2022},"citing_paper":{"arxiv_id":"2507.13888","last_updated":"2025-07-18T13:05:47Z","snapshot_observed_at":"2026-08-07T18:06:41.841120Z","submitted_at":"2025-07-18T13:05:47Z","title":"Fixed time convergence guarantees for Higher Order Control Barrier Functions","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-06T16:22:20.272341Z"},"links":{"citing_paper":"/paper/2507.13888"},"observation_digest":"sha256:43a15ebcf95c6e69422128c5689a6bd743eeebd74c38ea08d09282c2c106c9f6","observation_id":"ec23d820-7213-4fc7-bf3e-ff3779bb5f1a","resolution":{"observed_at":"2026-08-06T16:22:21.779479Z","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:22:21.542979Z","title":"Control barrier functions for signal temporal logic tasks,","venue":null,"work_id":"8ac03253-7a2b-4ed4-8125-b1d9c4f1d6a1","year":2019},"citing_paper":{"arxiv_id":"2507.13888","last_updated":"2025-07-18T13:05:47Z","snapshot_observed_at":"2026-08-07T18:06:41.841120Z","submitted_at":"2025-07-18T13:05:47Z","title":"Fixed time convergence guarantees for Higher Order Control Barrier Functions","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-06T16:22:20.371381Z"},"links":{"citing_paper":"/paper/2507.13888"},"observation_digest":"sha256:31d666da4ff7f469ae3752d2c05a66d204758f1bf9b2c47c606dd387fe84a1f9","observation_id":"031869da-2ceb-4379-8fa1-27fe529ec122","resolution":{"observed_at":"2026-08-06T16:22:21.624292Z","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:22:20.467626Z","title":"Learning a formally verified control barrier function in stochastic environment,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.13888","last_updated":"2025-07-18T13:05:47Z","snapshot_observed_at":"2026-08-07T18:06:41.841120Z","submitted_at":"2025-07-18T13:05:47Z","title":"Fixed time convergence guarantees for Higher Order Control Barrier Functions","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-06T16:22:20.467626Z"},"links":{"citing_paper":"/paper/2507.13888"},"observation_digest":"sha256:714379b15301080421c6decb8a11dabf3cd9a9c8337203e7b0c8c1fdedf65f05","observation_id":"ca207b9b-332c-457b-ba7a-d4a079e4d93e","resolution":{"observed_at":"2026-08-06T16:22:20.467626Z","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:22:20.543202Z","title":"Cp-ncbf: A con- formal prediction-based approach to synthesize verified neural control barrier functions,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2507.13888","last_updated":"2025-07-18T13:05:47Z","snapshot_observed_at":"2026-08-07T18:06:41.841120Z","submitted_at":"2025-07-18T13:05:47Z","title":"Fixed time convergence guarantees for Higher Order Control Barrier Functions","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-06T16:22:20.543202Z"},"links":{"cited_paper":"/paper/2503.17395","citing_paper":"/paper/2507.13888"},"observation_digest":"sha256:72a50cc086717cd5d7d048790c5b0c3402edec44b88e5d0db132213830dc1c49","observation_id":"0a790eb1-8c69-4224-9b7c-daf4e63d8ebf","resolution":{"observed_at":"2026-08-06T16:22:20.543202Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2507.13888","last_updated":"2025-07-18T13:05:47Z","latest_version":1,"primary_category":"eess.SY","snapshot_observed_at":"2026-08-07T18:06:41.841120Z","submitted_at":"2025-07-18T13:05:47Z","title":"Fixed time convergence guarantees for Higher Order Control Barrier Functions"},"reference_resolution":{"displayed":26,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":14,"verified_exact":2,"verified_fuzzy":10},"total_outbound_references":26},"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 8 August 2026, this Paper Citation Record lists 26 of 26 outbound references and 0 inbound Pith citation observations for arXiv:2507.13888."}