{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:C4MOXU5WUDD2BI42OLOLJ7E7WC","short_pith_number":"pith:C4MOXU5W","canonical_record":{"source":{"id":"1401.5756","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2014-01-22T19:09:45Z","cross_cats_sorted":[],"title_canon_sha256":"3998166de865920a23d6191e07f0332c710112bec567a3737b2c20b15e4243d7","abstract_canon_sha256":"c42a2dd5eee384bc4cf19e2833a88b31961fa251fde32f78b8b448e3bf94ea6d"},"schema_version":"1.0"},"canonical_sha256":"1718ebd3b6a0c7a0a39a72dcb4fc9fb0b78ae5d2be4d08281ef4e174c2f61005","source":{"kind":"arxiv","id":"1401.5756","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1401.5756","created_at":"2026-05-18T03:01:24Z"},{"alias_kind":"arxiv_version","alias_value":"1401.5756v1","created_at":"2026-05-18T03:01:24Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1401.5756","created_at":"2026-05-18T03:01:24Z"},{"alias_kind":"pith_short_12","alias_value":"C4MOXU5WUDD2","created_at":"2026-05-18T12:28:22Z"},{"alias_kind":"pith_short_16","alias_value":"C4MOXU5WUDD2BI42","created_at":"2026-05-18T12:28:22Z"},{"alias_kind":"pith_short_8","alias_value":"C4MOXU5W","created_at":"2026-05-18T12:28:22Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:C4MOXU5WUDD2BI42OLOLJ7E7WC","target":"record","payload":{"canonical_record":{"source":{"id":"1401.5756","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2014-01-22T19:09:45Z","cross_cats_sorted":[],"title_canon_sha256":"3998166de865920a23d6191e07f0332c710112bec567a3737b2c20b15e4243d7","abstract_canon_sha256":"c42a2dd5eee384bc4cf19e2833a88b31961fa251fde32f78b8b448e3bf94ea6d"},"schema_version":"1.0"},"canonical_sha256":"1718ebd3b6a0c7a0a39a72dcb4fc9fb0b78ae5d2be4d08281ef4e174c2f61005","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:01:24.754070Z","signature_b64":"+7tOnX22VXa9T1ZQDB7/zFnyFuirqWWTnimGmkkNUXR6+LcnbB2ThvWJN3faBnL8UsuruUmZSR6pFMeQUeDxCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"1718ebd3b6a0c7a0a39a72dcb4fc9fb0b78ae5d2be4d08281ef4e174c2f61005","last_reissued_at":"2026-05-18T03:01:24.753478Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:01:24.753478Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1401.5756","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-18T03:01:24Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"8kZqF+YCIV8+B34UTCLn42mtALKC9zHy7XSWxvzv4c7Je5NG2aamGdai+mKsShP6/BqBsJ+n4nswVk59vHaWCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-26T21:08:54.302106Z"},"content_sha256":"f4e1c79d5c4d35997e641ef405309d9d674b48506311d632b9e1948a77f0afb5","schema_version":"1.0","event_id":"sha256:f4e1c79d5c4d35997e641ef405309d9d674b48506311d632b9e1948a77f0afb5"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:C4MOXU5WUDD2BI42OLOLJ7E7WC","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Reachability for 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-01-22T19:09:45Z","abstract_excerpt":"When designing optimal controllers for any system, it is often the case that the true state of the system is unknown to the controller, for example due to noisy measurements or partially observable states. Incomplete state information must be taken into account in the controller's design in order to preserve its optimality. The same is true when performing reachability calculations. To estimate the probability that the state of a stochastic system reaches, or stays within, some set of interest in a given time horizon, it is necessary to find a controller (or at least prove one exists) that dri"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1401.5756","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-18T03:01:24Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"0w9FEBpGzPbj4TgvYye5curcFAfQfkKzkd6iZdc/WnbyOshTb3a42WzMhnBZ7rLGUBCKAJP/V8MppkHS7zoZCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-26T21:08:54.302461Z"},"content_sha256":"07b0cf8964b221501e03e5931d969e42a8f42b8b70fc8e82be59dec9d3efe300","schema_version":"1.0","event_id":"sha256:07b0cf8964b221501e03e5931d969e42a8f42b8b70fc8e82be59dec9d3efe300"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/C4MOXU5WUDD2BI42OLOLJ7E7WC/bundle.json","state_url":"https://pith.science/pith/C4MOXU5WUDD2BI42OLOLJ7E7WC/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/C4MOXU5WUDD2BI42OLOLJ7E7WC/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:08:54Z","links":{"resolver":"https://pith.science/pith/C4MOXU5WUDD2BI42OLOLJ7E7WC","bundle":"https://pith.science/pith/C4MOXU5WUDD2BI42OLOLJ7E7WC/bundle.json","state":"https://pith.science/pith/C4MOXU5WUDD2BI42OLOLJ7E7WC/state.json","well_known_bundle":"https://pith.science/.well-known/pith/C4MOXU5WUDD2BI42OLOLJ7E7WC/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:C4MOXU5WUDD2BI42OLOLJ7E7WC","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":"c42a2dd5eee384bc4cf19e2833a88b31961fa251fde32f78b8b448e3bf94ea6d","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2014-01-22T19:09:45Z","title_canon_sha256":"3998166de865920a23d6191e07f0332c710112bec567a3737b2c20b15e4243d7"},"schema_version":"1.0","source":{"id":"1401.5756","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1401.5756","created_at":"2026-05-18T03:01:24Z"},{"alias_kind":"arxiv_version","alias_value":"1401.5756v1","created_at":"2026-05-18T03:01:24Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1401.5756","created_at":"2026-05-18T03:01:24Z"},{"alias_kind":"pith_short_12","alias_value":"C4MOXU5WUDD2","created_at":"2026-05-18T12:28:22Z"},{"alias_kind":"pith_short_16","alias_value":"C4MOXU5WUDD2BI42","created_at":"2026-05-18T12:28:22Z"},{"alias_kind":"pith_short_8","alias_value":"C4MOXU5W","created_at":"2026-05-18T12:28:22Z"}],"graph_snapshots":[{"event_id":"sha256:07b0cf8964b221501e03e5931d969e42a8f42b8b70fc8e82be59dec9d3efe300","target":"graph","created_at":"2026-05-18T03:01:24Z","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":"When designing optimal controllers for any system, it is often the case that the true state of the system is unknown to the controller, for example due to noisy measurements or partially observable states. Incomplete state information must be taken into account in the controller's design in order to preserve its optimality. The same is true when performing reachability calculations. To estimate the probability that the state of a stochastic system reaches, or stays within, some set of interest in a given time horizon, it is necessary to find a controller (or at least prove one exists) that dri","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-01-22T19:09:45Z","title":"Reachability for Partially Observable Discrete Time Stochastic Hybrid Systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1401.5756","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:f4e1c79d5c4d35997e641ef405309d9d674b48506311d632b9e1948a77f0afb5","target":"record","created_at":"2026-05-18T03:01:24Z","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":"c42a2dd5eee384bc4cf19e2833a88b31961fa251fde32f78b8b448e3bf94ea6d","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2014-01-22T19:09:45Z","title_canon_sha256":"3998166de865920a23d6191e07f0332c710112bec567a3737b2c20b15e4243d7"},"schema_version":"1.0","source":{"id":"1401.5756","kind":"arxiv","version":1}},"canonical_sha256":"1718ebd3b6a0c7a0a39a72dcb4fc9fb0b78ae5d2be4d08281ef4e174c2f61005","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"1718ebd3b6a0c7a0a39a72dcb4fc9fb0b78ae5d2be4d08281ef4e174c2f61005","first_computed_at":"2026-05-18T03:01:24.753478Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:01:24.753478Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"+7tOnX22VXa9T1ZQDB7/zFnyFuirqWWTnimGmkkNUXR6+LcnbB2ThvWJN3faBnL8UsuruUmZSR6pFMeQUeDxCw==","signature_status":"signed_v1","signed_at":"2026-05-18T03:01:24.754070Z","signed_message":"canonical_sha256_bytes"},"source_id":"1401.5756","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:f4e1c79d5c4d35997e641ef405309d9d674b48506311d632b9e1948a77f0afb5","sha256:07b0cf8964b221501e03e5931d969e42a8f42b8b70fc8e82be59dec9d3efe300"],"state_sha256":"3f0e8a03f32fe0b03f6a95cbc0cac58389242a4e30c47597c6b0b1265c0a032d"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"oCHFNnnfH+WB3EhJV8DIosPwqc2DtZtSlZ1O4Dq1qZhN9HHdEl9MNqISIgKigARxFixSAVEQjDsH6+daD9E6Dw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-26T21:08:54.304332Z","bundle_sha256":"305af545d9771179227f4528bf4bcc22c9dc700807094af635ede84feb3b9043"}}