{"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"}