{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2014:C4MOXU5WUDD2BI42OLOLJ7E7WC","short_pith_number":"pith:C4MOXU5W","schema_version":"1.0","canonical_sha256":"1718ebd3b6a0c7a0a39a72dcb4fc9fb0b78ae5d2be4d08281ef4e174c2f61005","source":{"kind":"arxiv","id":"1401.5756","version":1},"attestation_state":"computed","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"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"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"},"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"},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1401.5756","created_at":"2026-05-18T03:01:24.753564+00:00"},{"alias_kind":"arxiv_version","alias_value":"1401.5756v1","created_at":"2026-05-18T03:01:24.753564+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1401.5756","created_at":"2026-05-18T03:01:24.753564+00:00"},{"alias_kind":"pith_short_12","alias_value":"C4MOXU5WUDD2","created_at":"2026-05-18T12:28:22.404517+00:00"},{"alias_kind":"pith_short_16","alias_value":"C4MOXU5WUDD2BI42","created_at":"2026-05-18T12:28:22.404517+00:00"},{"alias_kind":"pith_short_8","alias_value":"C4MOXU5W","created_at":"2026-05-18T12:28:22.404517+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/C4MOXU5WUDD2BI42OLOLJ7E7WC","json":"https://pith.science/pith/C4MOXU5WUDD2BI42OLOLJ7E7WC.json","graph_json":"https://pith.science/api/pith-number/C4MOXU5WUDD2BI42OLOLJ7E7WC/graph.json","events_json":"https://pith.science/api/pith-number/C4MOXU5WUDD2BI42OLOLJ7E7WC/events.json","paper":"https://pith.science/paper/C4MOXU5W"},"agent_actions":{"view_html":"https://pith.science/pith/C4MOXU5WUDD2BI42OLOLJ7E7WC","download_json":"https://pith.science/pith/C4MOXU5WUDD2BI42OLOLJ7E7WC.json","view_paper":"https://pith.science/paper/C4MOXU5W","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1401.5756&json=true","fetch_graph":"https://pith.science/api/pith-number/C4MOXU5WUDD2BI42OLOLJ7E7WC/graph.json","fetch_events":"https://pith.science/api/pith-number/C4MOXU5WUDD2BI42OLOLJ7E7WC/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/C4MOXU5WUDD2BI42OLOLJ7E7WC/action/timestamp_anchor","attest_storage":"https://pith.science/pith/C4MOXU5WUDD2BI42OLOLJ7E7WC/action/storage_attestation","attest_author":"https://pith.science/pith/C4MOXU5WUDD2BI42OLOLJ7E7WC/action/author_attestation","sign_citation":"https://pith.science/pith/C4MOXU5WUDD2BI42OLOLJ7E7WC/action/citation_signature","submit_replication":"https://pith.science/pith/C4MOXU5WUDD2BI42OLOLJ7E7WC/action/replication_record"}},"created_at":"2026-05-18T03:01:24.753564+00:00","updated_at":"2026-05-18T03:01:24.753564+00:00"}