{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2019:6D63363DYBMXK2IDO5OHCHBDZS","short_pith_number":"pith:6D63363D","schema_version":"1.0","canonical_sha256":"f0fdbdfb63c059756903775c711c23ccb2ffaeb9d82cb437acaea6addd8184c6","source":{"kind":"arxiv","id":"1903.04706","version":2},"attestation_state":"computed","paper":{"title":"Control Barrier Functions for Systems with High Relative Degree","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.RO"],"primary_cat":"cs.SY","authors_text":"Calin Belta, Wei Xiao","submitted_at":"2019-03-12T02:52:16Z","abstract_excerpt":"This paper extends control barrier functions (CBFs) to high order control barrier functions (HOCBFs) that can be used for high relative degree constraints. The proposed HOCBFs are more general than recently proposed (exponential) HOCBFs. We introduce high order barrier functions (HOBF), and show that their satisfaction of Lyapunov-like conditions implies the forward invariance of the intersection of a series of sets. We then introduce HOCBF, and show that any control input that satisfies the HOCBF constraints renders the intersection of a series of sets forward invariant. We formulate optimal "},"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":"1903.04706","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2019-03-12T02:52:16Z","cross_cats_sorted":["cs.RO"],"title_canon_sha256":"fbc20e3a29d609fc5404e7ffe597676fa8b62092ef814129b11837403b9a3b62","abstract_canon_sha256":"15eafc11ec703d32a2f6280483aa0024b955db978463b4bad991de351d0a1d4f"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:51:18.860038Z","signature_b64":"ngZ0+qsGPlogOKUQp3vzx6p7yqIPcY9spYytGyYcoUYE88uOzUh5LeovR8xBedOakTBL8lIx8GEXxAgSlSVCBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"f0fdbdfb63c059756903775c711c23ccb2ffaeb9d82cb437acaea6addd8184c6","last_reissued_at":"2026-05-17T23:51:18.859557Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:51:18.859557Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Control Barrier Functions for Systems with High Relative Degree","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.RO"],"primary_cat":"cs.SY","authors_text":"Calin Belta, Wei Xiao","submitted_at":"2019-03-12T02:52:16Z","abstract_excerpt":"This paper extends control barrier functions (CBFs) to high order control barrier functions (HOCBFs) that can be used for high relative degree constraints. The proposed HOCBFs are more general than recently proposed (exponential) HOCBFs. We introduce high order barrier functions (HOBF), and show that their satisfaction of Lyapunov-like conditions implies the forward invariance of the intersection of a series of sets. We then introduce HOCBF, and show that any control input that satisfies the HOCBF constraints renders the intersection of a series of sets forward invariant. We formulate optimal "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1903.04706","kind":"arxiv","version":2},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"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":"1903.04706","created_at":"2026-05-17T23:51:18.859630+00:00"},{"alias_kind":"arxiv_version","alias_value":"1903.04706v2","created_at":"2026-05-17T23:51:18.859630+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1903.04706","created_at":"2026-05-17T23:51:18.859630+00:00"},{"alias_kind":"pith_short_12","alias_value":"6D63363DYBMX","created_at":"2026-05-18T12:33:10.108867+00:00"},{"alias_kind":"pith_short_16","alias_value":"6D63363DYBMXK2ID","created_at":"2026-05-18T12:33:10.108867+00:00"},{"alias_kind":"pith_short_8","alias_value":"6D63363D","created_at":"2026-05-18T12:33:10.108867+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":1,"internal_anchor_count":1,"sample":[{"citing_arxiv_id":"2507.13888","citing_title":"Fixed time convergence guarantees for Higher Order Control Barrier Functions","ref_index":14,"is_internal_anchor":true}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/6D63363DYBMXK2IDO5OHCHBDZS","json":"https://pith.science/pith/6D63363DYBMXK2IDO5OHCHBDZS.json","graph_json":"https://pith.science/api/pith-number/6D63363DYBMXK2IDO5OHCHBDZS/graph.json","events_json":"https://pith.science/api/pith-number/6D63363DYBMXK2IDO5OHCHBDZS/events.json","paper":"https://pith.science/paper/6D63363D"},"agent_actions":{"view_html":"https://pith.science/pith/6D63363DYBMXK2IDO5OHCHBDZS","download_json":"https://pith.science/pith/6D63363DYBMXK2IDO5OHCHBDZS.json","view_paper":"https://pith.science/paper/6D63363D","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1903.04706&json=true","fetch_graph":"https://pith.science/api/pith-number/6D63363DYBMXK2IDO5OHCHBDZS/graph.json","fetch_events":"https://pith.science/api/pith-number/6D63363DYBMXK2IDO5OHCHBDZS/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/6D63363DYBMXK2IDO5OHCHBDZS/action/timestamp_anchor","attest_storage":"https://pith.science/pith/6D63363DYBMXK2IDO5OHCHBDZS/action/storage_attestation","attest_author":"https://pith.science/pith/6D63363DYBMXK2IDO5OHCHBDZS/action/author_attestation","sign_citation":"https://pith.science/pith/6D63363DYBMXK2IDO5OHCHBDZS/action/citation_signature","submit_replication":"https://pith.science/pith/6D63363DYBMXK2IDO5OHCHBDZS/action/replication_record"}},"created_at":"2026-05-17T23:51:18.859630+00:00","updated_at":"2026-05-17T23:51:18.859630+00:00"}