{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2021:F7ZF7AZXZ2UVKK4LUNTTDDXQG6","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"74ca93005812ab85f329b5d10a866be97f8c98f8610cb2b850887094dba72399","cross_cats_sorted":["cs.RO","cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2021-02-12T21:47:45Z","title_canon_sha256":"097706262df315df8b96e28b31c6b612d5c30d51d8234dcd804a10e1e9315668"},"schema_version":"1.0","source":{"id":"2102.06787","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2102.06787","created_at":"2026-07-05T02:14:58Z"},{"alias_kind":"arxiv_version","alias_value":"2102.06787v1","created_at":"2026-07-05T02:14:58Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2102.06787","created_at":"2026-07-05T02:14:58Z"},{"alias_kind":"pith_short_12","alias_value":"F7ZF7AZXZ2UV","created_at":"2026-07-05T02:14:58Z"},{"alias_kind":"pith_short_16","alias_value":"F7ZF7AZXZ2UVKK4L","created_at":"2026-07-05T02:14:58Z"},{"alias_kind":"pith_short_8","alias_value":"F7ZF7AZX","created_at":"2026-07-05T02:14:58Z"}],"graph_snapshots":[{"event_id":"sha256:4391a03e9efc592ef6ff86aa9243ed2e51ad233f0416426fd2e1e29715adc4f9","target":"graph","created_at":"2026-07-05T02:14:58Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2102.06787/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Recent work has shown that stabilizing an affine control system to a desired state while optimizing a quadratic cost subject to state and control constraints can be reduced to a sequence of Quadratic Programs (QPs) by using Control Barrier Functions (CBFs) and Control Lyapunov Functions (CLFs). In our own recent work, we defined High Order CBFs (HOCBFs) for systems and constraints with arbitrary relative degrees. In this paper, in order to accommodate initial states that do not satisfy the state constraints and constraints with arbitrary relative degree, we generalize HOCBFs to High Order Cont","authors_text":"Calin A. Belta, Christos G. Cassandras, Wei Xiao","cross_cats":["cs.RO","cs.SY"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2021-02-12T21:47:45Z","title":"High Order Control Lyapunov-Barrier Functions for Temporal Logic Specifications"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2102.06787","kind":"arxiv","version":1},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:70bf13f7c43e06d95020c0095780ede0e47f8184041fd1a3d8ba846c915f5169","target":"record","created_at":"2026-07-05T02:14:58Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"74ca93005812ab85f329b5d10a866be97f8c98f8610cb2b850887094dba72399","cross_cats_sorted":["cs.RO","cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2021-02-12T21:47:45Z","title_canon_sha256":"097706262df315df8b96e28b31c6b612d5c30d51d8234dcd804a10e1e9315668"},"schema_version":"1.0","source":{"id":"2102.06787","kind":"arxiv","version":1}},"canonical_sha256":"2ff25f8337cea9552b8ba367318ef037ad27a3342d9b8b88eae628b61e488abb","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"2ff25f8337cea9552b8ba367318ef037ad27a3342d9b8b88eae628b61e488abb","first_computed_at":"2026-07-05T02:14:58.422441Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T02:14:58.422441Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"P1FhpF9veTT7H11G9nUkkytzJDbiH6EHgpS/SkhG0QS47E+ei+5/BYP4onoD6BzyCVmUYo3Q6PNaihWSLsHiDg==","signature_status":"signed_v1","signed_at":"2026-07-05T02:14:58.422864Z","signed_message":"canonical_sha256_bytes"},"source_id":"2102.06787","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:70bf13f7c43e06d95020c0095780ede0e47f8184041fd1a3d8ba846c915f5169","sha256:4391a03e9efc592ef6ff86aa9243ed2e51ad233f0416426fd2e1e29715adc4f9"],"state_sha256":"43c5764e9bc4a85524ffd8622e6a275cfa7e112699e4935a02e417f5253589bd"}