{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:SDQ3UZ77EXKL5EWK2MTHXVKZCU","short_pith_number":"pith:SDQ3UZ77","canonical_record":{"source":{"id":"1410.8054","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2014-10-29T16:41:10Z","cross_cats_sorted":["math.OC"],"title_canon_sha256":"d9ec9eaaf0cf4460223be0abed88b9dedd27485da36ecb212d4af3112fe4255d","abstract_canon_sha256":"d5de9bc7b9ca8521414067b6760fcd0871bddcae46a4bac99f2c765f6b105248"},"schema_version":"1.0"},"canonical_sha256":"90e1ba67ff25d4be92cad3267bd559151954513d05ab8fbee70eddd41bb6ac88","source":{"kind":"arxiv","id":"1410.8054","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1410.8054","created_at":"2026-05-18T01:37:21Z"},{"alias_kind":"arxiv_version","alias_value":"1410.8054v3","created_at":"2026-05-18T01:37:21Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1410.8054","created_at":"2026-05-18T01:37:21Z"},{"alias_kind":"pith_short_12","alias_value":"SDQ3UZ77EXKL","created_at":"2026-05-18T12:28:49Z"},{"alias_kind":"pith_short_16","alias_value":"SDQ3UZ77EXKL5EWK","created_at":"2026-05-18T12:28:49Z"},{"alias_kind":"pith_short_8","alias_value":"SDQ3UZ77","created_at":"2026-05-18T12:28:49Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:SDQ3UZ77EXKL5EWK2MTHXVKZCU","target":"record","payload":{"canonical_record":{"source":{"id":"1410.8054","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2014-10-29T16:41:10Z","cross_cats_sorted":["math.OC"],"title_canon_sha256":"d9ec9eaaf0cf4460223be0abed88b9dedd27485da36ecb212d4af3112fe4255d","abstract_canon_sha256":"d5de9bc7b9ca8521414067b6760fcd0871bddcae46a4bac99f2c765f6b105248"},"schema_version":"1.0"},"canonical_sha256":"90e1ba67ff25d4be92cad3267bd559151954513d05ab8fbee70eddd41bb6ac88","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:37:21.253540Z","signature_b64":"/1+5G3L2gbmnnlf/xO10NmJhNuqdht9f5sCm+4dyVBfr8FLVA2BO0ucDy1VFuATSH9MaDK0A2H8uXpeaTXfeAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"90e1ba67ff25d4be92cad3267bd559151954513d05ab8fbee70eddd41bb6ac88","last_reissued_at":"2026-05-18T01:37:21.252911Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:37:21.252911Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1410.8054","source_version":3,"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-18T01:37:21Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"vNv0t+k4iWw54/cJ3xvX8ATjXD/L4H5R5YroroW6WOHrL+1fdZbPaq40i9sENH7guEN+p87Uxeg4sUCK84KgBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-26T17:33:13.068493Z"},"content_sha256":"ff83fcef935f678d3fd25393b9893ac51779bbd03cc2986d86bb55eb725af856","schema_version":"1.0","event_id":"sha256:ff83fcef935f678d3fd25393b9893ac51779bbd03cc2986d86bb55eb725af856"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:SDQ3UZ77EXKL5EWK2MTHXVKZCU","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Approximate Safety Verification and Control of Partially Observable Stochastic Hybrid Systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.OC"],"primary_cat":"cs.SY","authors_text":"Kendra Lesser, Meeko Oishi","submitted_at":"2014-10-29T16:41:10Z","abstract_excerpt":"Assuring safety in discrete time stochastic hybrid systems is particularly difficult when only noisy or incomplete observations of the state are available. We first review a formulation of the probabilistic safety problem under noisy hybrid observations as a dynamic program over an equivalent information state. Two methods for approximately solving the dynamic program are presented. The first method approximates the hybrid system as an equivalent finite state Markov decision process, so that the information state is a probability mass function. The second approach approximates an indicator fun"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1410.8054","kind":"arxiv","version":3},"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-18T01:37:21Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"bmAjiQFjbsd4pUYnDzAtORo8E7p0v5+vZ99sir+NsaRKWrosUxn/u3nyQlmQiu6zLnBejx3WJ0PTFqjguaXeCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-26T17:33:13.068831Z"},"content_sha256":"b1e65f49a4d61849c933636e776b06f536b03cf39870356b39af45a2ae47f72d","schema_version":"1.0","event_id":"sha256:b1e65f49a4d61849c933636e776b06f536b03cf39870356b39af45a2ae47f72d"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/SDQ3UZ77EXKL5EWK2MTHXVKZCU/bundle.json","state_url":"https://pith.science/pith/SDQ3UZ77EXKL5EWK2MTHXVKZCU/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/SDQ3UZ77EXKL5EWK2MTHXVKZCU/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-26T17:33:13Z","links":{"resolver":"https://pith.science/pith/SDQ3UZ77EXKL5EWK2MTHXVKZCU","bundle":"https://pith.science/pith/SDQ3UZ77EXKL5EWK2MTHXVKZCU/bundle.json","state":"https://pith.science/pith/SDQ3UZ77EXKL5EWK2MTHXVKZCU/state.json","well_known_bundle":"https://pith.science/.well-known/pith/SDQ3UZ77EXKL5EWK2MTHXVKZCU/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:SDQ3UZ77EXKL5EWK2MTHXVKZCU","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":"d5de9bc7b9ca8521414067b6760fcd0871bddcae46a4bac99f2c765f6b105248","cross_cats_sorted":["math.OC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2014-10-29T16:41:10Z","title_canon_sha256":"d9ec9eaaf0cf4460223be0abed88b9dedd27485da36ecb212d4af3112fe4255d"},"schema_version":"1.0","source":{"id":"1410.8054","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1410.8054","created_at":"2026-05-18T01:37:21Z"},{"alias_kind":"arxiv_version","alias_value":"1410.8054v3","created_at":"2026-05-18T01:37:21Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1410.8054","created_at":"2026-05-18T01:37:21Z"},{"alias_kind":"pith_short_12","alias_value":"SDQ3UZ77EXKL","created_at":"2026-05-18T12:28:49Z"},{"alias_kind":"pith_short_16","alias_value":"SDQ3UZ77EXKL5EWK","created_at":"2026-05-18T12:28:49Z"},{"alias_kind":"pith_short_8","alias_value":"SDQ3UZ77","created_at":"2026-05-18T12:28:49Z"}],"graph_snapshots":[{"event_id":"sha256:b1e65f49a4d61849c933636e776b06f536b03cf39870356b39af45a2ae47f72d","target":"graph","created_at":"2026-05-18T01:37:21Z","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":"Assuring safety in discrete time stochastic hybrid systems is particularly difficult when only noisy or incomplete observations of the state are available. We first review a formulation of the probabilistic safety problem under noisy hybrid observations as a dynamic program over an equivalent information state. Two methods for approximately solving the dynamic program are presented. The first method approximates the hybrid system as an equivalent finite state Markov decision process, so that the information state is a probability mass function. The second approach approximates an indicator fun","authors_text":"Kendra Lesser, Meeko Oishi","cross_cats":["math.OC"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2014-10-29T16:41:10Z","title":"Approximate Safety Verification and Control of Partially Observable Stochastic Hybrid Systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1410.8054","kind":"arxiv","version":3},"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:ff83fcef935f678d3fd25393b9893ac51779bbd03cc2986d86bb55eb725af856","target":"record","created_at":"2026-05-18T01:37:21Z","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":"d5de9bc7b9ca8521414067b6760fcd0871bddcae46a4bac99f2c765f6b105248","cross_cats_sorted":["math.OC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2014-10-29T16:41:10Z","title_canon_sha256":"d9ec9eaaf0cf4460223be0abed88b9dedd27485da36ecb212d4af3112fe4255d"},"schema_version":"1.0","source":{"id":"1410.8054","kind":"arxiv","version":3}},"canonical_sha256":"90e1ba67ff25d4be92cad3267bd559151954513d05ab8fbee70eddd41bb6ac88","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"90e1ba67ff25d4be92cad3267bd559151954513d05ab8fbee70eddd41bb6ac88","first_computed_at":"2026-05-18T01:37:21.252911Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:37:21.252911Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"/1+5G3L2gbmnnlf/xO10NmJhNuqdht9f5sCm+4dyVBfr8FLVA2BO0ucDy1VFuATSH9MaDK0A2H8uXpeaTXfeAA==","signature_status":"signed_v1","signed_at":"2026-05-18T01:37:21.253540Z","signed_message":"canonical_sha256_bytes"},"source_id":"1410.8054","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ff83fcef935f678d3fd25393b9893ac51779bbd03cc2986d86bb55eb725af856","sha256:b1e65f49a4d61849c933636e776b06f536b03cf39870356b39af45a2ae47f72d"],"state_sha256":"3292c3e86ede3d4620f5470d9f052a7f6dd1b3f4c493aa489d7b552c9c7ab3c5"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"QJTC6YWLXWsaJCEQ5BCkbPk65ZhLYjHLDV38ozYkaufOON2/W1nF2uV5f/hLacpTLDhmYDuMDxNUNekNalnvBQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-26T17:33:13.070971Z","bundle_sha256":"aafaa4066b4e57255d707197da0c21789a79f69ee64cb4352147a089f60633a1"}}