{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:2LJUXZKN5CGKE5WRZRYQIZDHXS","short_pith_number":"pith:2LJUXZKN","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"},"canonical_sha256":"d2d34be54de88ca276d1cc71046467bc9ed0254e5b0de5355f3f9fc1bb5e592d","source":{"kind":"arxiv","id":"2412.03932","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2412.03932","created_at":"2026-05-20T00:00:16Z"},{"alias_kind":"arxiv_version","alias_value":"2412.03932v2","created_at":"2026-05-20T00:00:16Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2412.03932","created_at":"2026-05-20T00:00:16Z"},{"alias_kind":"pith_short_12","alias_value":"2LJUXZKN5CGK","created_at":"2026-05-20T00:00:16Z"},{"alias_kind":"pith_short_16","alias_value":"2LJUXZKN5CGKE5WR","created_at":"2026-05-20T00:00:16Z"},{"alias_kind":"pith_short_8","alias_value":"2LJUXZKN","created_at":"2026-05-20T00:00:16Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:2LJUXZKN5CGKE5WRZRYQIZDHXS","target":"record","payload":{"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"},"canonical_sha256":"d2d34be54de88ca276d1cc71046467bc9ed0254e5b0de5355f3f9fc1bb5e592d","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"},"source_kind":"arxiv","source_id":"2412.03932","source_version":2,"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-20T00:00:16Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"3fWL/mFW+B1GugH4rPqbkG/qiY19X/t7DEC2lwMugYvWeGzaolP0nT3WgIAxtdnUEJf5Juc09Xg4K+dKi+b1Cw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T07:35:36.982030Z"},"content_sha256":"b46dfe1b17a00dce0db4f63ceba002955dd9a4b3796d3ebc04a3ffe1642fe062","schema_version":"1.0","event_id":"sha256:b46dfe1b17a00dce0db4f63ceba002955dd9a4b3796d3ebc04a3ffe1642fe062"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:2LJUXZKN5CGKE5WRZRYQIZDHXS","target":"graph","payload":{"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"},"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-20T00:00:16Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"RsJB1QQM0VusbDuQ6OoA7qun4cvCUCUbZ6CCEDnEDk3CCUedqjIfhsjlVRUrTDbE91H21Grd4cTq5g/ZfBYrAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T07:35:36.982417Z"},"content_sha256":"aed40b3aeb60c919a4c4f569f02f8fe1cebc204f7ad10be5401901d0c349fc0f","schema_version":"1.0","event_id":"sha256:aed40b3aeb60c919a4c4f569f02f8fe1cebc204f7ad10be5401901d0c349fc0f"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/2LJUXZKN5CGKE5WRZRYQIZDHXS/bundle.json","state_url":"https://pith.science/pith/2LJUXZKN5CGKE5WRZRYQIZDHXS/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/2LJUXZKN5CGKE5WRZRYQIZDHXS/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-01T07:35:36Z","links":{"resolver":"https://pith.science/pith/2LJUXZKN5CGKE5WRZRYQIZDHXS","bundle":"https://pith.science/pith/2LJUXZKN5CGKE5WRZRYQIZDHXS/bundle.json","state":"https://pith.science/pith/2LJUXZKN5CGKE5WRZRYQIZDHXS/state.json","well_known_bundle":"https://pith.science/.well-known/pith/2LJUXZKN5CGKE5WRZRYQIZDHXS/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:2LJUXZKN5CGKE5WRZRYQIZDHXS","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":"f7303189103901c451f8660f683cd1ab16a5ff2b3526173a6796d9dcbe26b0fd","cross_cats_sorted":["cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2024-12-05T07:22:32Z","title_canon_sha256":"5c53ae439a5ef7ce86542dfb4e3606ae4ae2a79da7adf9cba1b1e2e021ee9193"},"schema_version":"1.0","source":{"id":"2412.03932","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2412.03932","created_at":"2026-05-20T00:00:16Z"},{"alias_kind":"arxiv_version","alias_value":"2412.03932v2","created_at":"2026-05-20T00:00:16Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2412.03932","created_at":"2026-05-20T00:00:16Z"},{"alias_kind":"pith_short_12","alias_value":"2LJUXZKN5CGK","created_at":"2026-05-20T00:00:16Z"},{"alias_kind":"pith_short_16","alias_value":"2LJUXZKN5CGKE5WR","created_at":"2026-05-20T00:00:16Z"},{"alias_kind":"pith_short_8","alias_value":"2LJUXZKN","created_at":"2026-05-20T00:00:16Z"}],"graph_snapshots":[{"event_id":"sha256:aed40b3aeb60c919a4c4f569f02f8fe1cebc204f7ad10be5401901d0c349fc0f","target":"graph","created_at":"2026-05-20T00:00:16Z","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/2412.03932/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"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","authors_text":"Abolfazl Lavaei, Ali Aminzadeh, Amy Nejati, MohammadHossein Ashoori","cross_cats":["cs.SY"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2024-12-05T07:22:32Z","title":"A Physics-Informed Scenario Approach with Data Mitigation for Safety Verification of Nonlinear Systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2412.03932","kind":"arxiv","version":2},"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:b46dfe1b17a00dce0db4f63ceba002955dd9a4b3796d3ebc04a3ffe1642fe062","target":"record","created_at":"2026-05-20T00:00:16Z","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":"f7303189103901c451f8660f683cd1ab16a5ff2b3526173a6796d9dcbe26b0fd","cross_cats_sorted":["cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2024-12-05T07:22:32Z","title_canon_sha256":"5c53ae439a5ef7ce86542dfb4e3606ae4ae2a79da7adf9cba1b1e2e021ee9193"},"schema_version":"1.0","source":{"id":"2412.03932","kind":"arxiv","version":2}},"canonical_sha256":"d2d34be54de88ca276d1cc71046467bc9ed0254e5b0de5355f3f9fc1bb5e592d","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"d2d34be54de88ca276d1cc71046467bc9ed0254e5b0de5355f3f9fc1bb5e592d","first_computed_at":"2026-05-20T00:00:16.881368Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-20T00:00:16.881368Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"B1KgJFESy+p83z8JV+R9mcqZK260v7ZaH38odW7+vFsXYIMLrY/50m0n0zebeYPx0gJyXnTIx59x40bXKTHAAA==","signature_status":"signed_v1","signed_at":"2026-05-20T00:00:16.881964Z","signed_message":"canonical_sha256_bytes"},"source_id":"2412.03932","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:b46dfe1b17a00dce0db4f63ceba002955dd9a4b3796d3ebc04a3ffe1642fe062","sha256:aed40b3aeb60c919a4c4f569f02f8fe1cebc204f7ad10be5401901d0c349fc0f"],"state_sha256":"064540acf51171dc035a32c42fdd7e0a13f0cdabfa77cbcfdb5629f445bac4a6"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"XGyijTuDV52m2ZrH5FUkTOifn0Oq0r2/xI+95eT9aOfxapDn4+fK5Ukx0yH+ZREkpO51Q5NtNbSSZpKBOEHxDw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-01T07:35:36.984617Z","bundle_sha256":"f2e4214d0722e3f39fe350426cac4c9e99acd22c882a048e06420669475e0f5f"}}