{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2014:UZTVCCPMB765EHQ42D4WHHT3FI","short_pith_number":"pith:UZTVCCPM","schema_version":"1.0","canonical_sha256":"a6675109ec0ffdd21e1cd0f9639e7b2a3466c3a06a75b82ee2f852a8d4c41291","source":{"kind":"arxiv","id":"1407.2730","version":1},"attestation_state":"computed","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"},"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":"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"},"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"},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1407.2730","created_at":"2026-05-18T02:47:53.791656+00:00"},{"alias_kind":"arxiv_version","alias_value":"1407.2730v1","created_at":"2026-05-18T02:47:53.791656+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1407.2730","created_at":"2026-05-18T02:47:53.791656+00:00"},{"alias_kind":"pith_short_12","alias_value":"UZTVCCPMB765","created_at":"2026-05-18T12:28:52.271510+00:00"},{"alias_kind":"pith_short_16","alias_value":"UZTVCCPMB765EHQ4","created_at":"2026-05-18T12:28:52.271510+00:00"},{"alias_kind":"pith_short_8","alias_value":"UZTVCCPM","created_at":"2026-05-18T12:28:52.271510+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/UZTVCCPMB765EHQ42D4WHHT3FI","json":"https://pith.science/pith/UZTVCCPMB765EHQ42D4WHHT3FI.json","graph_json":"https://pith.science/api/pith-number/UZTVCCPMB765EHQ42D4WHHT3FI/graph.json","events_json":"https://pith.science/api/pith-number/UZTVCCPMB765EHQ42D4WHHT3FI/events.json","paper":"https://pith.science/paper/UZTVCCPM"},"agent_actions":{"view_html":"https://pith.science/pith/UZTVCCPMB765EHQ42D4WHHT3FI","download_json":"https://pith.science/pith/UZTVCCPMB765EHQ42D4WHHT3FI.json","view_paper":"https://pith.science/paper/UZTVCCPM","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1407.2730&json=true","fetch_graph":"https://pith.science/api/pith-number/UZTVCCPMB765EHQ42D4WHHT3FI/graph.json","fetch_events":"https://pith.science/api/pith-number/UZTVCCPMB765EHQ42D4WHHT3FI/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/UZTVCCPMB765EHQ42D4WHHT3FI/action/timestamp_anchor","attest_storage":"https://pith.science/pith/UZTVCCPMB765EHQ42D4WHHT3FI/action/storage_attestation","attest_author":"https://pith.science/pith/UZTVCCPMB765EHQ42D4WHHT3FI/action/author_attestation","sign_citation":"https://pith.science/pith/UZTVCCPMB765EHQ42D4WHHT3FI/action/citation_signature","submit_replication":"https://pith.science/pith/UZTVCCPMB765EHQ42D4WHHT3FI/action/replication_record"}},"created_at":"2026-05-18T02:47:53.791656+00:00","updated_at":"2026-05-18T02:47:53.791656+00:00"}