{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2022:MG2A5ZAJP6U5FB4RPULEHJJOFC","short_pith_number":"pith:MG2A5ZAJ","canonical_record":{"source":{"id":"2204.09386","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"math.OC","submitted_at":"2022-04-20T10:52:55Z","cross_cats_sorted":["cs.SY","eess.SY"],"title_canon_sha256":"574f967df1a51664240001a5b845bb0648249346233e8864994f362da3c1ea91","abstract_canon_sha256":"aa623aba71019c0a3c88c1ceba0ee4f18c3a39bbe5662d9b92ce3cd19f3bd569"},"schema_version":"1.0"},"canonical_sha256":"61b40ee4097fa9d287917d1643a52e2890747c61d1f66bec398f58b0c41e8478","source":{"kind":"arxiv","id":"2204.09386","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2204.09386","created_at":"2026-07-05T04:16:41Z"},{"alias_kind":"arxiv_version","alias_value":"2204.09386v2","created_at":"2026-07-05T04:16:41Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2204.09386","created_at":"2026-07-05T04:16:41Z"},{"alias_kind":"pith_short_12","alias_value":"MG2A5ZAJP6U5","created_at":"2026-07-05T04:16:41Z"},{"alias_kind":"pith_short_16","alias_value":"MG2A5ZAJP6U5FB4R","created_at":"2026-07-05T04:16:41Z"},{"alias_kind":"pith_short_8","alias_value":"MG2A5ZAJ","created_at":"2026-07-05T04:16:41Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2022:MG2A5ZAJP6U5FB4RPULEHJJOFC","target":"record","payload":{"canonical_record":{"source":{"id":"2204.09386","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"math.OC","submitted_at":"2022-04-20T10:52:55Z","cross_cats_sorted":["cs.SY","eess.SY"],"title_canon_sha256":"574f967df1a51664240001a5b845bb0648249346233e8864994f362da3c1ea91","abstract_canon_sha256":"aa623aba71019c0a3c88c1ceba0ee4f18c3a39bbe5662d9b92ce3cd19f3bd569"},"schema_version":"1.0"},"canonical_sha256":"61b40ee4097fa9d287917d1643a52e2890747c61d1f66bec398f58b0c41e8478","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T04:16:41.835350Z","signature_b64":"vVBjM3jZUZRaBXNKO1W/mcpDjkwyuuUx6jNPFXakpGnU3KqKpJLOO1jSNm9ZTysSIxgecfb4LP6fkJJDH9/6CA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"61b40ee4097fa9d287917d1643a52e2890747c61d1f66bec398f58b0c41e8478","last_reissued_at":"2026-07-05T04:16:41.834914Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T04:16:41.834914Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2204.09386","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-05T04:16:41Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"9rvKlBVRhqJsujWN7lgbtzDCXFUXKTe0E05nisyzKaAAI1rxDGig8mh62k9qSUiz/7j/62yxizkY2SBGceIFBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-18T02:07:52.600426Z"},"content_sha256":"59155260469689b9102f53b318e0499d0819e8c1b83942804c468358de98f4fc","schema_version":"1.0","event_id":"sha256:59155260469689b9102f53b318e0499d0819e8c1b83942804c468358de98f4fc"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2022:MG2A5ZAJP6U5FB4RPULEHJJOFC","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Safety Verification and Controller Synthesis for Systems with Input Constraints","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","headline":"","cross_cats":["cs.SY","eess.SY"],"primary_cat":"math.OC","authors_text":"Antonis Papachristodoulou, Han Wang, Kostas Margellos","submitted_at":"2022-04-20T10:52:55Z","abstract_excerpt":"In this paper we consider the safety verification and safe controller synthesis problems for nonlinear control systems. The Control Barrier Certificates (CBC) approach is proposed as an extension to the Barrier certificates approach. Our approach can be used to characterize the control invariance of a given set in terms of safety of a general nonlinear control system subject to input constraints. From the point of view of controller design, the proposed method provides an approach to synthesize a safe control law that guarantees that the trajectories of the system starting from a given initial"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2204.09386","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/2204.09386/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:16:41Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"1C7YB191AwecI5EwK3h8eugIAXHdrOhL/j6uG0qdbse1I/kEPpYukdRKUIO2pj/L7SL3KoUgd4UdKaTqvahwDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-18T02:07:52.601278Z"},"content_sha256":"47e94e9069039a2db55c5dec73ff03a7574f7d8126325ae33bae0cc324be5271","schema_version":"1.0","event_id":"sha256:47e94e9069039a2db55c5dec73ff03a7574f7d8126325ae33bae0cc324be5271"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/MG2A5ZAJP6U5FB4RPULEHJJOFC/bundle.json","state_url":"https://pith.science/pith/MG2A5ZAJP6U5FB4RPULEHJJOFC/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/MG2A5ZAJP6U5FB4RPULEHJJOFC/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-18T02:07:52Z","links":{"resolver":"https://pith.science/pith/MG2A5ZAJP6U5FB4RPULEHJJOFC","bundle":"https://pith.science/pith/MG2A5ZAJP6U5FB4RPULEHJJOFC/bundle.json","state":"https://pith.science/pith/MG2A5ZAJP6U5FB4RPULEHJJOFC/state.json","well_known_bundle":"https://pith.science/.well-known/pith/MG2A5ZAJP6U5FB4RPULEHJJOFC/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2022:MG2A5ZAJP6U5FB4RPULEHJJOFC","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":"aa623aba71019c0a3c88c1ceba0ee4f18c3a39bbe5662d9b92ce3cd19f3bd569","cross_cats_sorted":["cs.SY","eess.SY"],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"math.OC","submitted_at":"2022-04-20T10:52:55Z","title_canon_sha256":"574f967df1a51664240001a5b845bb0648249346233e8864994f362da3c1ea91"},"schema_version":"1.0","source":{"id":"2204.09386","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2204.09386","created_at":"2026-07-05T04:16:41Z"},{"alias_kind":"arxiv_version","alias_value":"2204.09386v2","created_at":"2026-07-05T04:16:41Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2204.09386","created_at":"2026-07-05T04:16:41Z"},{"alias_kind":"pith_short_12","alias_value":"MG2A5ZAJP6U5","created_at":"2026-07-05T04:16:41Z"},{"alias_kind":"pith_short_16","alias_value":"MG2A5ZAJP6U5FB4R","created_at":"2026-07-05T04:16:41Z"},{"alias_kind":"pith_short_8","alias_value":"MG2A5ZAJ","created_at":"2026-07-05T04:16:41Z"}],"graph_snapshots":[{"event_id":"sha256:47e94e9069039a2db55c5dec73ff03a7574f7d8126325ae33bae0cc324be5271","target":"graph","created_at":"2026-07-05T04:16:41Z","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/2204.09386/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"In this paper we consider the safety verification and safe controller synthesis problems for nonlinear control systems. The Control Barrier Certificates (CBC) approach is proposed as an extension to the Barrier certificates approach. Our approach can be used to characterize the control invariance of a given set in terms of safety of a general nonlinear control system subject to input constraints. From the point of view of controller design, the proposed method provides an approach to synthesize a safe control law that guarantees that the trajectories of the system starting from a given initial","authors_text":"Antonis Papachristodoulou, Han Wang, Kostas Margellos","cross_cats":["cs.SY","eess.SY"],"headline":"","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"math.OC","submitted_at":"2022-04-20T10:52:55Z","title":"Safety Verification and Controller Synthesis for Systems with Input Constraints"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2204.09386","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:59155260469689b9102f53b318e0499d0819e8c1b83942804c468358de98f4fc","target":"record","created_at":"2026-07-05T04:16:41Z","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":"aa623aba71019c0a3c88c1ceba0ee4f18c3a39bbe5662d9b92ce3cd19f3bd569","cross_cats_sorted":["cs.SY","eess.SY"],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"math.OC","submitted_at":"2022-04-20T10:52:55Z","title_canon_sha256":"574f967df1a51664240001a5b845bb0648249346233e8864994f362da3c1ea91"},"schema_version":"1.0","source":{"id":"2204.09386","kind":"arxiv","version":2}},"canonical_sha256":"61b40ee4097fa9d287917d1643a52e2890747c61d1f66bec398f58b0c41e8478","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"61b40ee4097fa9d287917d1643a52e2890747c61d1f66bec398f58b0c41e8478","first_computed_at":"2026-07-05T04:16:41.834914Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T04:16:41.834914Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"vVBjM3jZUZRaBXNKO1W/mcpDjkwyuuUx6jNPFXakpGnU3KqKpJLOO1jSNm9ZTysSIxgecfb4LP6fkJJDH9/6CA==","signature_status":"signed_v1","signed_at":"2026-07-05T04:16:41.835350Z","signed_message":"canonical_sha256_bytes"},"source_id":"2204.09386","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:59155260469689b9102f53b318e0499d0819e8c1b83942804c468358de98f4fc","sha256:47e94e9069039a2db55c5dec73ff03a7574f7d8126325ae33bae0cc324be5271"],"state_sha256":"db957e3bd224a247508b97950db891905b3ac3121f39a9ab192b69d40ed86f22"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"S929gm3gaVsbqHvqWuYJtaAYX+v/VufIIgYfmK8aS8Q+vwYFV0d0F6zvn0ndy1QeRZTBEojAvUq2QI3uoYSkDg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-18T02:07:52.607440Z","bundle_sha256":"29e0a04dc76021f4cac0e55c73da442adf77e9c3c15ea97c1bec82ea5d743084"}}