{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:DAWPE4IPCEYXXPH7NLJLKYWMRD","short_pith_number":"pith:DAWPE4IP","canonical_record":{"source":{"id":"2406.18914","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"eess.SY","submitted_at":"2024-06-27T06:06:37Z","cross_cats_sorted":["cs.RO","cs.SY"],"title_canon_sha256":"a3f1ad144a604f64e83705e4d67da29bdae05dd7c2a96d094a132f386aa928bc","abstract_canon_sha256":"b575daa87d66069d3e40e0751972e8ac121264514567a04eeccb07de70e8495f"},"schema_version":"1.0"},"canonical_sha256":"182cf2710f11317bbcff6ad2b562cc88db72aec37919fcb6beb15f0eb005c541","source":{"kind":"arxiv","id":"2406.18914","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2406.18914","created_at":"2026-07-05T09:07:00Z"},{"alias_kind":"arxiv_version","alias_value":"2406.18914v2","created_at":"2026-07-05T09:07:00Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2406.18914","created_at":"2026-07-05T09:07:00Z"},{"alias_kind":"pith_short_12","alias_value":"DAWPE4IPCEYX","created_at":"2026-07-05T09:07:00Z"},{"alias_kind":"pith_short_16","alias_value":"DAWPE4IPCEYXXPH7","created_at":"2026-07-05T09:07:00Z"},{"alias_kind":"pith_short_8","alias_value":"DAWPE4IP","created_at":"2026-07-05T09:07:00Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:DAWPE4IPCEYXXPH7NLJLKYWMRD","target":"record","payload":{"canonical_record":{"source":{"id":"2406.18914","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"eess.SY","submitted_at":"2024-06-27T06:06:37Z","cross_cats_sorted":["cs.RO","cs.SY"],"title_canon_sha256":"a3f1ad144a604f64e83705e4d67da29bdae05dd7c2a96d094a132f386aa928bc","abstract_canon_sha256":"b575daa87d66069d3e40e0751972e8ac121264514567a04eeccb07de70e8495f"},"schema_version":"1.0"},"canonical_sha256":"182cf2710f11317bbcff6ad2b562cc88db72aec37919fcb6beb15f0eb005c541","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T09:07:00.931173Z","signature_b64":"rPrlQipqv6EfHu2bGynAudYoO1NUBfs3h0F17AxZka30QlZJY6r/nSwCnYAH3tLOS2MPa7t7XOTQrpcMwHLUDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"182cf2710f11317bbcff6ad2b562cc88db72aec37919fcb6beb15f0eb005c541","last_reissued_at":"2026-07-05T09:07:00.930748Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T09:07:00.930748Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2406.18914","source_version":2,"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-05T09:07:00Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"I2fPcU4WN1zQkgs01BvPnf/QwT7zsOAGZLxl1FuU6398lUX4xJ+xfozKYwX2KF6g9/qprA4uaOAuYiZxiDaMDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-12T13:48:21.091958Z"},"content_sha256":"d1c157c70e2faa91fda250a590535c1039262b01d873e5b738c0a04c5907b141","schema_version":"1.0","event_id":"sha256:d1c157c70e2faa91fda250a590535c1039262b01d873e5b738c0a04c5907b141"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:DAWPE4IPCEYXXPH7NLJLKYWMRD","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Verification and Synthesis of Compatible Control Lyapunov and Control Barrier Functions","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.RO","cs.SY"],"primary_cat":"eess.SY","authors_text":"Andrew Clark, Chuanrui Jiang, Hongchao Zhang, Hongkai Dai","submitted_at":"2024-06-27T06:06:37Z","abstract_excerpt":"Safety and stability are essential properties of control systems. Control Barrier Functions (CBFs) and Control Lyapunov Functions (CLFs) are powerful tools to ensure safety and stability respectively. However, previous approaches typically verify and synthesize the CBFs and CLFs separately, satisfying their respective constraints, without proving that the CBFs and CLFs are compatible with each other, namely at every state, there exists control actions within the input limits that satisfy both the CBF and CLF constraints simultaneously. Ignoring the compatibility criteria might cause the CLF-CB"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2406.18914","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2406.18914/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-05T09:07:00Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"8uf+GjQXDTeEBP+l3K/hipKhSN7kxMR/4l2MYpxswsCs8Ki/18J3EB/Deflgojwm1MA+eqQZVzWRP6tPurOZAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-12T13:48:21.092475Z"},"content_sha256":"039d8c985e5528ed043d2daf1f9d51ae27b5df3a324ca1a64f468093b8dfc6e6","schema_version":"1.0","event_id":"sha256:039d8c985e5528ed043d2daf1f9d51ae27b5df3a324ca1a64f468093b8dfc6e6"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/DAWPE4IPCEYXXPH7NLJLKYWMRD/bundle.json","state_url":"https://pith.science/pith/DAWPE4IPCEYXXPH7NLJLKYWMRD/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/DAWPE4IPCEYXXPH7NLJLKYWMRD/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-12T13:48:21Z","links":{"resolver":"https://pith.science/pith/DAWPE4IPCEYXXPH7NLJLKYWMRD","bundle":"https://pith.science/pith/DAWPE4IPCEYXXPH7NLJLKYWMRD/bundle.json","state":"https://pith.science/pith/DAWPE4IPCEYXXPH7NLJLKYWMRD/state.json","well_known_bundle":"https://pith.science/.well-known/pith/DAWPE4IPCEYXXPH7NLJLKYWMRD/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:DAWPE4IPCEYXXPH7NLJLKYWMRD","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":"b575daa87d66069d3e40e0751972e8ac121264514567a04eeccb07de70e8495f","cross_cats_sorted":["cs.RO","cs.SY"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"eess.SY","submitted_at":"2024-06-27T06:06:37Z","title_canon_sha256":"a3f1ad144a604f64e83705e4d67da29bdae05dd7c2a96d094a132f386aa928bc"},"schema_version":"1.0","source":{"id":"2406.18914","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2406.18914","created_at":"2026-07-05T09:07:00Z"},{"alias_kind":"arxiv_version","alias_value":"2406.18914v2","created_at":"2026-07-05T09:07:00Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2406.18914","created_at":"2026-07-05T09:07:00Z"},{"alias_kind":"pith_short_12","alias_value":"DAWPE4IPCEYX","created_at":"2026-07-05T09:07:00Z"},{"alias_kind":"pith_short_16","alias_value":"DAWPE4IPCEYXXPH7","created_at":"2026-07-05T09:07:00Z"},{"alias_kind":"pith_short_8","alias_value":"DAWPE4IP","created_at":"2026-07-05T09:07:00Z"}],"graph_snapshots":[{"event_id":"sha256:039d8c985e5528ed043d2daf1f9d51ae27b5df3a324ca1a64f468093b8dfc6e6","target":"graph","created_at":"2026-07-05T09:07:00Z","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/2406.18914/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Safety and stability are essential properties of control systems. Control Barrier Functions (CBFs) and Control Lyapunov Functions (CLFs) are powerful tools to ensure safety and stability respectively. However, previous approaches typically verify and synthesize the CBFs and CLFs separately, satisfying their respective constraints, without proving that the CBFs and CLFs are compatible with each other, namely at every state, there exists control actions within the input limits that satisfy both the CBF and CLF constraints simultaneously. Ignoring the compatibility criteria might cause the CLF-CB","authors_text":"Andrew Clark, Chuanrui Jiang, Hongchao Zhang, Hongkai Dai","cross_cats":["cs.RO","cs.SY"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"eess.SY","submitted_at":"2024-06-27T06:06:37Z","title":"Verification and Synthesis of Compatible Control Lyapunov and Control Barrier Functions"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2406.18914","kind":"arxiv","version":2},"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:d1c157c70e2faa91fda250a590535c1039262b01d873e5b738c0a04c5907b141","target":"record","created_at":"2026-07-05T09:07:00Z","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":"b575daa87d66069d3e40e0751972e8ac121264514567a04eeccb07de70e8495f","cross_cats_sorted":["cs.RO","cs.SY"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"eess.SY","submitted_at":"2024-06-27T06:06:37Z","title_canon_sha256":"a3f1ad144a604f64e83705e4d67da29bdae05dd7c2a96d094a132f386aa928bc"},"schema_version":"1.0","source":{"id":"2406.18914","kind":"arxiv","version":2}},"canonical_sha256":"182cf2710f11317bbcff6ad2b562cc88db72aec37919fcb6beb15f0eb005c541","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"182cf2710f11317bbcff6ad2b562cc88db72aec37919fcb6beb15f0eb005c541","first_computed_at":"2026-07-05T09:07:00.930748Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T09:07:00.930748Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"rPrlQipqv6EfHu2bGynAudYoO1NUBfs3h0F17AxZka30QlZJY6r/nSwCnYAH3tLOS2MPa7t7XOTQrpcMwHLUDQ==","signature_status":"signed_v1","signed_at":"2026-07-05T09:07:00.931173Z","signed_message":"canonical_sha256_bytes"},"source_id":"2406.18914","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:d1c157c70e2faa91fda250a590535c1039262b01d873e5b738c0a04c5907b141","sha256:039d8c985e5528ed043d2daf1f9d51ae27b5df3a324ca1a64f468093b8dfc6e6"],"state_sha256":"030bb447f531074ab99b5f80d299d900a40eec579b6f1950351fae4372384c0b"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"VhGn/aaT2g/rRZLA/QJBaH08Q7Dd00M4SOPIVdizWkFDtoYQnIZsk20YKejlkIcHFonc8Vw0UnE5ZspFVRTICA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-12T13:48:21.097507Z","bundle_sha256":"1792d7eb4f7e3a6e87485f032562abf837d3e29e1ff0aba57489f1b6630c0ae8"}}