{"as_of":"2026-08-14T13:56:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:7b0f1edc2ee03ffef195183958c01008d8a48b050e50c16eeb5ebcf228a17053","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-14T06:32:32.682623+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-13T14:33:15.616132Z","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:9a8c1ccd795e0a55055d1965e887d8a83e11373c921dabc4cc3f816e37c34efb","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-13T14:33:15.616132Z","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:edd28cd2cbce4653764a5db06f4e2bdeb8b92b8993af32afbc030bf8e354037d","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-13T14:33:15.616132Z","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:15df288806b1e0201e0bb1431a7ea5c402ad114362c64c73df630d415dc59b23","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-13T14:33:15.616132Z","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:d51a07dd0160dc5efb9cb5d480039519101b221d1671e446d3d26ea220d12797","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-13T14:33:15.616132Z","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:c3f8c46d131696a761af15d4449478fda8774076a2f01064ca9e9722567bd172","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-12T22:41:51.490012Z","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-13T14:33:15.616132Z","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:10ee7b99016baf4fb60dbdc57a0d4134260b1029e323654f6e01c3acf36760df","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-13T14:33:15.616132Z","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:762c8b22c922de4fdefc806667ab1305434f3e78cee46e22c04f30fbe0081494","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-13T14:33:15.616132Z","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:c2fc3053f66c3e1f957f3b307e0e402765e85d21bf75606c0008875119e30774","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-13T14:33:15.616132Z","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:09f2afcaca542ae1f3e78266adfe05dafbe419412cd5c755b95593981f1717b0","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-13T14:33:15.616132Z","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:3c0f2aa60d9ac2206e5758dc11d2cd35a9f9d082a49cfe81daa17bb12f54fa70","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-13T14:33:15.616132Z","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:f0ef7825fb2f2c0f454baff50f7574bef6b73f4223428c99ba5272a24fead25d","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-13T20:15:02.824747Z","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-13T14:33:15.616132Z","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:313e3b577b6bf1fba7822261793571dafaf141f8043c0bed4049ae054df27348","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-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-13T14:33:15.616132Z","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:fc3368cb9e14d290dd8daf340588518f9472b089682b6403be0485285dd6007f","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-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-08-13T15:19:05.316654Z","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-13T14:33:15.616132Z","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:c99412638de92df5598769f4d509cb601e0edfccaca018ca0c48773cdd445e50","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-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-13T14:33:15.616132Z","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:f17a448f6167b01b321c347e426eccb07885e4b621dc1ecc9faf2a0a89be15a3","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-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-13T14:33:15.616132Z","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:f26050ccf0355bca884fb898451988293498417c5ecafb3391b1dd83d9a1a1ab","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-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-13T14:33:15.616132Z","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:9968b7cc9d88f20292a7e3a5697ad42b4f796754409049f9c8d4de3b32bcfa18","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-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-13T14:33:15.616132Z","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:422fe31f95aea4acc171b87b1a1ae77051b8ab4d3355b28afe4bae0f05f1582a","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-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-13T14:33:15.616132Z","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:42673e051bf98062d53e2cdc4a4ab71b612782b745bf484ea2df1c42e0dffca1","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-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-13T14:33:15.616132Z","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:37bb24ee0de188a8bb01d72107ef9c1d67569cf34db5e7ff2156bc646ee09b2e","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-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-13T14:33:15.616132Z","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:a2b2977ee5edd320c2a1b63a730f77ae0919ff01569ca568cfa34ff8db9e9cd1","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-13T14:33:15.616132Z","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:dc9dde868767f1786bada6f03a8f6bde170fae655c458d39a81d1ff305a9a1e1","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-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-13T14:33:15.616132Z","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:e9bffb2e7bb50fba9d015e49b2587d88fbbb2372039d674cb2fa0399ec5a6e6a","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-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-13T14:33:15.616132Z","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:5b1acd69b51b670845ea82aca496815410f119ecb0be60a284661995139cac07","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-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-13T14:33:15.616132Z","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:dc03d113fb802694139f27fb9cbfb47ecef20db0d620c89adcdb0edebfd17b73","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-13T14:33:15.616132Z","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:fd059d6d8d2756e2a31d6a6c53d078a0fab8779a49e48fb18ceb47889569da27","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-13T14:33:15.616132Z","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-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"thesis":"As of 14 August 2026, this Paper Citation Record lists 26 of 26 outbound references and 0 inbound Pith citation observations for arXiv:2507.13888."}