{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:XC44JISXSZ33IWIBVX56IEUQ45","short_pith_number":"pith:XC44JISX","canonical_record":{"source":{"id":"1811.01372","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2018-11-04T14:04:49Z","cross_cats_sorted":[],"title_canon_sha256":"a83190429cdd9234df7441d59c1e3f2ec4577fb1c8d5f9bbcc0572346e6316a7","abstract_canon_sha256":"b3776afa7016545ea34e4fd9b395924de3940666f053f9292892239ccc09c64b"},"schema_version":"1.0"},"canonical_sha256":"b8b9c4a2579677b45901adfbe41290e75a6a41a6c6492d0c1732feca0f873095","source":{"kind":"arxiv","id":"1811.01372","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1811.01372","created_at":"2026-05-18T00:01:34Z"},{"alias_kind":"arxiv_version","alias_value":"1811.01372v1","created_at":"2026-05-18T00:01:34Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1811.01372","created_at":"2026-05-18T00:01:34Z"},{"alias_kind":"pith_short_12","alias_value":"XC44JISXSZ33","created_at":"2026-05-18T12:33:01Z"},{"alias_kind":"pith_short_16","alias_value":"XC44JISXSZ33IWIB","created_at":"2026-05-18T12:33:01Z"},{"alias_kind":"pith_short_8","alias_value":"XC44JISX","created_at":"2026-05-18T12:33:01Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:XC44JISXSZ33IWIBVX56IEUQ45","target":"record","payload":{"canonical_record":{"source":{"id":"1811.01372","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2018-11-04T14:04:49Z","cross_cats_sorted":[],"title_canon_sha256":"a83190429cdd9234df7441d59c1e3f2ec4577fb1c8d5f9bbcc0572346e6316a7","abstract_canon_sha256":"b3776afa7016545ea34e4fd9b395924de3940666f053f9292892239ccc09c64b"},"schema_version":"1.0"},"canonical_sha256":"b8b9c4a2579677b45901adfbe41290e75a6a41a6c6492d0c1732feca0f873095","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:01:34.483477Z","signature_b64":"/FODUab1U8KIAxnTm//CbHGV6YzU9TAIVhF3jIsmgZNZPHc1Vd0U5Jd3I2phDjvIzLjKwV0F8BeoPMLTEd+jBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b8b9c4a2579677b45901adfbe41290e75a6a41a6c6492d0c1732feca0f873095","last_reissued_at":"2026-05-18T00:01:34.482901Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:01:34.482901Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1811.01372","source_version":1,"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-18T00:01:34Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"+zg+V2Nd+JS6SHJMwImmvmHTx6/ya8WXslqVcSc91degm5jx5393Xs/zVyb7gP0rv1F/WDsnFZlPMaEVclqABA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-05T02:15:33.932556Z"},"content_sha256":"a187bcc435931f02bc8372a1ef5875cb3ddfbbde3860d10c0c1e079bde68d142","schema_version":"1.0","event_id":"sha256:a187bcc435931f02bc8372a1ef5875cb3ddfbbde3860d10c0c1e079bde68d142"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:XC44JISXSZ33IWIBVX56IEUQ45","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Transient Stability Analysis of Power Systems via Occupation Measures","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.OC","authors_text":"Cedric Josz, Daniel K. Molzahn, Matteo Tacchi, Somayeh Sojoudi","submitted_at":"2018-11-04T14:04:49Z","abstract_excerpt":"We propose the application of occupation measure theory to the classical problem of transient stability analysis for power systems. This enables the computation of certified inner and outer approximations for the region of attraction of a nominal operating point. In order to determine whether a post-disturbance point requires corrective actions to ensure stability, one would then simply need to check the sign of a polynomial evaluated at that point. Thus, computationally expensive dynamical simulations are only required for post-disturbance points in the region between the inner and outer appr"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1811.01372","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"},"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-18T00:01:34Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"L1Ru7bOhipXXYAvUvPsWkzZnldZTa44VVDVOLapwEnB1+DUs3IoSrWfeZDVsVCjFNpTpCDLisZo3MtGpTBNlCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-05T02:15:33.932894Z"},"content_sha256":"349d1dfc226b9ea1f1f8c817ddd68cdbb467de1788a04f53c96cb1251202d43d","schema_version":"1.0","event_id":"sha256:349d1dfc226b9ea1f1f8c817ddd68cdbb467de1788a04f53c96cb1251202d43d"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/XC44JISXSZ33IWIBVX56IEUQ45/bundle.json","state_url":"https://pith.science/pith/XC44JISXSZ33IWIBVX56IEUQ45/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/XC44JISXSZ33IWIBVX56IEUQ45/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-05T02:15:33Z","links":{"resolver":"https://pith.science/pith/XC44JISXSZ33IWIBVX56IEUQ45","bundle":"https://pith.science/pith/XC44JISXSZ33IWIBVX56IEUQ45/bundle.json","state":"https://pith.science/pith/XC44JISXSZ33IWIBVX56IEUQ45/state.json","well_known_bundle":"https://pith.science/.well-known/pith/XC44JISXSZ33IWIBVX56IEUQ45/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:XC44JISXSZ33IWIBVX56IEUQ45","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":"b3776afa7016545ea34e4fd9b395924de3940666f053f9292892239ccc09c64b","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2018-11-04T14:04:49Z","title_canon_sha256":"a83190429cdd9234df7441d59c1e3f2ec4577fb1c8d5f9bbcc0572346e6316a7"},"schema_version":"1.0","source":{"id":"1811.01372","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1811.01372","created_at":"2026-05-18T00:01:34Z"},{"alias_kind":"arxiv_version","alias_value":"1811.01372v1","created_at":"2026-05-18T00:01:34Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1811.01372","created_at":"2026-05-18T00:01:34Z"},{"alias_kind":"pith_short_12","alias_value":"XC44JISXSZ33","created_at":"2026-05-18T12:33:01Z"},{"alias_kind":"pith_short_16","alias_value":"XC44JISXSZ33IWIB","created_at":"2026-05-18T12:33:01Z"},{"alias_kind":"pith_short_8","alias_value":"XC44JISX","created_at":"2026-05-18T12:33:01Z"}],"graph_snapshots":[{"event_id":"sha256:349d1dfc226b9ea1f1f8c817ddd68cdbb467de1788a04f53c96cb1251202d43d","target":"graph","created_at":"2026-05-18T00:01:34Z","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":"We propose the application of occupation measure theory to the classical problem of transient stability analysis for power systems. This enables the computation of certified inner and outer approximations for the region of attraction of a nominal operating point. In order to determine whether a post-disturbance point requires corrective actions to ensure stability, one would then simply need to check the sign of a polynomial evaluated at that point. Thus, computationally expensive dynamical simulations are only required for post-disturbance points in the region between the inner and outer appr","authors_text":"Cedric Josz, Daniel K. Molzahn, Matteo Tacchi, Somayeh Sojoudi","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2018-11-04T14:04:49Z","title":"Transient Stability Analysis of Power Systems via Occupation Measures"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1811.01372","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:a187bcc435931f02bc8372a1ef5875cb3ddfbbde3860d10c0c1e079bde68d142","target":"record","created_at":"2026-05-18T00:01:34Z","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":"b3776afa7016545ea34e4fd9b395924de3940666f053f9292892239ccc09c64b","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2018-11-04T14:04:49Z","title_canon_sha256":"a83190429cdd9234df7441d59c1e3f2ec4577fb1c8d5f9bbcc0572346e6316a7"},"schema_version":"1.0","source":{"id":"1811.01372","kind":"arxiv","version":1}},"canonical_sha256":"b8b9c4a2579677b45901adfbe41290e75a6a41a6c6492d0c1732feca0f873095","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"b8b9c4a2579677b45901adfbe41290e75a6a41a6c6492d0c1732feca0f873095","first_computed_at":"2026-05-18T00:01:34.482901Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:01:34.482901Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"/FODUab1U8KIAxnTm//CbHGV6YzU9TAIVhF3jIsmgZNZPHc1Vd0U5Jd3I2phDjvIzLjKwV0F8BeoPMLTEd+jBw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:01:34.483477Z","signed_message":"canonical_sha256_bytes"},"source_id":"1811.01372","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:a187bcc435931f02bc8372a1ef5875cb3ddfbbde3860d10c0c1e079bde68d142","sha256:349d1dfc226b9ea1f1f8c817ddd68cdbb467de1788a04f53c96cb1251202d43d"],"state_sha256":"670b3e01a099876fcb22f7c58fd80e708b7bbd27169bbf2bdbc515ebada8efb3"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ZK7X6FKG3uuXZEqDemFdxTZF2qZ5AXuf3VssvT3t4ykjG9FkNwtT93wFU78zug31vlQ/a43D4PR34rtA/F9jBg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-05T02:15:33.935160Z","bundle_sha256":"c7ecef8a3bfab0ec8133f6fb21553f76836cc93d95074bacef3ef7088c060fe6"}}