{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:W2AAGWHTFWIHAB7VO6W4F4UZJF","short_pith_number":"pith:W2AAGWHT","canonical_record":{"source":{"id":"1607.03193","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2016-07-11T22:58:23Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"fdb3fa37eb7053c6a89b5f153a8d7a5e3c1c39c9e4718736d296d97c2b8820ab","abstract_canon_sha256":"96dbb2fb8b391f5adbdb4249d97518819c95a990fa952cefd4e12f99c6424d40"},"schema_version":"1.0"},"canonical_sha256":"b6800358f32d907007f577adc2f2994942e74b9c850d09bdd445fd7308cb7c64","source":{"kind":"arxiv","id":"1607.03193","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1607.03193","created_at":"2026-05-18T01:11:09Z"},{"alias_kind":"arxiv_version","alias_value":"1607.03193v1","created_at":"2026-05-18T01:11:09Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1607.03193","created_at":"2026-05-18T01:11:09Z"},{"alias_kind":"pith_short_12","alias_value":"W2AAGWHTFWIH","created_at":"2026-05-18T12:30:48Z"},{"alias_kind":"pith_short_16","alias_value":"W2AAGWHTFWIHAB7V","created_at":"2026-05-18T12:30:48Z"},{"alias_kind":"pith_short_8","alias_value":"W2AAGWHT","created_at":"2026-05-18T12:30:48Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:W2AAGWHTFWIHAB7VO6W4F4UZJF","target":"record","payload":{"canonical_record":{"source":{"id":"1607.03193","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2016-07-11T22:58:23Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"fdb3fa37eb7053c6a89b5f153a8d7a5e3c1c39c9e4718736d296d97c2b8820ab","abstract_canon_sha256":"96dbb2fb8b391f5adbdb4249d97518819c95a990fa952cefd4e12f99c6424d40"},"schema_version":"1.0"},"canonical_sha256":"b6800358f32d907007f577adc2f2994942e74b9c850d09bdd445fd7308cb7c64","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:11:09.603197Z","signature_b64":"h8iZ9xTfBVierTNzC7DUHmU8qa9GdfF/LoxCMahEI8mlEXh6z26gQg463rRrtrVhK85EvVgHAxGGNkGmmFCEDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b6800358f32d907007f577adc2f2994942e74b9c850d09bdd445fd7308cb7c64","last_reissued_at":"2026-05-18T01:11:09.602793Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:11:09.602793Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1607.03193","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T01:11:09Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"BMtb6tej1bXPZpyVV0j/UocEt/pmJ4e0wUFk4iCkrNUdgNKy7bE0cjsHCn8BwyLDL1DcAjdK9AKOSFZJwfA2Dg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-23T07:14:43.219451Z"},"content_sha256":"d2df0103ca727293fa1cfb691ad8445a99dfdc2827ac1ee98fd148e32cdb0285","schema_version":"1.0","event_id":"sha256:d2df0103ca727293fa1cfb691ad8445a99dfdc2827ac1ee98fd148e32cdb0285"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:W2AAGWHTFWIHAB7VO6W4F4UZJF","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Output Observability of Systems Over Finite Alphabets with Linear Internal Dynamics","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SY"],"primary_cat":"math.OC","authors_text":"Danielle C. Tarraf, Donglei Fan","submitted_at":"2016-07-11T22:58:23Z","abstract_excerpt":"We consider a class of systems over finite alphabets with linear internal dynamics, finite-valued control inputs and finitely quantized outputs. We motivate the need for a new notion of observability and propose three new notions of output observability, thereby shifting our attention to the problem of state estimation for output prediction. We derive necessary and sufficient conditions for a system to be output observable, algorithmic procedures to verify these conditions, and a construction of finite memory output observers when certain conditions are met. We conclude with simple illustrativ"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1607.03193","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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T01:11:09Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"t7Oyk85e0NTewMJdCLVoszQwoBmR04mBWkIsJHgH03ppGjbmehge+70yxze/r0jiEr+OF2o+Tl7D939HdltfDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-23T07:14:43.219854Z"},"content_sha256":"ccf9903eba820d587a352497d6ba7728bdc33d774fe8142d4ad9a6b8ff8815f1","schema_version":"1.0","event_id":"sha256:ccf9903eba820d587a352497d6ba7728bdc33d774fe8142d4ad9a6b8ff8815f1"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/W2AAGWHTFWIHAB7VO6W4F4UZJF/bundle.json","state_url":"https://pith.science/pith/W2AAGWHTFWIHAB7VO6W4F4UZJF/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/W2AAGWHTFWIHAB7VO6W4F4UZJF/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-06-23T07:14:43Z","links":{"resolver":"https://pith.science/pith/W2AAGWHTFWIHAB7VO6W4F4UZJF","bundle":"https://pith.science/pith/W2AAGWHTFWIHAB7VO6W4F4UZJF/bundle.json","state":"https://pith.science/pith/W2AAGWHTFWIHAB7VO6W4F4UZJF/state.json","well_known_bundle":"https://pith.science/.well-known/pith/W2AAGWHTFWIHAB7VO6W4F4UZJF/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:W2AAGWHTFWIHAB7VO6W4F4UZJF","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":"96dbb2fb8b391f5adbdb4249d97518819c95a990fa952cefd4e12f99c6424d40","cross_cats_sorted":["cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2016-07-11T22:58:23Z","title_canon_sha256":"fdb3fa37eb7053c6a89b5f153a8d7a5e3c1c39c9e4718736d296d97c2b8820ab"},"schema_version":"1.0","source":{"id":"1607.03193","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1607.03193","created_at":"2026-05-18T01:11:09Z"},{"alias_kind":"arxiv_version","alias_value":"1607.03193v1","created_at":"2026-05-18T01:11:09Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1607.03193","created_at":"2026-05-18T01:11:09Z"},{"alias_kind":"pith_short_12","alias_value":"W2AAGWHTFWIH","created_at":"2026-05-18T12:30:48Z"},{"alias_kind":"pith_short_16","alias_value":"W2AAGWHTFWIHAB7V","created_at":"2026-05-18T12:30:48Z"},{"alias_kind":"pith_short_8","alias_value":"W2AAGWHT","created_at":"2026-05-18T12:30:48Z"}],"graph_snapshots":[{"event_id":"sha256:ccf9903eba820d587a352497d6ba7728bdc33d774fe8142d4ad9a6b8ff8815f1","target":"graph","created_at":"2026-05-18T01:11:09Z","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":"We consider a class of systems over finite alphabets with linear internal dynamics, finite-valued control inputs and finitely quantized outputs. We motivate the need for a new notion of observability and propose three new notions of output observability, thereby shifting our attention to the problem of state estimation for output prediction. We derive necessary and sufficient conditions for a system to be output observable, algorithmic procedures to verify these conditions, and a construction of finite memory output observers when certain conditions are met. We conclude with simple illustrativ","authors_text":"Danielle C. Tarraf, Donglei Fan","cross_cats":["cs.SY"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2016-07-11T22:58:23Z","title":"Output Observability of Systems Over Finite Alphabets with Linear Internal Dynamics"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1607.03193","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:d2df0103ca727293fa1cfb691ad8445a99dfdc2827ac1ee98fd148e32cdb0285","target":"record","created_at":"2026-05-18T01:11:09Z","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":"96dbb2fb8b391f5adbdb4249d97518819c95a990fa952cefd4e12f99c6424d40","cross_cats_sorted":["cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2016-07-11T22:58:23Z","title_canon_sha256":"fdb3fa37eb7053c6a89b5f153a8d7a5e3c1c39c9e4718736d296d97c2b8820ab"},"schema_version":"1.0","source":{"id":"1607.03193","kind":"arxiv","version":1}},"canonical_sha256":"b6800358f32d907007f577adc2f2994942e74b9c850d09bdd445fd7308cb7c64","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"b6800358f32d907007f577adc2f2994942e74b9c850d09bdd445fd7308cb7c64","first_computed_at":"2026-05-18T01:11:09.602793Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:11:09.602793Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"h8iZ9xTfBVierTNzC7DUHmU8qa9GdfF/LoxCMahEI8mlEXh6z26gQg463rRrtrVhK85EvVgHAxGGNkGmmFCEDg==","signature_status":"signed_v1","signed_at":"2026-05-18T01:11:09.603197Z","signed_message":"canonical_sha256_bytes"},"source_id":"1607.03193","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:d2df0103ca727293fa1cfb691ad8445a99dfdc2827ac1ee98fd148e32cdb0285","sha256:ccf9903eba820d587a352497d6ba7728bdc33d774fe8142d4ad9a6b8ff8815f1"],"state_sha256":"db33cdf78e32b75349a6fdfc59477de5160596ccfde709493c88e9070e1b0298"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"U+qjF1SgYWRMhg9GhjDmDPyGZrmMPsr4CB6dux9zz/UQfufB5aoSeVV7mW1WLGx6o3S80RVA6yshVuT7lFaHAw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-23T07:14:43.221930Z","bundle_sha256":"41ccfcf16f74b3138fd2852a39e4b0d95ddb0efb204b2fac5462cf718247c26f"}}