{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2023:HN25UX4OVJBIVQFN25K324FZDY","short_pith_number":"pith:HN25UX4O","schema_version":"1.0","canonical_sha256":"3b75da5f8eaa428ac0add755bd70b91e0a9797d044d9509360034bee6fe3acd8","source":{"kind":"arxiv","id":"2312.16719","version":1},"attestation_state":"computed","paper":{"title":"Advances in the Theory of Control Barrier Functions: Addressing Practical Challenges in Safe Control Synthesis for Autonomous and Robotic Systems","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.SY","eess.SY"],"primary_cat":"math.OC","authors_text":"Devansh Agrawal, Dimitra Panagou, Hardik Parwana, James Usevitch, Joseph Breeden, Kunal Garg, Mitchell Black","submitted_at":"2023-12-27T21:08:46Z","abstract_excerpt":"This tutorial paper presents recent work of the authors that extends the theory of Control Barrier Functions (CBFs) to address practical challenges in the synthesis of safe controllers for autonomous systems and robots. We present novel CBFs and methods that handle safety constraints (i) with time and input constraints under disturbances, (ii) with high-relative degree under disturbances and input constraints, and (iii) that are affected by adversarial inputs and sampled-data effects. We then present novel CBFs and adaptation methods that prevent loss of validity of the CBF, as well as methods"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"2312.16719","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.OC","submitted_at":"2023-12-27T21:08:46Z","cross_cats_sorted":["cs.SY","eess.SY"],"title_canon_sha256":"aa86f2305cca73b449ad1d2851a7a411066a45cb3f48b1ee025dd5617efcc07b","abstract_canon_sha256":"03ab8932b761a0b4c14784649f1131161be72b3def7e0a32f70dc6f4b409d5f1"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T07:28:34.346021Z","signature_b64":"UYLKo7LyiZFA55qvBcpTZoW/KVq8kn2Kj+v1cL1VcgWYtq/XpU71BYQ7QIyOtYuchfWjjzymSsJJnm+jnpO5AQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"3b75da5f8eaa428ac0add755bd70b91e0a9797d044d9509360034bee6fe3acd8","last_reissued_at":"2026-07-05T07:28:34.345460Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T07:28:34.345460Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Advances in the Theory of Control Barrier Functions: Addressing Practical Challenges in Safe Control Synthesis for Autonomous and Robotic Systems","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.SY","eess.SY"],"primary_cat":"math.OC","authors_text":"Devansh Agrawal, Dimitra Panagou, Hardik Parwana, James Usevitch, Joseph Breeden, Kunal Garg, Mitchell Black","submitted_at":"2023-12-27T21:08:46Z","abstract_excerpt":"This tutorial paper presents recent work of the authors that extends the theory of Control Barrier Functions (CBFs) to address practical challenges in the synthesis of safe controllers for autonomous systems and robots. We present novel CBFs and methods that handle safety constraints (i) with time and input constraints under disturbances, (ii) with high-relative degree under disturbances and input constraints, and (iii) that are affected by adversarial inputs and sampled-data effects. We then present novel CBFs and adaptation methods that prevent loss of validity of the CBF, as well as methods"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2312.16719","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2312.16719/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"aliases":[{"alias_kind":"arxiv","alias_value":"2312.16719","created_at":"2026-07-05T07:28:34.345513+00:00"},{"alias_kind":"arxiv_version","alias_value":"2312.16719v1","created_at":"2026-07-05T07:28:34.345513+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2312.16719","created_at":"2026-07-05T07:28:34.345513+00:00"},{"alias_kind":"pith_short_12","alias_value":"HN25UX4OVJBI","created_at":"2026-07-05T07:28:34.345513+00:00"},{"alias_kind":"pith_short_16","alias_value":"HN25UX4OVJBIVQFN","created_at":"2026-07-05T07:28:34.345513+00:00"},{"alias_kind":"pith_short_8","alias_value":"HN25UX4O","created_at":"2026-07-05T07:28:34.345513+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/HN25UX4OVJBIVQFN25K324FZDY","json":"https://pith.science/pith/HN25UX4OVJBIVQFN25K324FZDY.json","graph_json":"https://pith.science/api/pith-number/HN25UX4OVJBIVQFN25K324FZDY/graph.json","events_json":"https://pith.science/api/pith-number/HN25UX4OVJBIVQFN25K324FZDY/events.json","paper":"https://pith.science/paper/HN25UX4O"},"agent_actions":{"view_html":"https://pith.science/pith/HN25UX4OVJBIVQFN25K324FZDY","download_json":"https://pith.science/pith/HN25UX4OVJBIVQFN25K324FZDY.json","view_paper":"https://pith.science/paper/HN25UX4O","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2312.16719&json=true","fetch_graph":"https://pith.science/api/pith-number/HN25UX4OVJBIVQFN25K324FZDY/graph.json","fetch_events":"https://pith.science/api/pith-number/HN25UX4OVJBIVQFN25K324FZDY/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/HN25UX4OVJBIVQFN25K324FZDY/action/timestamp_anchor","attest_storage":"https://pith.science/pith/HN25UX4OVJBIVQFN25K324FZDY/action/storage_attestation","attest_author":"https://pith.science/pith/HN25UX4OVJBIVQFN25K324FZDY/action/author_attestation","sign_citation":"https://pith.science/pith/HN25UX4OVJBIVQFN25K324FZDY/action/citation_signature","submit_replication":"https://pith.science/pith/HN25UX4OVJBIVQFN25K324FZDY/action/replication_record"}},"created_at":"2026-07-05T07:28:34.345513+00:00","updated_at":"2026-07-05T07:28:34.345513+00:00"}