{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:UZTVCCPMB765EHQ42D4WHHT3FI","short_pith_number":"pith:UZTVCCPM","canonical_record":{"source":{"id":"1407.2730","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2014-07-10T09:08:53Z","cross_cats_sorted":["cs.LO","cs.SY"],"title_canon_sha256":"281f34e921bf26f4ff0ba62b298a772f0a5587541be0339a3c5c443646e47497","abstract_canon_sha256":"a2ea368df8d1f6deb8777bbc56662bd27ab3be2bd0093efa9c5e61a9a4ace456"},"schema_version":"1.0"},"canonical_sha256":"a6675109ec0ffdd21e1cd0f9639e7b2a3466c3a06a75b82ee2f852a8d4c41291","source":{"kind":"arxiv","id":"1407.2730","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1407.2730","created_at":"2026-05-18T02:47:53Z"},{"alias_kind":"arxiv_version","alias_value":"1407.2730v1","created_at":"2026-05-18T02:47:53Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1407.2730","created_at":"2026-05-18T02:47:53Z"},{"alias_kind":"pith_short_12","alias_value":"UZTVCCPMB765","created_at":"2026-05-18T12:28:52Z"},{"alias_kind":"pith_short_16","alias_value":"UZTVCCPMB765EHQ4","created_at":"2026-05-18T12:28:52Z"},{"alias_kind":"pith_short_8","alias_value":"UZTVCCPM","created_at":"2026-05-18T12:28:52Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:UZTVCCPMB765EHQ42D4WHHT3FI","target":"record","payload":{"canonical_record":{"source":{"id":"1407.2730","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2014-07-10T09:08:53Z","cross_cats_sorted":["cs.LO","cs.SY"],"title_canon_sha256":"281f34e921bf26f4ff0ba62b298a772f0a5587541be0339a3c5c443646e47497","abstract_canon_sha256":"a2ea368df8d1f6deb8777bbc56662bd27ab3be2bd0093efa9c5e61a9a4ace456"},"schema_version":"1.0"},"canonical_sha256":"a6675109ec0ffdd21e1cd0f9639e7b2a3466c3a06a75b82ee2f852a8d4c41291","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:47:53.792173Z","signature_b64":"XxlgPvUb43sTx7kZaKOQ4e2nzg1yiewU72Gct2dsjYEDXPRuGcGYH2pjMwFbKFfD+uAbpKvwMdCA9mGSMVEpCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"a6675109ec0ffdd21e1cd0f9639e7b2a3466c3a06a75b82ee2f852a8d4c41291","last_reissued_at":"2026-05-18T02:47:53.791566Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:47:53.791566Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1407.2730","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:47:53Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"XhxVWiqr+emYkr0BTkYq3O4TfRXzrv0BBTmrHbVVBLlm21CQhf9vHMwyxzYHmQZ99/DNv7mGC0MCJY8zPLNkAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-27T15:17:48.479351Z"},"content_sha256":"36bb4da1cb64f7c90a8e8932bce650d62587bcd19c3f78b0900e0f3deb68dc05","schema_version":"1.0","event_id":"sha256:36bb4da1cb64f7c90a8e8932bce650d62587bcd19c3f78b0900e0f3deb68dc05"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:UZTVCCPMB765EHQ42D4WHHT3FI","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Symbolic Models for Stochastic Switched Systems: A Discretization and a Discretization-Free Approach","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO","cs.SY"],"primary_cat":"math.OC","authors_text":"Alessandro Abate, Antoine Girard, Majid Zamani","submitted_at":"2014-07-10T09:08:53Z","abstract_excerpt":"Stochastic switched systems are a relevant class of stochastic hybrid systems with probabilistic evolution over a continuous domain and control-dependent discrete dynamics over a finite set of modes. In the past few years several different techniques have been developed to assist in the stability analysis of stochastic switched systems. However, more complex and challenging objectives related to the verification of and the controller synthesis for logic specifications have not been formally investigated for this class of systems as of yet. With logic specifications we mean properties expressed"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1407.2730","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:47:53Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"kJcEvRFAK3x/XATVHyAye44b2TxZKk9bxifhRvO+8K5o+2QgZDITMElGH24qclDrj8IEIvjLNe2De8jeEx8wAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-27T15:17:48.479715Z"},"content_sha256":"c615d128372c44b67b674bef90120f18b432ecabb11a8a1e1c836f187ee4d61d","schema_version":"1.0","event_id":"sha256:c615d128372c44b67b674bef90120f18b432ecabb11a8a1e1c836f187ee4d61d"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/UZTVCCPMB765EHQ42D4WHHT3FI/bundle.json","state_url":"https://pith.science/pith/UZTVCCPMB765EHQ42D4WHHT3FI/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/UZTVCCPMB765EHQ42D4WHHT3FI/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-27T15:17:48Z","links":{"resolver":"https://pith.science/pith/UZTVCCPMB765EHQ42D4WHHT3FI","bundle":"https://pith.science/pith/UZTVCCPMB765EHQ42D4WHHT3FI/bundle.json","state":"https://pith.science/pith/UZTVCCPMB765EHQ42D4WHHT3FI/state.json","well_known_bundle":"https://pith.science/.well-known/pith/UZTVCCPMB765EHQ42D4WHHT3FI/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:UZTVCCPMB765EHQ42D4WHHT3FI","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":"a2ea368df8d1f6deb8777bbc56662bd27ab3be2bd0093efa9c5e61a9a4ace456","cross_cats_sorted":["cs.LO","cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2014-07-10T09:08:53Z","title_canon_sha256":"281f34e921bf26f4ff0ba62b298a772f0a5587541be0339a3c5c443646e47497"},"schema_version":"1.0","source":{"id":"1407.2730","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1407.2730","created_at":"2026-05-18T02:47:53Z"},{"alias_kind":"arxiv_version","alias_value":"1407.2730v1","created_at":"2026-05-18T02:47:53Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1407.2730","created_at":"2026-05-18T02:47:53Z"},{"alias_kind":"pith_short_12","alias_value":"UZTVCCPMB765","created_at":"2026-05-18T12:28:52Z"},{"alias_kind":"pith_short_16","alias_value":"UZTVCCPMB765EHQ4","created_at":"2026-05-18T12:28:52Z"},{"alias_kind":"pith_short_8","alias_value":"UZTVCCPM","created_at":"2026-05-18T12:28:52Z"}],"graph_snapshots":[{"event_id":"sha256:c615d128372c44b67b674bef90120f18b432ecabb11a8a1e1c836f187ee4d61d","target":"graph","created_at":"2026-05-18T02:47:53Z","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":"Stochastic switched systems are a relevant class of stochastic hybrid systems with probabilistic evolution over a continuous domain and control-dependent discrete dynamics over a finite set of modes. In the past few years several different techniques have been developed to assist in the stability analysis of stochastic switched systems. However, more complex and challenging objectives related to the verification of and the controller synthesis for logic specifications have not been formally investigated for this class of systems as of yet. With logic specifications we mean properties expressed","authors_text":"Alessandro Abate, Antoine Girard, Majid Zamani","cross_cats":["cs.LO","cs.SY"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2014-07-10T09:08:53Z","title":"Symbolic Models for Stochastic Switched Systems: A Discretization and a Discretization-Free Approach"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1407.2730","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:36bb4da1cb64f7c90a8e8932bce650d62587bcd19c3f78b0900e0f3deb68dc05","target":"record","created_at":"2026-05-18T02:47:53Z","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":"a2ea368df8d1f6deb8777bbc56662bd27ab3be2bd0093efa9c5e61a9a4ace456","cross_cats_sorted":["cs.LO","cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2014-07-10T09:08:53Z","title_canon_sha256":"281f34e921bf26f4ff0ba62b298a772f0a5587541be0339a3c5c443646e47497"},"schema_version":"1.0","source":{"id":"1407.2730","kind":"arxiv","version":1}},"canonical_sha256":"a6675109ec0ffdd21e1cd0f9639e7b2a3466c3a06a75b82ee2f852a8d4c41291","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"a6675109ec0ffdd21e1cd0f9639e7b2a3466c3a06a75b82ee2f852a8d4c41291","first_computed_at":"2026-05-18T02:47:53.791566Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:47:53.791566Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"XxlgPvUb43sTx7kZaKOQ4e2nzg1yiewU72Gct2dsjYEDXPRuGcGYH2pjMwFbKFfD+uAbpKvwMdCA9mGSMVEpCg==","signature_status":"signed_v1","signed_at":"2026-05-18T02:47:53.792173Z","signed_message":"canonical_sha256_bytes"},"source_id":"1407.2730","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:36bb4da1cb64f7c90a8e8932bce650d62587bcd19c3f78b0900e0f3deb68dc05","sha256:c615d128372c44b67b674bef90120f18b432ecabb11a8a1e1c836f187ee4d61d"],"state_sha256":"f47ba5f831fd58d37a59cf29a9b82704ef511a2ccb2d3659d2ff694dc3198dd2"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"kK27YLSFfcP2kuC443IAbfqSyjYk2ZLOUOqIeKB2qLJUnC7fCXxLLiNMdbLr3bxvyZKPvGOR4LoaXkgX16SuDg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-27T15:17:48.481567Z","bundle_sha256":"398869a30ff3fc2639cf245fcf8358791034abf7e08d940e8cced044d9740372"}}