{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:3335P6P4GNYZXXHVEAXTW2DSXK","short_pith_number":"pith:3335P6P4","canonical_record":{"source":{"id":"1509.01660","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-09-05T03:50:11Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"bdfe1cd6a6753a371a9e77fdfd329e5794d30cfadc8c6c969f66198623475a59","abstract_canon_sha256":"eafbeb55f68c90cdacb8e2877072c4349b48e2eab5e01d5ef23fdf569750fb72"},"schema_version":"1.0"},"canonical_sha256":"def7d7f9fc33719bdcf5202f3b6872bab4ba7460adeb3eadad88192943826ed7","source":{"kind":"arxiv","id":"1509.01660","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1509.01660","created_at":"2026-05-18T01:33:50Z"},{"alias_kind":"arxiv_version","alias_value":"1509.01660v1","created_at":"2026-05-18T01:33:50Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1509.01660","created_at":"2026-05-18T01:33:50Z"},{"alias_kind":"pith_short_12","alias_value":"3335P6P4GNYZ","created_at":"2026-05-18T12:29:02Z"},{"alias_kind":"pith_short_16","alias_value":"3335P6P4GNYZXXHV","created_at":"2026-05-18T12:29:02Z"},{"alias_kind":"pith_short_8","alias_value":"3335P6P4","created_at":"2026-05-18T12:29:02Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:3335P6P4GNYZXXHVEAXTW2DSXK","target":"record","payload":{"canonical_record":{"source":{"id":"1509.01660","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-09-05T03:50:11Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"bdfe1cd6a6753a371a9e77fdfd329e5794d30cfadc8c6c969f66198623475a59","abstract_canon_sha256":"eafbeb55f68c90cdacb8e2877072c4349b48e2eab5e01d5ef23fdf569750fb72"},"schema_version":"1.0"},"canonical_sha256":"def7d7f9fc33719bdcf5202f3b6872bab4ba7460adeb3eadad88192943826ed7","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:33:50.911699Z","signature_b64":"SyYJ9GfLZXryJCMEElSXX5g2n9wsYv1gu4ghl5YU9/RcKvtKCuTzrowzVcrgEmy16ZaZTdrCd3pU7MDQHyPBCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"def7d7f9fc33719bdcf5202f3b6872bab4ba7460adeb3eadad88192943826ed7","last_reissued_at":"2026-05-18T01:33:50.911178Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:33:50.911178Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1509.01660","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-18T01:33:50Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"hb37PxXEZ+BzgvhJsZ+leCRyK67+1hi33iLe7KbO0gJ0thnLvVkckxpnx9wQOp8+ZK7WvuT2lIaMkP1lVbxNDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T22:24:56.462250Z"},"content_sha256":"352cecc510c0967c2ab11a7a81dbfb546270ec57c1948bf1e2e3fff2bace9e99","schema_version":"1.0","event_id":"sha256:352cecc510c0967c2ab11a7a81dbfb546270ec57c1948bf1e2e3fff2bace9e99"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:3335P6P4GNYZXXHVEAXTW2DSXK","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Extending Hybrid CSP with Probability and Stochasticity","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SY"],"primary_cat":"cs.LO","authors_text":"Lijun Zhang, Naijun Zhan, Shuling Wang, Yu Peng","submitted_at":"2015-09-05T03:50:11Z","abstract_excerpt":"Probabilistic and stochastic behavior are omnipresent in computer controlled systems, in particular, so-called safety-critical hybrid systems, because of fundamental properties of nature, uncertain environments, or simplifications to overcome complexity. Tightly intertwining discrete, continuous and stochastic dynamics complicates modelling, analysis and verification of stochastic hybrid systems (SHSs). In the literature, this issue has been extensively investigated, but unfortunately it still remains challenging as no promising general solutions are available yet. In this paper, we give our e"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1509.01660","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-18T01:33:50Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Ua5mmtaMKreRZunV0D1k8CUZtWPZfxF11EohC3SKx1EA4iHw5WqtuCJPlTZ3XN50R8qrsB3bhWZR0jF+0FmKBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T22:24:56.462939Z"},"content_sha256":"eaf8d8eecfa2f1a51278b27d29e2063b47742a7d4c11877ecdd7e05ae2d4617e","schema_version":"1.0","event_id":"sha256:eaf8d8eecfa2f1a51278b27d29e2063b47742a7d4c11877ecdd7e05ae2d4617e"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/3335P6P4GNYZXXHVEAXTW2DSXK/bundle.json","state_url":"https://pith.science/pith/3335P6P4GNYZXXHVEAXTW2DSXK/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/3335P6P4GNYZXXHVEAXTW2DSXK/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-05-27T22:24:56Z","links":{"resolver":"https://pith.science/pith/3335P6P4GNYZXXHVEAXTW2DSXK","bundle":"https://pith.science/pith/3335P6P4GNYZXXHVEAXTW2DSXK/bundle.json","state":"https://pith.science/pith/3335P6P4GNYZXXHVEAXTW2DSXK/state.json","well_known_bundle":"https://pith.science/.well-known/pith/3335P6P4GNYZXXHVEAXTW2DSXK/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:3335P6P4GNYZXXHVEAXTW2DSXK","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":"eafbeb55f68c90cdacb8e2877072c4349b48e2eab5e01d5ef23fdf569750fb72","cross_cats_sorted":["cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-09-05T03:50:11Z","title_canon_sha256":"bdfe1cd6a6753a371a9e77fdfd329e5794d30cfadc8c6c969f66198623475a59"},"schema_version":"1.0","source":{"id":"1509.01660","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1509.01660","created_at":"2026-05-18T01:33:50Z"},{"alias_kind":"arxiv_version","alias_value":"1509.01660v1","created_at":"2026-05-18T01:33:50Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1509.01660","created_at":"2026-05-18T01:33:50Z"},{"alias_kind":"pith_short_12","alias_value":"3335P6P4GNYZ","created_at":"2026-05-18T12:29:02Z"},{"alias_kind":"pith_short_16","alias_value":"3335P6P4GNYZXXHV","created_at":"2026-05-18T12:29:02Z"},{"alias_kind":"pith_short_8","alias_value":"3335P6P4","created_at":"2026-05-18T12:29:02Z"}],"graph_snapshots":[{"event_id":"sha256:eaf8d8eecfa2f1a51278b27d29e2063b47742a7d4c11877ecdd7e05ae2d4617e","target":"graph","created_at":"2026-05-18T01:33:50Z","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":"Probabilistic and stochastic behavior are omnipresent in computer controlled systems, in particular, so-called safety-critical hybrid systems, because of fundamental properties of nature, uncertain environments, or simplifications to overcome complexity. Tightly intertwining discrete, continuous and stochastic dynamics complicates modelling, analysis and verification of stochastic hybrid systems (SHSs). In the literature, this issue has been extensively investigated, but unfortunately it still remains challenging as no promising general solutions are available yet. In this paper, we give our e","authors_text":"Lijun Zhang, Naijun Zhan, Shuling Wang, Yu Peng","cross_cats":["cs.SY"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-09-05T03:50:11Z","title":"Extending Hybrid CSP with Probability and Stochasticity"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1509.01660","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:352cecc510c0967c2ab11a7a81dbfb546270ec57c1948bf1e2e3fff2bace9e99","target":"record","created_at":"2026-05-18T01:33:50Z","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":"eafbeb55f68c90cdacb8e2877072c4349b48e2eab5e01d5ef23fdf569750fb72","cross_cats_sorted":["cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-09-05T03:50:11Z","title_canon_sha256":"bdfe1cd6a6753a371a9e77fdfd329e5794d30cfadc8c6c969f66198623475a59"},"schema_version":"1.0","source":{"id":"1509.01660","kind":"arxiv","version":1}},"canonical_sha256":"def7d7f9fc33719bdcf5202f3b6872bab4ba7460adeb3eadad88192943826ed7","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"def7d7f9fc33719bdcf5202f3b6872bab4ba7460adeb3eadad88192943826ed7","first_computed_at":"2026-05-18T01:33:50.911178Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:33:50.911178Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"SyYJ9GfLZXryJCMEElSXX5g2n9wsYv1gu4ghl5YU9/RcKvtKCuTzrowzVcrgEmy16ZaZTdrCd3pU7MDQHyPBCA==","signature_status":"signed_v1","signed_at":"2026-05-18T01:33:50.911699Z","signed_message":"canonical_sha256_bytes"},"source_id":"1509.01660","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:352cecc510c0967c2ab11a7a81dbfb546270ec57c1948bf1e2e3fff2bace9e99","sha256:eaf8d8eecfa2f1a51278b27d29e2063b47742a7d4c11877ecdd7e05ae2d4617e"],"state_sha256":"2e4e5369da254a1ee4eb60ec74fa79fd28871ceeeb82666b3d26bcff257d504d"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Sm7LxIlXwLezpPTvbqSDurQq8HelE1xmDrSlK0jAF2lLVpmn1CzR1+ShiC2cHbkAmkib7fpJKAPuJ/4b8o+tDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-27T22:24:56.466542Z","bundle_sha256":"8f09586d23a059b14fbd32b144db1e22ccaf49c40fc974e5188f65970dba1270"}}