{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2022:5GKCYGLDG7AST3W7M6J46SO225","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":"6c1700b23127644389785ee6743bf11bfef4f77b81a40a7e8b13f81738a04249","cross_cats_sorted":["cs.RO","cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2022-06-07T20:39:46Z","title_canon_sha256":"e427e97076c930be4dda6fbd94231cc16a6ab415f6bd9bc1ef0fd26d5fef2f07"},"schema_version":"1.0","source":{"id":"2206.03568","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2206.03568","created_at":"2026-07-05T05:29:18Z"},{"alias_kind":"arxiv_version","alias_value":"2206.03568v1","created_at":"2026-07-05T05:29:18Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2206.03568","created_at":"2026-07-05T05:29:18Z"},{"alias_kind":"pith_short_12","alias_value":"5GKCYGLDG7AS","created_at":"2026-07-05T05:29:18Z"},{"alias_kind":"pith_short_16","alias_value":"5GKCYGLDG7AST3W7","created_at":"2026-07-05T05:29:18Z"},{"alias_kind":"pith_short_8","alias_value":"5GKCYGLD","created_at":"2026-07-05T05:29:18Z"}],"graph_snapshots":[{"event_id":"sha256:dbbef47b789f3d6a330a16628f3bbb9adfae702ca580ba37e8d284555b30c313","target":"graph","created_at":"2026-07-05T05:29:18Z","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/2206.03568/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Balancing safety and performance is one of the predominant challenges in modern control system design. Moreover, it is crucial to robustly ensure safety without inducing unnecessary conservativeness that degrades performance. In this work we present a constructive approach for safety-critical control synthesis via Control Barrier Functions (CBF). By filtering a hand-designed controller via a CBF, we are able to attain performant behavior while providing rigorous guarantees of safety. In the face of disturbances, robust safety and performance are simultaneously achieved through the notion of In","authors_text":"Aaron D. Ames, Andrew J. Taylor, Anil Alan, Chaozhe R. He, Gabor Orosz","cross_cats":["cs.RO","cs.SY"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2022-06-07T20:39:46Z","title":"Control Barrier Functions and Input-to-State Safety with Application to Automated Vehicles"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2206.03568","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:af397401fa646e78e13635013b1fd37a1a1293ca38a1497a3e0ec235bb0290c3","target":"record","created_at":"2026-07-05T05:29:18Z","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":"6c1700b23127644389785ee6743bf11bfef4f77b81a40a7e8b13f81738a04249","cross_cats_sorted":["cs.RO","cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2022-06-07T20:39:46Z","title_canon_sha256":"e427e97076c930be4dda6fbd94231cc16a6ab415f6bd9bc1ef0fd26d5fef2f07"},"schema_version":"1.0","source":{"id":"2206.03568","kind":"arxiv","version":1}},"canonical_sha256":"e9942c196337c129eedf6793cf49dad7697cfafef8325939f4c2f3e4c6856726","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"e9942c196337c129eedf6793cf49dad7697cfafef8325939f4c2f3e4c6856726","first_computed_at":"2026-07-05T05:29:18.609158Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T05:29:18.609158Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Bg3PNn9BbA8va+K4mneJhC6NG8O40m0ozyhEI5KiMiI4LCbtp77ZKoO4fevEb5mM8rhN0aTZqPqtXb9ScaosAg==","signature_status":"signed_v1","signed_at":"2026-07-05T05:29:18.609564Z","signed_message":"canonical_sha256_bytes"},"source_id":"2206.03568","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:af397401fa646e78e13635013b1fd37a1a1293ca38a1497a3e0ec235bb0290c3","sha256:dbbef47b789f3d6a330a16628f3bbb9adfae702ca580ba37e8d284555b30c313"],"state_sha256":"f0b7566fc16b320fbfbc913a0d70062af8b0dc77cd64ec94f28bdf2c57b974b9"}