{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:NRIGX5ERU7RBIRCPCIGWLCSGNE","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":"d43597bfb98d3aa78a02232d8e723c7c816efaee370630ecbdb8e40838d467f0","cross_cats_sorted":["cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2015-08-26T13:53:53Z","title_canon_sha256":"35df235092b52674b10624f0e9d438795763e058c12f74d93b03841afdb998f3"},"schema_version":"1.0","source":{"id":"1508.06496","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1508.06496","created_at":"2026-05-18T01:16:24Z"},{"alias_kind":"arxiv_version","alias_value":"1508.06496v2","created_at":"2026-05-18T01:16:24Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1508.06496","created_at":"2026-05-18T01:16:24Z"},{"alias_kind":"pith_short_12","alias_value":"NRIGX5ERU7RB","created_at":"2026-05-18T12:29:34Z"},{"alias_kind":"pith_short_16","alias_value":"NRIGX5ERU7RBIRCP","created_at":"2026-05-18T12:29:34Z"},{"alias_kind":"pith_short_8","alias_value":"NRIGX5ER","created_at":"2026-05-18T12:29:34Z"}],"graph_snapshots":[{"event_id":"sha256:f2f7064f186927b4f6e879739679f46ffead5f1e0abbffeadd57ec4bb647ef6a","target":"graph","created_at":"2026-05-18T01:16:24Z","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":"In this paper we propose a compositional framework for the construction of approximations of the interconnection of a class of stochastic hybrid systems. As special cases, this class of systems includes both jump linear stochastic systems and linear stochastic hybrid automata. In the proposed framework, an approximation is itself a stochastic hybrid system, which can be used as a replacement of the original stochastic hybrid system in a controller design process. We employ a notion of so-called stochastic simulation function to quantify the error between the approximation and the original syst","authors_text":"Majid Zamani, Matthias Rungger, Peyman Mohajerin Esfahani","cross_cats":["cs.SY"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2015-08-26T13:53:53Z","title":"Approximations of Stochastic Hybrid Systems: A Compositional Approach"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1508.06496","kind":"arxiv","version":2},"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:180943649b74372c0c80ecf3bf1600bd37ede05e06531b48dd291e6a6fd2a53e","target":"record","created_at":"2026-05-18T01:16:24Z","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":"d43597bfb98d3aa78a02232d8e723c7c816efaee370630ecbdb8e40838d467f0","cross_cats_sorted":["cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2015-08-26T13:53:53Z","title_canon_sha256":"35df235092b52674b10624f0e9d438795763e058c12f74d93b03841afdb998f3"},"schema_version":"1.0","source":{"id":"1508.06496","kind":"arxiv","version":2}},"canonical_sha256":"6c506bf491a7e214444f120d658a46691e2b8f6bd412e402dbe77c0e67f2fab0","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"6c506bf491a7e214444f120d658a46691e2b8f6bd412e402dbe77c0e67f2fab0","first_computed_at":"2026-05-18T01:16:24.854287Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:16:24.854287Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"xPm414f4DsO0kKAlxRsBtzofe1GGdK5m71OY89HGNG7SNU+9/MX1Bf5tfFVmhrOakfkjHKyrVBx9x7bKJCunAw==","signature_status":"signed_v1","signed_at":"2026-05-18T01:16:24.854929Z","signed_message":"canonical_sha256_bytes"},"source_id":"1508.06496","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:180943649b74372c0c80ecf3bf1600bd37ede05e06531b48dd291e6a6fd2a53e","sha256:f2f7064f186927b4f6e879739679f46ffead5f1e0abbffeadd57ec4bb647ef6a"],"state_sha256":"064e2b6b0262a0f4c726d409d131235eb09533d95d26356669aa2aee8f8efa1b"}