{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2024:2LJUXZKN5CGKE5WRZRYQIZDHXS","short_pith_number":"pith:2LJUXZKN","schema_version":"1.0","canonical_sha256":"d2d34be54de88ca276d1cc71046467bc9ed0254e5b0de5355f3f9fc1bb5e592d","source":{"kind":"arxiv","id":"2412.03932","version":2},"attestation_state":"computed","paper":{"title":"A Physics-Informed Scenario Approach with Data Mitigation for Safety Verification of Nonlinear Systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SY"],"primary_cat":"eess.SY","authors_text":"Abolfazl Lavaei, Ali Aminzadeh, Amy Nejati, MohammadHossein Ashoori","submitted_at":"2024-12-05T07:22:32Z","abstract_excerpt":"This paper develops a physics-informed scenario approach for safety verification of nonlinear systems using barrier certificates (BCs) to ensure that system trajectories remain within safe regions over an infinite time horizon. Designing BCs often relies on an accurate dynamics model; however, such models are often imprecise due to the model complexity involved, particularly when dealing with highly nonlinear systems. In such cases, while scenario approaches effectively address the safety problem using collected data to construct a guaranteed BC for the unknown dynamical system, they often req"},"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":"2412.03932","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2024-12-05T07:22:32Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"5c53ae439a5ef7ce86542dfb4e3606ae4ae2a79da7adf9cba1b1e2e021ee9193","abstract_canon_sha256":"f7303189103901c451f8660f683cd1ab16a5ff2b3526173a6796d9dcbe26b0fd"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-20T00:00:16.881964Z","signature_b64":"B1KgJFESy+p83z8JV+R9mcqZK260v7ZaH38odW7+vFsXYIMLrY/50m0n0zebeYPx0gJyXnTIx59x40bXKTHAAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"d2d34be54de88ca276d1cc71046467bc9ed0254e5b0de5355f3f9fc1bb5e592d","last_reissued_at":"2026-05-20T00:00:16.881368Z","signature_status":"signed_v1","first_computed_at":"2026-05-20T00:00:16.881368Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"A Physics-Informed Scenario Approach with Data Mitigation for Safety Verification of Nonlinear Systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SY"],"primary_cat":"eess.SY","authors_text":"Abolfazl Lavaei, Ali Aminzadeh, Amy Nejati, MohammadHossein Ashoori","submitted_at":"2024-12-05T07:22:32Z","abstract_excerpt":"This paper develops a physics-informed scenario approach for safety verification of nonlinear systems using barrier certificates (BCs) to ensure that system trajectories remain within safe regions over an infinite time horizon. Designing BCs often relies on an accurate dynamics model; however, such models are often imprecise due to the model complexity involved, particularly when dealing with highly nonlinear systems. In such cases, while scenario approaches effectively address the safety problem using collected data to construct a guaranteed BC for the unknown dynamical system, they often req"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2412.03932","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/2412.03932/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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2412.03932","created_at":"2026-05-20T00:00:16.881466+00:00"},{"alias_kind":"arxiv_version","alias_value":"2412.03932v2","created_at":"2026-05-20T00:00:16.881466+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2412.03932","created_at":"2026-05-20T00:00:16.881466+00:00"},{"alias_kind":"pith_short_12","alias_value":"2LJUXZKN5CGK","created_at":"2026-05-20T00:00:16.881466+00:00"},{"alias_kind":"pith_short_16","alias_value":"2LJUXZKN5CGKE5WR","created_at":"2026-05-20T00:00:16.881466+00:00"},{"alias_kind":"pith_short_8","alias_value":"2LJUXZKN","created_at":"2026-05-20T00:00:16.881466+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/2LJUXZKN5CGKE5WRZRYQIZDHXS","json":"https://pith.science/pith/2LJUXZKN5CGKE5WRZRYQIZDHXS.json","graph_json":"https://pith.science/api/pith-number/2LJUXZKN5CGKE5WRZRYQIZDHXS/graph.json","events_json":"https://pith.science/api/pith-number/2LJUXZKN5CGKE5WRZRYQIZDHXS/events.json","paper":"https://pith.science/paper/2LJUXZKN"},"agent_actions":{"view_html":"https://pith.science/pith/2LJUXZKN5CGKE5WRZRYQIZDHXS","download_json":"https://pith.science/pith/2LJUXZKN5CGKE5WRZRYQIZDHXS.json","view_paper":"https://pith.science/paper/2LJUXZKN","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2412.03932&json=true","fetch_graph":"https://pith.science/api/pith-number/2LJUXZKN5CGKE5WRZRYQIZDHXS/graph.json","fetch_events":"https://pith.science/api/pith-number/2LJUXZKN5CGKE5WRZRYQIZDHXS/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/2LJUXZKN5CGKE5WRZRYQIZDHXS/action/timestamp_anchor","attest_storage":"https://pith.science/pith/2LJUXZKN5CGKE5WRZRYQIZDHXS/action/storage_attestation","attest_author":"https://pith.science/pith/2LJUXZKN5CGKE5WRZRYQIZDHXS/action/author_attestation","sign_citation":"https://pith.science/pith/2LJUXZKN5CGKE5WRZRYQIZDHXS/action/citation_signature","submit_replication":"https://pith.science/pith/2LJUXZKN5CGKE5WRZRYQIZDHXS/action/replication_record"}},"created_at":"2026-05-20T00:00:16.881466+00:00","updated_at":"2026-05-20T00:00:16.881466+00:00"}