{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:5M4URSYKQ3ROL4XT7XWAZSNFUZ","short_pith_number":"pith:5M4URSYK","canonical_record":{"source":{"id":"1404.5906","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2014-04-23T17:34:21Z","cross_cats_sorted":[],"title_canon_sha256":"c493d0e11d1e4b358f0c570f5d17ef1b38308a054953f469ac2f6f386b923456","abstract_canon_sha256":"0e790c04848b08124dcddfcf22dc6bbc4e0baff2c6f8fee3b9a166816c4c1308"},"schema_version":"1.0"},"canonical_sha256":"eb3948cb0a86e2e5f2f3fdec0cc9a5a64797c4b6b1fddffa7d05ebbaaa7a9469","source":{"kind":"arxiv","id":"1404.5906","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1404.5906","created_at":"2026-05-18T02:53:27Z"},{"alias_kind":"arxiv_version","alias_value":"1404.5906v1","created_at":"2026-05-18T02:53:27Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1404.5906","created_at":"2026-05-18T02:53:27Z"},{"alias_kind":"pith_short_12","alias_value":"5M4URSYKQ3RO","created_at":"2026-05-18T12:28:14Z"},{"alias_kind":"pith_short_16","alias_value":"5M4URSYKQ3ROL4XT","created_at":"2026-05-18T12:28:14Z"},{"alias_kind":"pith_short_8","alias_value":"5M4URSYK","created_at":"2026-05-18T12:28:14Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:5M4URSYKQ3ROL4XT7XWAZSNFUZ","target":"record","payload":{"canonical_record":{"source":{"id":"1404.5906","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2014-04-23T17:34:21Z","cross_cats_sorted":[],"title_canon_sha256":"c493d0e11d1e4b358f0c570f5d17ef1b38308a054953f469ac2f6f386b923456","abstract_canon_sha256":"0e790c04848b08124dcddfcf22dc6bbc4e0baff2c6f8fee3b9a166816c4c1308"},"schema_version":"1.0"},"canonical_sha256":"eb3948cb0a86e2e5f2f3fdec0cc9a5a64797c4b6b1fddffa7d05ebbaaa7a9469","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:53:27.563300Z","signature_b64":"Z7XiKlXm0WoD7GDogQ2MYbiBJDubhzR5br7TbFStbVmEF9NqWGdZQ+b2evnUxXpIWz9pF5j0FeNEmDUBzx/7BQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"eb3948cb0a86e2e5f2f3fdec0cc9a5a64797c4b6b1fddffa7d05ebbaaa7a9469","last_reissued_at":"2026-05-18T02:53:27.562595Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:53:27.562595Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1404.5906","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-18T02:53:27Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"2sGZ3OTcSEcnv3DpJyvgYfYekg7l4N7B2t9fcNiUIf23/4MHfO5e2hoWs/GSARoyzIGxbvxHeQmCegx+DGt0Bw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-26T21:48:25.070827Z"},"content_sha256":"48e43c238fa7989a1c3361ece39f44c7a281e1ed2f047acf92ff69080a099a1f","schema_version":"1.0","event_id":"sha256:48e43c238fa7989a1c3361ece39f44c7a281e1ed2f047acf92ff69080a099a1f"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:5M4URSYKQ3ROL4XT7XWAZSNFUZ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Computational Techniques for Reachability Analysis of Partially Observable Discrete Time Stochastic Hybrid Systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.OC","authors_text":"Kendra Lesser, Meeko Oishi","submitted_at":"2014-04-23T17:34:21Z","abstract_excerpt":"Reachability analysis of hybrid systems has been used as a safety verification tool to assess offline whether the state of a system is capable of remaining within a designated safe region for a given time horizon. Although it has been applied to stochastic hybrid systems, little work has been done on the equally important problem of reachability under incomplete or noisy measurements of the state. Further, there are currently no computational methods or results for reachability analysis of partially observable discrete time stochastic hybrid systems. We provide the first numerical results for "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1404.5906","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-18T02:53:27Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"5EJU5y4dGFbc9g0OgiAD1ZSqCQRftL5037a1SXBA2k2MRdJs+CzQI8XgGQwyNX6IapJ7/RqCOJKQG6SbQAQVAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-26T21:48:25.071168Z"},"content_sha256":"2e9777c4d0f6974b1952fc77b7b57047115e6818fdf1b44c7dde7dd40c3787e3","schema_version":"1.0","event_id":"sha256:2e9777c4d0f6974b1952fc77b7b57047115e6818fdf1b44c7dde7dd40c3787e3"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/5M4URSYKQ3ROL4XT7XWAZSNFUZ/bundle.json","state_url":"https://pith.science/pith/5M4URSYKQ3ROL4XT7XWAZSNFUZ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/5M4URSYKQ3ROL4XT7XWAZSNFUZ/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-26T21:48:25Z","links":{"resolver":"https://pith.science/pith/5M4URSYKQ3ROL4XT7XWAZSNFUZ","bundle":"https://pith.science/pith/5M4URSYKQ3ROL4XT7XWAZSNFUZ/bundle.json","state":"https://pith.science/pith/5M4URSYKQ3ROL4XT7XWAZSNFUZ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/5M4URSYKQ3ROL4XT7XWAZSNFUZ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:5M4URSYKQ3ROL4XT7XWAZSNFUZ","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":"0e790c04848b08124dcddfcf22dc6bbc4e0baff2c6f8fee3b9a166816c4c1308","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2014-04-23T17:34:21Z","title_canon_sha256":"c493d0e11d1e4b358f0c570f5d17ef1b38308a054953f469ac2f6f386b923456"},"schema_version":"1.0","source":{"id":"1404.5906","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1404.5906","created_at":"2026-05-18T02:53:27Z"},{"alias_kind":"arxiv_version","alias_value":"1404.5906v1","created_at":"2026-05-18T02:53:27Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1404.5906","created_at":"2026-05-18T02:53:27Z"},{"alias_kind":"pith_short_12","alias_value":"5M4URSYKQ3RO","created_at":"2026-05-18T12:28:14Z"},{"alias_kind":"pith_short_16","alias_value":"5M4URSYKQ3ROL4XT","created_at":"2026-05-18T12:28:14Z"},{"alias_kind":"pith_short_8","alias_value":"5M4URSYK","created_at":"2026-05-18T12:28:14Z"}],"graph_snapshots":[{"event_id":"sha256:2e9777c4d0f6974b1952fc77b7b57047115e6818fdf1b44c7dde7dd40c3787e3","target":"graph","created_at":"2026-05-18T02:53:27Z","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":"Reachability analysis of hybrid systems has been used as a safety verification tool to assess offline whether the state of a system is capable of remaining within a designated safe region for a given time horizon. Although it has been applied to stochastic hybrid systems, little work has been done on the equally important problem of reachability under incomplete or noisy measurements of the state. Further, there are currently no computational methods or results for reachability analysis of partially observable discrete time stochastic hybrid systems. We provide the first numerical results for ","authors_text":"Kendra Lesser, Meeko Oishi","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2014-04-23T17:34:21Z","title":"Computational Techniques for Reachability Analysis of Partially Observable Discrete Time Stochastic Hybrid Systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1404.5906","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:48e43c238fa7989a1c3361ece39f44c7a281e1ed2f047acf92ff69080a099a1f","target":"record","created_at":"2026-05-18T02:53:27Z","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":"0e790c04848b08124dcddfcf22dc6bbc4e0baff2c6f8fee3b9a166816c4c1308","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2014-04-23T17:34:21Z","title_canon_sha256":"c493d0e11d1e4b358f0c570f5d17ef1b38308a054953f469ac2f6f386b923456"},"schema_version":"1.0","source":{"id":"1404.5906","kind":"arxiv","version":1}},"canonical_sha256":"eb3948cb0a86e2e5f2f3fdec0cc9a5a64797c4b6b1fddffa7d05ebbaaa7a9469","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"eb3948cb0a86e2e5f2f3fdec0cc9a5a64797c4b6b1fddffa7d05ebbaaa7a9469","first_computed_at":"2026-05-18T02:53:27.562595Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:53:27.562595Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Z7XiKlXm0WoD7GDogQ2MYbiBJDubhzR5br7TbFStbVmEF9NqWGdZQ+b2evnUxXpIWz9pF5j0FeNEmDUBzx/7BQ==","signature_status":"signed_v1","signed_at":"2026-05-18T02:53:27.563300Z","signed_message":"canonical_sha256_bytes"},"source_id":"1404.5906","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:48e43c238fa7989a1c3361ece39f44c7a281e1ed2f047acf92ff69080a099a1f","sha256:2e9777c4d0f6974b1952fc77b7b57047115e6818fdf1b44c7dde7dd40c3787e3"],"state_sha256":"2b5cda4aebae1fb20fcd7d6206b5d229ad1218cd5f0ae7afda52a317b21a4653"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"zhVyz+nlLD8c6g6OTQ7/N/1W1/ZHZ97mcms7/DZ/S6dxXMq9LE0FlyQr2eHfK1LrSBz0lbaL2GHYswuzE5cwBA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-26T21:48:25.073036Z","bundle_sha256":"11feca48b067e52ab6df14c4c86756a698999843e23e61615870622488cc6999"}}