{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:3EBXLTQYLNKHVNGRQCEJOPKAHY","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":"3209aa772f667b8d69683dc9642e41d6a453605208e71c343c1dbf0c37fd7fbd","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2016-11-25T05:03:42Z","title_canon_sha256":"373df42d776c0e42545220cc9e429f211f5bb1fb5f3c2e968abf43a82c00fdde"},"schema_version":"1.0","source":{"id":"1611.08352","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1611.08352","created_at":"2026-05-18T00:56:39Z"},{"alias_kind":"arxiv_version","alias_value":"1611.08352v1","created_at":"2026-05-18T00:56:39Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1611.08352","created_at":"2026-05-18T00:56:39Z"},{"alias_kind":"pith_short_12","alias_value":"3EBXLTQYLNKH","created_at":"2026-05-18T12:29:55Z"},{"alias_kind":"pith_short_16","alias_value":"3EBXLTQYLNKHVNGR","created_at":"2026-05-18T12:29:55Z"},{"alias_kind":"pith_short_8","alias_value":"3EBXLTQY","created_at":"2026-05-18T12:29:55Z"}],"graph_snapshots":[{"event_id":"sha256:cc0e9b06ec2f5c5e8fa94f2129f7c8ac003726c9785b43c303a6847688d72f00","target":"graph","created_at":"2026-05-18T00:56:39Z","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 definitions of equivalence via stochastic bisimulation and of equivalence of stochastic external behavior for the class of discrete-time stochastic linear control systems with possibly degenerate normally distributed disturbances. The first notion is inspired by the notion of probabilistic bisimulation for probabilistic chains while the second one by the notion of equivalence of external behavior for (nonstochastic) behavioral systems. Geometric necessary and sufficient conditions for checking these notions are derived. Model reduction via Kalman-like decomposition is ","authors_text":"Arjan J. van der Schaft, Costanzo Manes, Giordano Pola, Maria Domenica Di Benedetto","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2016-11-25T05:03:42Z","title":"Equivalence Notions for Discrete-Time Stochastic Linear Control Systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1611.08352","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:f5b0d9680bfaeede6272929492c8477d779f2cc05550d91936aaad1ebb6e9f6b","target":"record","created_at":"2026-05-18T00:56:39Z","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":"3209aa772f667b8d69683dc9642e41d6a453605208e71c343c1dbf0c37fd7fbd","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2016-11-25T05:03:42Z","title_canon_sha256":"373df42d776c0e42545220cc9e429f211f5bb1fb5f3c2e968abf43a82c00fdde"},"schema_version":"1.0","source":{"id":"1611.08352","kind":"arxiv","version":1}},"canonical_sha256":"d90375ce185b547ab4d18088973d403e07c66f3b4235283eaaa55e7abf6180e2","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"d90375ce185b547ab4d18088973d403e07c66f3b4235283eaaa55e7abf6180e2","first_computed_at":"2026-05-18T00:56:39.335852Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:56:39.335852Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"+J+yiFVOXTL36MkVQwslHmtj5q5oSYHmXnpsyq99NZfWORGvus4Ak2BQa9vJos3O2oq+Ra+QO7cM4NzXMIc4DQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:56:39.336481Z","signed_message":"canonical_sha256_bytes"},"source_id":"1611.08352","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:f5b0d9680bfaeede6272929492c8477d779f2cc05550d91936aaad1ebb6e9f6b","sha256:cc0e9b06ec2f5c5e8fa94f2129f7c8ac003726c9785b43c303a6847688d72f00"],"state_sha256":"84007b49de9583161fa41f0cb75a7f81cf6c5c3a5d646decc0489ec7214f7740"}