{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2013:5ZJVHYYTIB2ZPL3GVQDY3HDZDI","short_pith_number":"pith:5ZJVHYYT","schema_version":"1.0","canonical_sha256":"ee5353e313407597af66ac078d9c791a2aa69567e43db19ac038332b944080f6","source":{"kind":"arxiv","id":"1303.6885","version":1},"attestation_state":"computed","paper":{"title":"Exponential-Condition-Based Barrier Certificate Generation for Safety Verification of Hybrid Systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.OC"],"primary_cat":"cs.SE","authors_text":"Fei He, Hui Kong, Ming Gu, William N. N. Hung, Xiaoyu Song","submitted_at":"2013-03-27T16:28:35Z","abstract_excerpt":"A barrier certificate is an inductive invariant function which can be used for the safety verification of a hybrid system. Safety verification based on barrier certificate has the benefit of avoiding explicit computation of the exact reachable set which is usually intractable for nonlinear hybrid systems. In this paper, we propose a new barrier certificate condition, called Exponential Condition, for the safety verification of semi-algebraic hybrid systems. The most important benefit of Exponential Condition is that it has a lower conservativeness than the existing convex condition and meanwhi"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1303.6885","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2013-03-27T16:28:35Z","cross_cats_sorted":["math.OC"],"title_canon_sha256":"6f0a57e4f29e8010c29b73e4e9576b8c5bf5364705804ff691d3391ecddf9dc8","abstract_canon_sha256":"04810d370b43481ffd445f5244cb5f75f86cb91d83568c159d0751bf27f448b5"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:29:39.458825Z","signature_b64":"exUdp+LbdjQoUQHtxmJIYU94Q1EoZuqJ37W2BC1w4KrRb9b6A+AIq7wTwVCm/DCUshQwadgkAUx3YFEwx2BwBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ee5353e313407597af66ac078d9c791a2aa69567e43db19ac038332b944080f6","last_reissued_at":"2026-05-18T03:29:39.457859Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:29:39.457859Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Exponential-Condition-Based Barrier Certificate Generation for Safety Verification of Hybrid Systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.OC"],"primary_cat":"cs.SE","authors_text":"Fei He, Hui Kong, Ming Gu, William N. N. Hung, Xiaoyu Song","submitted_at":"2013-03-27T16:28:35Z","abstract_excerpt":"A barrier certificate is an inductive invariant function which can be used for the safety verification of a hybrid system. Safety verification based on barrier certificate has the benefit of avoiding explicit computation of the exact reachable set which is usually intractable for nonlinear hybrid systems. In this paper, we propose a new barrier certificate condition, called Exponential Condition, for the safety verification of semi-algebraic hybrid systems. The most important benefit of Exponential Condition is that it has a lower conservativeness than the existing convex condition and meanwhi"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1303.6885","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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1303.6885","created_at":"2026-05-18T03:29:39.457984+00:00"},{"alias_kind":"arxiv_version","alias_value":"1303.6885v1","created_at":"2026-05-18T03:29:39.457984+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1303.6885","created_at":"2026-05-18T03:29:39.457984+00:00"},{"alias_kind":"pith_short_12","alias_value":"5ZJVHYYTIB2Z","created_at":"2026-05-18T12:27:34.582898+00:00"},{"alias_kind":"pith_short_16","alias_value":"5ZJVHYYTIB2ZPL3G","created_at":"2026-05-18T12:27:34.582898+00:00"},{"alias_kind":"pith_short_8","alias_value":"5ZJVHYYT","created_at":"2026-05-18T12:27:34.582898+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/5ZJVHYYTIB2ZPL3GVQDY3HDZDI","json":"https://pith.science/pith/5ZJVHYYTIB2ZPL3GVQDY3HDZDI.json","graph_json":"https://pith.science/api/pith-number/5ZJVHYYTIB2ZPL3GVQDY3HDZDI/graph.json","events_json":"https://pith.science/api/pith-number/5ZJVHYYTIB2ZPL3GVQDY3HDZDI/events.json","paper":"https://pith.science/paper/5ZJVHYYT"},"agent_actions":{"view_html":"https://pith.science/pith/5ZJVHYYTIB2ZPL3GVQDY3HDZDI","download_json":"https://pith.science/pith/5ZJVHYYTIB2ZPL3GVQDY3HDZDI.json","view_paper":"https://pith.science/paper/5ZJVHYYT","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1303.6885&json=true","fetch_graph":"https://pith.science/api/pith-number/5ZJVHYYTIB2ZPL3GVQDY3HDZDI/graph.json","fetch_events":"https://pith.science/api/pith-number/5ZJVHYYTIB2ZPL3GVQDY3HDZDI/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/5ZJVHYYTIB2ZPL3GVQDY3HDZDI/action/timestamp_anchor","attest_storage":"https://pith.science/pith/5ZJVHYYTIB2ZPL3GVQDY3HDZDI/action/storage_attestation","attest_author":"https://pith.science/pith/5ZJVHYYTIB2ZPL3GVQDY3HDZDI/action/author_attestation","sign_citation":"https://pith.science/pith/5ZJVHYYTIB2ZPL3GVQDY3HDZDI/action/citation_signature","submit_replication":"https://pith.science/pith/5ZJVHYYTIB2ZPL3GVQDY3HDZDI/action/replication_record"}},"created_at":"2026-05-18T03:29:39.457984+00:00","updated_at":"2026-05-18T03:29:39.457984+00:00"}