{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2016:3EBXLTQYLNKHVNGRQCEJOPKAHY","short_pith_number":"pith:3EBXLTQY","schema_version":"1.0","canonical_sha256":"d90375ce185b547ab4d18088973d403e07c66f3b4235283eaaa55e7abf6180e2","source":{"kind":"arxiv","id":"1611.08352","version":1},"attestation_state":"computed","paper":{"title":"Equivalence Notions for Discrete-Time Stochastic Linear Control Systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.OC","authors_text":"Arjan J. van der Schaft, Costanzo Manes, Giordano Pola, Maria Domenica Di Benedetto","submitted_at":"2016-11-25T05:03:42Z","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 "},"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":"1611.08352","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2016-11-25T05:03:42Z","cross_cats_sorted":[],"title_canon_sha256":"373df42d776c0e42545220cc9e429f211f5bb1fb5f3c2e968abf43a82c00fdde","abstract_canon_sha256":"3209aa772f667b8d69683dc9642e41d6a453605208e71c343c1dbf0c37fd7fbd"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:56:39.336481Z","signature_b64":"+J+yiFVOXTL36MkVQwslHmtj5q5oSYHmXnpsyq99NZfWORGvus4Ak2BQa9vJos3O2oq+Ra+QO7cM4NzXMIc4DQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"d90375ce185b547ab4d18088973d403e07c66f3b4235283eaaa55e7abf6180e2","last_reissued_at":"2026-05-18T00:56:39.335852Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:56:39.335852Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Equivalence Notions for Discrete-Time Stochastic Linear Control Systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.OC","authors_text":"Arjan J. van der Schaft, Costanzo Manes, Giordano Pola, Maria Domenica Di Benedetto","submitted_at":"2016-11-25T05:03:42Z","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 "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1611.08352","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":"1611.08352","created_at":"2026-05-18T00:56:39.335944+00:00"},{"alias_kind":"arxiv_version","alias_value":"1611.08352v1","created_at":"2026-05-18T00:56:39.335944+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1611.08352","created_at":"2026-05-18T00:56:39.335944+00:00"},{"alias_kind":"pith_short_12","alias_value":"3EBXLTQYLNKH","created_at":"2026-05-18T12:29:55.572404+00:00"},{"alias_kind":"pith_short_16","alias_value":"3EBXLTQYLNKHVNGR","created_at":"2026-05-18T12:29:55.572404+00:00"},{"alias_kind":"pith_short_8","alias_value":"3EBXLTQY","created_at":"2026-05-18T12:29:55.572404+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/3EBXLTQYLNKHVNGRQCEJOPKAHY","json":"https://pith.science/pith/3EBXLTQYLNKHVNGRQCEJOPKAHY.json","graph_json":"https://pith.science/api/pith-number/3EBXLTQYLNKHVNGRQCEJOPKAHY/graph.json","events_json":"https://pith.science/api/pith-number/3EBXLTQYLNKHVNGRQCEJOPKAHY/events.json","paper":"https://pith.science/paper/3EBXLTQY"},"agent_actions":{"view_html":"https://pith.science/pith/3EBXLTQYLNKHVNGRQCEJOPKAHY","download_json":"https://pith.science/pith/3EBXLTQYLNKHVNGRQCEJOPKAHY.json","view_paper":"https://pith.science/paper/3EBXLTQY","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1611.08352&json=true","fetch_graph":"https://pith.science/api/pith-number/3EBXLTQYLNKHVNGRQCEJOPKAHY/graph.json","fetch_events":"https://pith.science/api/pith-number/3EBXLTQYLNKHVNGRQCEJOPKAHY/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/3EBXLTQYLNKHVNGRQCEJOPKAHY/action/timestamp_anchor","attest_storage":"https://pith.science/pith/3EBXLTQYLNKHVNGRQCEJOPKAHY/action/storage_attestation","attest_author":"https://pith.science/pith/3EBXLTQYLNKHVNGRQCEJOPKAHY/action/author_attestation","sign_citation":"https://pith.science/pith/3EBXLTQYLNKHVNGRQCEJOPKAHY/action/citation_signature","submit_replication":"https://pith.science/pith/3EBXLTQYLNKHVNGRQCEJOPKAHY/action/replication_record"}},"created_at":"2026-05-18T00:56:39.335944+00:00","updated_at":"2026-05-18T00:56:39.335944+00:00"}