{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2022:FCT32ATBIXWWX4F7FGLIQUDX56","short_pith_number":"pith:FCT32ATB","canonical_record":{"source":{"id":"2206.08409","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"eess.SY","submitted_at":"2022-06-16T19:02:59Z","cross_cats_sorted":["cs.RO","cs.SY","math.DS"],"title_canon_sha256":"48696180dcbe095c1291fe369b4f84e9152609c79ed81bd67c4a42ed00c8606c","abstract_canon_sha256":"c641eae9c0a0f629374d893993eccdc3307fa7fa34045429e79674df07d1e3b5"},"schema_version":"1.0"},"canonical_sha256":"28a7bd026145ed6bf0bf2996885077efa58364ea141cb9dd646aca10f9669db0","source":{"kind":"arxiv","id":"2206.08409","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2206.08409","created_at":"2026-07-05T04:32:29Z"},{"alias_kind":"arxiv_version","alias_value":"2206.08409v1","created_at":"2026-07-05T04:32:29Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2206.08409","created_at":"2026-07-05T04:32:29Z"},{"alias_kind":"pith_short_12","alias_value":"FCT32ATBIXWW","created_at":"2026-07-05T04:32:29Z"},{"alias_kind":"pith_short_16","alias_value":"FCT32ATBIXWWX4F7","created_at":"2026-07-05T04:32:29Z"},{"alias_kind":"pith_short_8","alias_value":"FCT32ATB","created_at":"2026-07-05T04:32:29Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2022:FCT32ATBIXWWX4F7FGLIQUDX56","target":"record","payload":{"canonical_record":{"source":{"id":"2206.08409","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"eess.SY","submitted_at":"2022-06-16T19:02:59Z","cross_cats_sorted":["cs.RO","cs.SY","math.DS"],"title_canon_sha256":"48696180dcbe095c1291fe369b4f84e9152609c79ed81bd67c4a42ed00c8606c","abstract_canon_sha256":"c641eae9c0a0f629374d893993eccdc3307fa7fa34045429e79674df07d1e3b5"},"schema_version":"1.0"},"canonical_sha256":"28a7bd026145ed6bf0bf2996885077efa58364ea141cb9dd646aca10f9669db0","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T04:32:29.284087Z","signature_b64":"g1PK88FBGj/AYuCKrfVK/F25UIK5zzsi1LxOFFLi9IclsTVty0o7IBYWf+WQS3eIzJRnwFhENz8XCYtm5U8BCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"28a7bd026145ed6bf0bf2996885077efa58364ea141cb9dd646aca10f9669db0","last_reissued_at":"2026-07-05T04:32:29.283635Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T04:32:29.283635Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2206.08409","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T04:32:29Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"5NyXTp1xJ1SJr+JnsTEQrgdVId8bJ4BQ/Gd24HzcdnxHJwAh01AxKkfp/8fa4xOebweP9idah8ONrxWPygBLDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-03T22:00:35.362515Z"},"content_sha256":"83d19baae43c7bf9c6e83ef2859f1badac43ddc77bdab20def6dba9ef3e66b76","schema_version":"1.0","event_id":"sha256:83d19baae43c7bf9c6e83ef2859f1badac43ddc77bdab20def6dba9ef3e66b76"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2022:FCT32ATBIXWWX4F7FGLIQUDX56","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Control Barrier Functionals: Safety-critical Control for Time Delay Systems","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.RO","cs.SY","math.DS"],"primary_cat":"eess.SY","authors_text":"Aaron D. Ames, Adam K. Kiss, Gabor Orosz, Tamas G. Molnar","submitted_at":"2022-06-16T19:02:59Z","abstract_excerpt":"This work presents a theoretical framework for the safety-critical control of time delay systems. The theory of control barrier functions, that provides formal safety guarantees for delay-free systems, is extended to systems with state delay. The notion of control barrier functionals is introduced to attain formal safety guarantees, by enforcing the forward invariance of safe sets defined in the infinite dimensional state space. The proposed framework is able to handle multiple delays and distributed delays both in the dynamics and in the safety condition, and provides an affine constraint on "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2206.08409","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/2206.08409/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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T04:32:29Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"GZjVOgOovsQnUsud1ZWHoGUhWJO30n4GhFGa8ZLYXuRv5Ua5dX2gvcZGQ8T7idowbwFHSv0Zz1gJSdKQCo4aAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-03T22:00:35.363016Z"},"content_sha256":"0235bf75892f73b7630633a21d056204e98125b657e51d3417af6a7ae2c020d5","schema_version":"1.0","event_id":"sha256:0235bf75892f73b7630633a21d056204e98125b657e51d3417af6a7ae2c020d5"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/FCT32ATBIXWWX4F7FGLIQUDX56/bundle.json","state_url":"https://pith.science/pith/FCT32ATBIXWWX4F7FGLIQUDX56/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/FCT32ATBIXWWX4F7FGLIQUDX56/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-08-03T22:00:35Z","links":{"resolver":"https://pith.science/pith/FCT32ATBIXWWX4F7FGLIQUDX56","bundle":"https://pith.science/pith/FCT32ATBIXWWX4F7FGLIQUDX56/bundle.json","state":"https://pith.science/pith/FCT32ATBIXWWX4F7FGLIQUDX56/state.json","well_known_bundle":"https://pith.science/.well-known/pith/FCT32ATBIXWWX4F7FGLIQUDX56/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2022:FCT32ATBIXWWX4F7FGLIQUDX56","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":"c641eae9c0a0f629374d893993eccdc3307fa7fa34045429e79674df07d1e3b5","cross_cats_sorted":["cs.RO","cs.SY","math.DS"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"eess.SY","submitted_at":"2022-06-16T19:02:59Z","title_canon_sha256":"48696180dcbe095c1291fe369b4f84e9152609c79ed81bd67c4a42ed00c8606c"},"schema_version":"1.0","source":{"id":"2206.08409","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2206.08409","created_at":"2026-07-05T04:32:29Z"},{"alias_kind":"arxiv_version","alias_value":"2206.08409v1","created_at":"2026-07-05T04:32:29Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2206.08409","created_at":"2026-07-05T04:32:29Z"},{"alias_kind":"pith_short_12","alias_value":"FCT32ATBIXWW","created_at":"2026-07-05T04:32:29Z"},{"alias_kind":"pith_short_16","alias_value":"FCT32ATBIXWWX4F7","created_at":"2026-07-05T04:32:29Z"},{"alias_kind":"pith_short_8","alias_value":"FCT32ATB","created_at":"2026-07-05T04:32:29Z"}],"graph_snapshots":[{"event_id":"sha256:0235bf75892f73b7630633a21d056204e98125b657e51d3417af6a7ae2c020d5","target":"graph","created_at":"2026-07-05T04:32:29Z","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.08409/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"This work presents a theoretical framework for the safety-critical control of time delay systems. The theory of control barrier functions, that provides formal safety guarantees for delay-free systems, is extended to systems with state delay. The notion of control barrier functionals is introduced to attain formal safety guarantees, by enforcing the forward invariance of safe sets defined in the infinite dimensional state space. The proposed framework is able to handle multiple delays and distributed delays both in the dynamics and in the safety condition, and provides an affine constraint on ","authors_text":"Aaron D. Ames, Adam K. Kiss, Gabor Orosz, Tamas G. Molnar","cross_cats":["cs.RO","cs.SY","math.DS"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"eess.SY","submitted_at":"2022-06-16T19:02:59Z","title":"Control Barrier Functionals: Safety-critical Control for Time Delay Systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2206.08409","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:83d19baae43c7bf9c6e83ef2859f1badac43ddc77bdab20def6dba9ef3e66b76","target":"record","created_at":"2026-07-05T04:32:29Z","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":"c641eae9c0a0f629374d893993eccdc3307fa7fa34045429e79674df07d1e3b5","cross_cats_sorted":["cs.RO","cs.SY","math.DS"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"eess.SY","submitted_at":"2022-06-16T19:02:59Z","title_canon_sha256":"48696180dcbe095c1291fe369b4f84e9152609c79ed81bd67c4a42ed00c8606c"},"schema_version":"1.0","source":{"id":"2206.08409","kind":"arxiv","version":1}},"canonical_sha256":"28a7bd026145ed6bf0bf2996885077efa58364ea141cb9dd646aca10f9669db0","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"28a7bd026145ed6bf0bf2996885077efa58364ea141cb9dd646aca10f9669db0","first_computed_at":"2026-07-05T04:32:29.283635Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T04:32:29.283635Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"g1PK88FBGj/AYuCKrfVK/F25UIK5zzsi1LxOFFLi9IclsTVty0o7IBYWf+WQS3eIzJRnwFhENz8XCYtm5U8BCg==","signature_status":"signed_v1","signed_at":"2026-07-05T04:32:29.284087Z","signed_message":"canonical_sha256_bytes"},"source_id":"2206.08409","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:83d19baae43c7bf9c6e83ef2859f1badac43ddc77bdab20def6dba9ef3e66b76","sha256:0235bf75892f73b7630633a21d056204e98125b657e51d3417af6a7ae2c020d5"],"state_sha256":"8a52a769a22c62c52915d86f0da3a6d549d945697f824daf00e29d41efbd883b"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"X5El5diH/XaJlw7BSXYueKDPucDcsmi3ZMU/EGm61+x381vSDAh95obhK59KFx4Jc2loxDmUIp7wSputQOJUCQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-03T22:00:35.366466Z","bundle_sha256":"ad471658557da6e61c0acd254a73fc978083d7eac89e4a209dc6ed03c466b68f"}}