{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:LQFO52ZPEX7ZPXIP6DMPTYACV6","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":"c3374bfdf7c555fa3f3212d38df5c92f9df0069114dd738cd25d5439ca45e791","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2017-09-27T14:19:08Z","title_canon_sha256":"fa127c7384defd7ed40106d4cfc3cd2f4346a3f890aba39780c47f82b3ae01c4"},"schema_version":"1.0","source":{"id":"1709.09546","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1709.09546","created_at":"2026-05-18T00:34:11Z"},{"alias_kind":"arxiv_version","alias_value":"1709.09546v1","created_at":"2026-05-18T00:34:11Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1709.09546","created_at":"2026-05-18T00:34:11Z"},{"alias_kind":"pith_short_12","alias_value":"LQFO52ZPEX7Z","created_at":"2026-05-18T12:31:28Z"},{"alias_kind":"pith_short_16","alias_value":"LQFO52ZPEX7ZPXIP","created_at":"2026-05-18T12:31:28Z"},{"alias_kind":"pith_short_8","alias_value":"LQFO52ZP","created_at":"2026-05-18T12:31:28Z"}],"graph_snapshots":[{"event_id":"sha256:95ffa964b657382a053d325dcfc29457fe239d56b0972799297a8a261a02a88d","target":"graph","created_at":"2026-05-18T00:34:11Z","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":"Controller synthesis techniques for continuous systems with respect to temporal logic specifications typically use a finite-state symbolic abstraction of the system. Constructing this abstraction for the entire system is computationally expensive, and does not exploit natural decompositions of many systems into interacting components. We have recently introduced a new relation, called (approximate) disturbance bisimulation for compositional symbolic abstraction to help scale controller synthesis for temporal logic to larger systems.\n  In this paper, we extend the results to stochastic control ","authors_text":"Anne-Kathrin Schmuck, Kaushik Mallik, Rupak Majumdar, Sadegh Esmaeil Zadeh Soudjani","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2017-09-27T14:19:08Z","title":"Compositional Construction of Finite State Abstractions for Stochastic Control Systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1709.09546","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:90b5d187525e0512d6ea84d304ad499fed0ab049b1f4d139addd3462d1cc5e68","target":"record","created_at":"2026-05-18T00:34:11Z","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":"c3374bfdf7c555fa3f3212d38df5c92f9df0069114dd738cd25d5439ca45e791","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2017-09-27T14:19:08Z","title_canon_sha256":"fa127c7384defd7ed40106d4cfc3cd2f4346a3f890aba39780c47f82b3ae01c4"},"schema_version":"1.0","source":{"id":"1709.09546","kind":"arxiv","version":1}},"canonical_sha256":"5c0aeeeb2f25ff97dd0ff0d8f9e002afa44c43a151ac44ddbde17eca7e240aa0","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"5c0aeeeb2f25ff97dd0ff0d8f9e002afa44c43a151ac44ddbde17eca7e240aa0","first_computed_at":"2026-05-18T00:34:11.352917Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:34:11.352917Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"YwTqG7OvczWUXid81o2JtD5a+m5SZn2SIq3Ncfi8aDpJ7HSLm8P2ELoKSe2UklX3ibd2oNldCwOLe9nbG4LPDQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:34:11.353535Z","signed_message":"canonical_sha256_bytes"},"source_id":"1709.09546","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:90b5d187525e0512d6ea84d304ad499fed0ab049b1f4d139addd3462d1cc5e68","sha256:95ffa964b657382a053d325dcfc29457fe239d56b0972799297a8a261a02a88d"],"state_sha256":"efb783e8e7398701d3d3a849c99b6098bc2ba8d046656130356a953327a3f602"}