{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:XQD54PJAWHB754ARCVDKMGRMBZ","short_pith_number":"pith:XQD54PJA","canonical_record":{"source":{"id":"1802.08917","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2018-02-24T21:31:30Z","cross_cats_sorted":[],"title_canon_sha256":"9141ceb7e891bdbfb8d9782ab9829ddabba2b83d89c61179e55cd43faa87ccd0","abstract_canon_sha256":"9e17735e0adb306a62f67dbaef499e30ee42d3e5e97d6b0421c777852a29e573"},"schema_version":"1.0"},"canonical_sha256":"bc07de3d20b1c3fef0111546a61a2c0e71b61f421cbed54f418cb6c576c5327e","source":{"kind":"arxiv","id":"1802.08917","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1802.08917","created_at":"2026-05-18T00:22:36Z"},{"alias_kind":"arxiv_version","alias_value":"1802.08917v1","created_at":"2026-05-18T00:22:36Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1802.08917","created_at":"2026-05-18T00:22:36Z"},{"alias_kind":"pith_short_12","alias_value":"XQD54PJAWHB7","created_at":"2026-05-18T12:33:01Z"},{"alias_kind":"pith_short_16","alias_value":"XQD54PJAWHB754AR","created_at":"2026-05-18T12:33:01Z"},{"alias_kind":"pith_short_8","alias_value":"XQD54PJA","created_at":"2026-05-18T12:33:01Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:XQD54PJAWHB754ARCVDKMGRMBZ","target":"record","payload":{"canonical_record":{"source":{"id":"1802.08917","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2018-02-24T21:31:30Z","cross_cats_sorted":[],"title_canon_sha256":"9141ceb7e891bdbfb8d9782ab9829ddabba2b83d89c61179e55cd43faa87ccd0","abstract_canon_sha256":"9e17735e0adb306a62f67dbaef499e30ee42d3e5e97d6b0421c777852a29e573"},"schema_version":"1.0"},"canonical_sha256":"bc07de3d20b1c3fef0111546a61a2c0e71b61f421cbed54f418cb6c576c5327e","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:22:36.046124Z","signature_b64":"aC+MVhFnoVxMuSHUWk0GLOfNMD4kYnq+xxROm1uJknclCtrPAvZJW71fXKI70OJQ7IcsHn/Rx1w60Xrf0k3iCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"bc07de3d20b1c3fef0111546a61a2c0e71b61f421cbed54f418cb6c576c5327e","last_reissued_at":"2026-05-18T00:22:36.045378Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:22:36.045378Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1802.08917","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-05-18T00:22:36Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"pomUkVYfLGvo48ZhHIlgCL//AuCf1FNm2WnI1RLKPlHcLWAEgef7EwO3f6lhLjkU8lMI2RiknKUj67vFqDYuDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-05T12:09:48.746957Z"},"content_sha256":"be25cefe8ae0032321f8f939f62e3c884547f677f9a0e65efd1f0d1713e13fd5","schema_version":"1.0","event_id":"sha256:be25cefe8ae0032321f8f939f62e3c884547f677f9a0e65efd1f0d1713e13fd5"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:XQD54PJAWHB754ARCVDKMGRMBZ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Permissive Barrier Certificates for Safe Stabilization Using Sum-of-squares","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.OC","authors_text":"Dongkun Han, Li Wang, Magnus Egerstedt","submitted_at":"2018-02-24T21:31:30Z","abstract_excerpt":"Motivated by the need to simultaneously guarantee safety and stability of safety-critical dynamical systems, we construct permissive barrier certificates in this paper that explicitly maximize the region where the system can be stabilized without violating safety constraints. An optimization strategy is developed to search for the maximum volume barrier certified region of safe stabilization. The barrier certified region, which is allowed to take any arbitrary shape, is proved to be strictly larger than safe regions generated with Lyapunov sublevel set based methods. The proposed approach effe"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1802.08917","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":""},"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-05-18T00:22:36Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"g3LXHG88DL28kGH76b1MgqK94s8PGOIimu3nvwMW9oKGItKAMbm4HOAdemmZq3AMKwTdNEeWVgRTmkRQY5dPBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-05T12:09:48.747335Z"},"content_sha256":"1eba1e5a68caf406cbc9cf962808f5c8dc6c56faba570f0046f82929f556c604","schema_version":"1.0","event_id":"sha256:1eba1e5a68caf406cbc9cf962808f5c8dc6c56faba570f0046f82929f556c604"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/XQD54PJAWHB754ARCVDKMGRMBZ/bundle.json","state_url":"https://pith.science/pith/XQD54PJAWHB754ARCVDKMGRMBZ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/XQD54PJAWHB754ARCVDKMGRMBZ/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-06-05T12:09:48Z","links":{"resolver":"https://pith.science/pith/XQD54PJAWHB754ARCVDKMGRMBZ","bundle":"https://pith.science/pith/XQD54PJAWHB754ARCVDKMGRMBZ/bundle.json","state":"https://pith.science/pith/XQD54PJAWHB754ARCVDKMGRMBZ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/XQD54PJAWHB754ARCVDKMGRMBZ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:XQD54PJAWHB754ARCVDKMGRMBZ","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":"9e17735e0adb306a62f67dbaef499e30ee42d3e5e97d6b0421c777852a29e573","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2018-02-24T21:31:30Z","title_canon_sha256":"9141ceb7e891bdbfb8d9782ab9829ddabba2b83d89c61179e55cd43faa87ccd0"},"schema_version":"1.0","source":{"id":"1802.08917","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1802.08917","created_at":"2026-05-18T00:22:36Z"},{"alias_kind":"arxiv_version","alias_value":"1802.08917v1","created_at":"2026-05-18T00:22:36Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1802.08917","created_at":"2026-05-18T00:22:36Z"},{"alias_kind":"pith_short_12","alias_value":"XQD54PJAWHB7","created_at":"2026-05-18T12:33:01Z"},{"alias_kind":"pith_short_16","alias_value":"XQD54PJAWHB754AR","created_at":"2026-05-18T12:33:01Z"},{"alias_kind":"pith_short_8","alias_value":"XQD54PJA","created_at":"2026-05-18T12:33:01Z"}],"graph_snapshots":[{"event_id":"sha256:1eba1e5a68caf406cbc9cf962808f5c8dc6c56faba570f0046f82929f556c604","target":"graph","created_at":"2026-05-18T00:22:36Z","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"},"paper":{"abstract_excerpt":"Motivated by the need to simultaneously guarantee safety and stability of safety-critical dynamical systems, we construct permissive barrier certificates in this paper that explicitly maximize the region where the system can be stabilized without violating safety constraints. An optimization strategy is developed to search for the maximum volume barrier certified region of safe stabilization. The barrier certified region, which is allowed to take any arbitrary shape, is proved to be strictly larger than safe regions generated with Lyapunov sublevel set based methods. The proposed approach effe","authors_text":"Dongkun Han, Li Wang, Magnus Egerstedt","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2018-02-24T21:31:30Z","title":"Permissive Barrier Certificates for Safe Stabilization Using Sum-of-squares"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1802.08917","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:be25cefe8ae0032321f8f939f62e3c884547f677f9a0e65efd1f0d1713e13fd5","target":"record","created_at":"2026-05-18T00:22:36Z","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":"9e17735e0adb306a62f67dbaef499e30ee42d3e5e97d6b0421c777852a29e573","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2018-02-24T21:31:30Z","title_canon_sha256":"9141ceb7e891bdbfb8d9782ab9829ddabba2b83d89c61179e55cd43faa87ccd0"},"schema_version":"1.0","source":{"id":"1802.08917","kind":"arxiv","version":1}},"canonical_sha256":"bc07de3d20b1c3fef0111546a61a2c0e71b61f421cbed54f418cb6c576c5327e","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"bc07de3d20b1c3fef0111546a61a2c0e71b61f421cbed54f418cb6c576c5327e","first_computed_at":"2026-05-18T00:22:36.045378Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:22:36.045378Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"aC+MVhFnoVxMuSHUWk0GLOfNMD4kYnq+xxROm1uJknclCtrPAvZJW71fXKI70OJQ7IcsHn/Rx1w60Xrf0k3iCg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:22:36.046124Z","signed_message":"canonical_sha256_bytes"},"source_id":"1802.08917","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:be25cefe8ae0032321f8f939f62e3c884547f677f9a0e65efd1f0d1713e13fd5","sha256:1eba1e5a68caf406cbc9cf962808f5c8dc6c56faba570f0046f82929f556c604"],"state_sha256":"4f798b64754b7cd32bc9d07d2915023d5ffff82b74f4a19f63d31ce2e4195293"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"0IIGm8H6XWlccHjW68cTV5W7ib/CYmIELF9R5oo+mMjor7D3bXCnOHRG69383/N4h9HXpO5kzCOSG/NnePo9Ag==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-05T12:09:48.751057Z","bundle_sha256":"e261ca10cb15cd484dd468b3c1969d7b461bed5f401e639d14ca9542e60eca57"}}