{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:JLZZLJHLWOB2WLGS7VMBDCLKHO","short_pith_number":"pith:JLZZLJHL","canonical_record":{"source":{"id":"1903.05311","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2019-03-13T04:49:49Z","cross_cats_sorted":[],"title_canon_sha256":"bb3f9687aff21520a3a8883409e99948b40ff279f3c7faa819ae50dbc032a010","abstract_canon_sha256":"f077113b36918e56a6ab010d2b1faa2bd7895e8b331905795c58fef25452e49b"},"schema_version":"1.0"},"canonical_sha256":"4af395a4ebb383ab2cd2fd5811896a3bb5976e1ceeb1322159d9e3c890c50817","source":{"kind":"arxiv","id":"1903.05311","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1903.05311","created_at":"2026-05-17T23:48:50Z"},{"alias_kind":"arxiv_version","alias_value":"1903.05311v2","created_at":"2026-05-17T23:48:50Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1903.05311","created_at":"2026-05-17T23:48:50Z"},{"alias_kind":"pith_short_12","alias_value":"JLZZLJHLWOB2","created_at":"2026-05-18T12:33:21Z"},{"alias_kind":"pith_short_16","alias_value":"JLZZLJHLWOB2WLGS","created_at":"2026-05-18T12:33:21Z"},{"alias_kind":"pith_short_8","alias_value":"JLZZLJHL","created_at":"2026-05-18T12:33:21Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:JLZZLJHLWOB2WLGS7VMBDCLKHO","target":"record","payload":{"canonical_record":{"source":{"id":"1903.05311","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2019-03-13T04:49:49Z","cross_cats_sorted":[],"title_canon_sha256":"bb3f9687aff21520a3a8883409e99948b40ff279f3c7faa819ae50dbc032a010","abstract_canon_sha256":"f077113b36918e56a6ab010d2b1faa2bd7895e8b331905795c58fef25452e49b"},"schema_version":"1.0"},"canonical_sha256":"4af395a4ebb383ab2cd2fd5811896a3bb5976e1ceeb1322159d9e3c890c50817","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:48:50.031981Z","signature_b64":"nJ63VDfToF2MPlTPAGANYkeyFXmW2IYGX4trDWmmXMwfBYjy+zjziQ1J9YF0hzJsFIFO4qUAepH6FtG/4rYCBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"4af395a4ebb383ab2cd2fd5811896a3bb5976e1ceeb1322159d9e3c890c50817","last_reissued_at":"2026-05-17T23:48:50.031279Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:48:50.031279Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1903.05311","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-17T23:48:50Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"vjHVLmFv2x/7CeRe9y7kbSVswZT6k7lUfNHZXYUCZsG+lVbBXrL4BIBMmOTp6NsAP969y+lEcN6Pw1eU3NxzDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-25T19:48:57.234728Z"},"content_sha256":"cb79d161367e7114e10b9813110bd3fa94afa3ffd89e835f5579fad4129d0add","schema_version":"1.0","event_id":"sha256:cb79d161367e7114e10b9813110bd3fa94afa3ffd89e835f5579fad4129d0add"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:JLZZLJHLWOB2WLGS7VMBDCLKHO","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Safety Verification of Nonlinear Autonomous System via Occupation Measures","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.OC","authors_text":"Shaoru Chen, Victor M. Preciado, Ximing Chen","submitted_at":"2019-03-13T04:49:49Z","abstract_excerpt":"In this paper, we introduce a flexible notion of safety verification for nonlinear autonomous systems by measuring how much time the system spends in given unsafe regions. We consider this problem in the particular case of nonlinear systems with a polynomial dynamics and unsafe regions described by a collection of polynomial inequalities. In this context, we can quantify the amount of time spent in the unsafe regions as the solution to an infinite-dimensional linear program (LP). This LP measures the volume of the unsafe region with respect to the occupation measure of the system trajectories."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1903.05311","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":""},"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-17T23:48:50Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"/ZOXjSBI1ikny6BT8cMRUlUp+V9TjWdLMiaOPe+ou2hkFQ36JowUFsElto07kILsOgkuim6kH1LSCRE6e72eDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-25T19:48:57.235065Z"},"content_sha256":"55d29d7e60848042f6fec83dbbb73d5f2b65a985d540686aff9a1f4a0692c5b8","schema_version":"1.0","event_id":"sha256:55d29d7e60848042f6fec83dbbb73d5f2b65a985d540686aff9a1f4a0692c5b8"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/JLZZLJHLWOB2WLGS7VMBDCLKHO/bundle.json","state_url":"https://pith.science/pith/JLZZLJHLWOB2WLGS7VMBDCLKHO/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/JLZZLJHLWOB2WLGS7VMBDCLKHO/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-07-25T19:48:57Z","links":{"resolver":"https://pith.science/pith/JLZZLJHLWOB2WLGS7VMBDCLKHO","bundle":"https://pith.science/pith/JLZZLJHLWOB2WLGS7VMBDCLKHO/bundle.json","state":"https://pith.science/pith/JLZZLJHLWOB2WLGS7VMBDCLKHO/state.json","well_known_bundle":"https://pith.science/.well-known/pith/JLZZLJHLWOB2WLGS7VMBDCLKHO/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:JLZZLJHLWOB2WLGS7VMBDCLKHO","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":"f077113b36918e56a6ab010d2b1faa2bd7895e8b331905795c58fef25452e49b","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2019-03-13T04:49:49Z","title_canon_sha256":"bb3f9687aff21520a3a8883409e99948b40ff279f3c7faa819ae50dbc032a010"},"schema_version":"1.0","source":{"id":"1903.05311","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1903.05311","created_at":"2026-05-17T23:48:50Z"},{"alias_kind":"arxiv_version","alias_value":"1903.05311v2","created_at":"2026-05-17T23:48:50Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1903.05311","created_at":"2026-05-17T23:48:50Z"},{"alias_kind":"pith_short_12","alias_value":"JLZZLJHLWOB2","created_at":"2026-05-18T12:33:21Z"},{"alias_kind":"pith_short_16","alias_value":"JLZZLJHLWOB2WLGS","created_at":"2026-05-18T12:33:21Z"},{"alias_kind":"pith_short_8","alias_value":"JLZZLJHL","created_at":"2026-05-18T12:33:21Z"}],"graph_snapshots":[{"event_id":"sha256:55d29d7e60848042f6fec83dbbb73d5f2b65a985d540686aff9a1f4a0692c5b8","target":"graph","created_at":"2026-05-17T23:48:50Z","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"},"paper":{"abstract_excerpt":"In this paper, we introduce a flexible notion of safety verification for nonlinear autonomous systems by measuring how much time the system spends in given unsafe regions. We consider this problem in the particular case of nonlinear systems with a polynomial dynamics and unsafe regions described by a collection of polynomial inequalities. In this context, we can quantify the amount of time spent in the unsafe regions as the solution to an infinite-dimensional linear program (LP). This LP measures the volume of the unsafe region with respect to the occupation measure of the system trajectories.","authors_text":"Shaoru Chen, Victor M. Preciado, Ximing Chen","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2019-03-13T04:49:49Z","title":"Safety Verification of Nonlinear Autonomous System via Occupation Measures"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1903.05311","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:cb79d161367e7114e10b9813110bd3fa94afa3ffd89e835f5579fad4129d0add","target":"record","created_at":"2026-05-17T23:48:50Z","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":"f077113b36918e56a6ab010d2b1faa2bd7895e8b331905795c58fef25452e49b","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2019-03-13T04:49:49Z","title_canon_sha256":"bb3f9687aff21520a3a8883409e99948b40ff279f3c7faa819ae50dbc032a010"},"schema_version":"1.0","source":{"id":"1903.05311","kind":"arxiv","version":2}},"canonical_sha256":"4af395a4ebb383ab2cd2fd5811896a3bb5976e1ceeb1322159d9e3c890c50817","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"4af395a4ebb383ab2cd2fd5811896a3bb5976e1ceeb1322159d9e3c890c50817","first_computed_at":"2026-05-17T23:48:50.031279Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:48:50.031279Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"nJ63VDfToF2MPlTPAGANYkeyFXmW2IYGX4trDWmmXMwfBYjy+zjziQ1J9YF0hzJsFIFO4qUAepH6FtG/4rYCBg==","signature_status":"signed_v1","signed_at":"2026-05-17T23:48:50.031981Z","signed_message":"canonical_sha256_bytes"},"source_id":"1903.05311","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:cb79d161367e7114e10b9813110bd3fa94afa3ffd89e835f5579fad4129d0add","sha256:55d29d7e60848042f6fec83dbbb73d5f2b65a985d540686aff9a1f4a0692c5b8"],"state_sha256":"b71c9735297aeedd8148288ef216a24b97aceef172f7ae05301488719a80fa66"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"CNsNLfV7QYZP25nygE5Zehh4CT5J/kbamHSu+6MfNKUlqjODqpHTZj8C8Qs/Or2cKHgGxittllRFekxllOSCCw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-25T19:48:57.237500Z","bundle_sha256":"ff9417cb1cda69ad3a6933e2e2c6399db2399713f4bbb1f021d7525049223f01"}}