{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2021:JVJWLOAWZZR4RLW7ZSBSADLASJ","short_pith_number":"pith:JVJWLOAW","canonical_record":{"source":{"id":"2105.14311","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.LO","submitted_at":"2021-05-29T14:35:55Z","cross_cats_sorted":[],"title_canon_sha256":"ef926ff9e63aac13d1815444fd06664b993e94e6425cbcd4e2459997560b0303","abstract_canon_sha256":"34d8e2ad0f4d252c071cd42174ffa513ee49c52fca0aa45738010372853fbbde"},"schema_version":"1.0"},"canonical_sha256":"4d5365b816ce63c8aedfcc83200d60924e57d45f9aba771d05fc573218cc75a5","source":{"kind":"arxiv","id":"2105.14311","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2105.14311","created_at":"2026-07-05T02:44:22Z"},{"alias_kind":"arxiv_version","alias_value":"2105.14311v1","created_at":"2026-07-05T02:44:22Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2105.14311","created_at":"2026-07-05T02:44:22Z"},{"alias_kind":"pith_short_12","alias_value":"JVJWLOAWZZR4","created_at":"2026-07-05T02:44:22Z"},{"alias_kind":"pith_short_16","alias_value":"JVJWLOAWZZR4RLW7","created_at":"2026-07-05T02:44:22Z"},{"alias_kind":"pith_short_8","alias_value":"JVJWLOAW","created_at":"2026-07-05T02:44:22Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2021:JVJWLOAWZZR4RLW7ZSBSADLASJ","target":"record","payload":{"canonical_record":{"source":{"id":"2105.14311","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.LO","submitted_at":"2021-05-29T14:35:55Z","cross_cats_sorted":[],"title_canon_sha256":"ef926ff9e63aac13d1815444fd06664b993e94e6425cbcd4e2459997560b0303","abstract_canon_sha256":"34d8e2ad0f4d252c071cd42174ffa513ee49c52fca0aa45738010372853fbbde"},"schema_version":"1.0"},"canonical_sha256":"4d5365b816ce63c8aedfcc83200d60924e57d45f9aba771d05fc573218cc75a5","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T02:44:22.446811Z","signature_b64":"yEXIZeTWYadkWLehlEgOKWWYdpPt4MBeG0QeeXdaGb/Iop4riPWbSNe3yn8fj9NPBlAnKEc6Us7suPv8lFe0DA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"4d5365b816ce63c8aedfcc83200d60924e57d45f9aba771d05fc573218cc75a5","last_reissued_at":"2026-07-05T02:44:22.446333Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T02:44:22.446333Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2105.14311","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-05T02:44:22Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ZcL3I9ntDw74k06C4aA8S4QR1BDGvZKqVBwvp8/+tsPN9IkWE8oPdqGRBGmO9t3gpMQLEptjEw8YZM/co9uTAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-04T18:28:26.417756Z"},"content_sha256":"be1836c5e27a7115d707daefb08b4a56b08dd0644bad852b513c5bf601d0fc62","schema_version":"1.0","event_id":"sha256:be1836c5e27a7115d707daefb08b4a56b08dd0644bad852b513c5bf601d0fc62"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2021:JVJWLOAWZZR4RLW7ZSBSADLASJ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Synthesizing Invariant Barrier Certificates via Difference-of-Convex Programming","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Bai Xue, Joost-Pieter Katoen, Mingshuai Chen, Naijun Zhan, Qiuye Wang","submitted_at":"2021-05-29T14:35:55Z","abstract_excerpt":"A barrier certificate often serves as an inductive invariant that isolates an unsafe region from the reachable set of states, and hence is widely used in proving safety of hybrid systems possibly over the infinite time horizon. We present a novel condition on barrier certificates, termed the invariant barrier-certificate condition, that witnesses unbounded-time safety of differential dynamical systems. The proposed condition is by far the least conservative one on barrier certificates, and can be shown as the weakest possible one to attain inductive invariance. We show that discharging the inv"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2105.14311","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/2105.14311/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-05T02:44:22Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"vWGN+leNH0zDL9NK25M6Zn4UxJy72xElDb5lKbXLnE0fParwuPXqUH/RXyN++Nl6Y8O7Pd5dmwS8ECA/tPjoBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-04T18:28:26.418364Z"},"content_sha256":"5ebc0caaf0b4ab1f52ce937e638a4359beafe51ab2b32899091ea35b8d2196fc","schema_version":"1.0","event_id":"sha256:5ebc0caaf0b4ab1f52ce937e638a4359beafe51ab2b32899091ea35b8d2196fc"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/JVJWLOAWZZR4RLW7ZSBSADLASJ/bundle.json","state_url":"https://pith.science/pith/JVJWLOAWZZR4RLW7ZSBSADLASJ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/JVJWLOAWZZR4RLW7ZSBSADLASJ/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-04T18:28:26Z","links":{"resolver":"https://pith.science/pith/JVJWLOAWZZR4RLW7ZSBSADLASJ","bundle":"https://pith.science/pith/JVJWLOAWZZR4RLW7ZSBSADLASJ/bundle.json","state":"https://pith.science/pith/JVJWLOAWZZR4RLW7ZSBSADLASJ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/JVJWLOAWZZR4RLW7ZSBSADLASJ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2021:JVJWLOAWZZR4RLW7ZSBSADLASJ","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":"34d8e2ad0f4d252c071cd42174ffa513ee49c52fca0aa45738010372853fbbde","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.LO","submitted_at":"2021-05-29T14:35:55Z","title_canon_sha256":"ef926ff9e63aac13d1815444fd06664b993e94e6425cbcd4e2459997560b0303"},"schema_version":"1.0","source":{"id":"2105.14311","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2105.14311","created_at":"2026-07-05T02:44:22Z"},{"alias_kind":"arxiv_version","alias_value":"2105.14311v1","created_at":"2026-07-05T02:44:22Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2105.14311","created_at":"2026-07-05T02:44:22Z"},{"alias_kind":"pith_short_12","alias_value":"JVJWLOAWZZR4","created_at":"2026-07-05T02:44:22Z"},{"alias_kind":"pith_short_16","alias_value":"JVJWLOAWZZR4RLW7","created_at":"2026-07-05T02:44:22Z"},{"alias_kind":"pith_short_8","alias_value":"JVJWLOAW","created_at":"2026-07-05T02:44:22Z"}],"graph_snapshots":[{"event_id":"sha256:5ebc0caaf0b4ab1f52ce937e638a4359beafe51ab2b32899091ea35b8d2196fc","target":"graph","created_at":"2026-07-05T02:44:22Z","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/2105.14311/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"A barrier certificate often serves as an inductive invariant that isolates an unsafe region from the reachable set of states, and hence is widely used in proving safety of hybrid systems possibly over the infinite time horizon. We present a novel condition on barrier certificates, termed the invariant barrier-certificate condition, that witnesses unbounded-time safety of differential dynamical systems. The proposed condition is by far the least conservative one on barrier certificates, and can be shown as the weakest possible one to attain inductive invariance. We show that discharging the inv","authors_text":"Bai Xue, Joost-Pieter Katoen, Mingshuai Chen, Naijun Zhan, Qiuye Wang","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.LO","submitted_at":"2021-05-29T14:35:55Z","title":"Synthesizing Invariant Barrier Certificates via Difference-of-Convex Programming"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2105.14311","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:be1836c5e27a7115d707daefb08b4a56b08dd0644bad852b513c5bf601d0fc62","target":"record","created_at":"2026-07-05T02:44:22Z","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":"34d8e2ad0f4d252c071cd42174ffa513ee49c52fca0aa45738010372853fbbde","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.LO","submitted_at":"2021-05-29T14:35:55Z","title_canon_sha256":"ef926ff9e63aac13d1815444fd06664b993e94e6425cbcd4e2459997560b0303"},"schema_version":"1.0","source":{"id":"2105.14311","kind":"arxiv","version":1}},"canonical_sha256":"4d5365b816ce63c8aedfcc83200d60924e57d45f9aba771d05fc573218cc75a5","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"4d5365b816ce63c8aedfcc83200d60924e57d45f9aba771d05fc573218cc75a5","first_computed_at":"2026-07-05T02:44:22.446333Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T02:44:22.446333Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"yEXIZeTWYadkWLehlEgOKWWYdpPt4MBeG0QeeXdaGb/Iop4riPWbSNe3yn8fj9NPBlAnKEc6Us7suPv8lFe0DA==","signature_status":"signed_v1","signed_at":"2026-07-05T02:44:22.446811Z","signed_message":"canonical_sha256_bytes"},"source_id":"2105.14311","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:be1836c5e27a7115d707daefb08b4a56b08dd0644bad852b513c5bf601d0fc62","sha256:5ebc0caaf0b4ab1f52ce937e638a4359beafe51ab2b32899091ea35b8d2196fc"],"state_sha256":"7ee3dbc859e1cbe618aec20918bc55f04cdf19dbbb638efbd643e20cab349c5e"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"IBqIEZxUlwkAn6uF/N1bFaANvLZcy2yMWHahVe3wQO/d33PIkZ0Z1QiRwCSLasNr3qq7C6ubeiZ2PLMHQP9jDA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-04T18:28:26.422016Z","bundle_sha256":"fcd7f6f5485a543091da5c08861540689d262e3f94a54411bed27dd9602044d9"}}