{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:VIA55PMGXS6X5AB5DKP3TKHPGX","short_pith_number":"pith:VIA55PMG","canonical_record":{"source":{"id":"1608.03195","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2016-08-10T14:52:31Z","cross_cats_sorted":[],"title_canon_sha256":"91c83df1f8988d285f740cb9592c14dd348cd63bf5c4184483a4c3a798702fe6","abstract_canon_sha256":"4c2c3250610756ce42555cc1aa8d0796764195c88b40a102228ae13263e9e222"},"schema_version":"1.0"},"canonical_sha256":"aa01debd86bcbd7e803d1a9fb9a8ef35ecd752e2d75ea404914e5abe3a835bb2","source":{"kind":"arxiv","id":"1608.03195","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1608.03195","created_at":"2026-05-18T00:56:45Z"},{"alias_kind":"arxiv_version","alias_value":"1608.03195v2","created_at":"2026-05-18T00:56:45Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1608.03195","created_at":"2026-05-18T00:56:45Z"},{"alias_kind":"pith_short_12","alias_value":"VIA55PMGXS6X","created_at":"2026-05-18T12:30:48Z"},{"alias_kind":"pith_short_16","alias_value":"VIA55PMGXS6X5AB5","created_at":"2026-05-18T12:30:48Z"},{"alias_kind":"pith_short_8","alias_value":"VIA55PMG","created_at":"2026-05-18T12:30:48Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:VIA55PMGXS6X5AB5DKP3TKHPGX","target":"record","payload":{"canonical_record":{"source":{"id":"1608.03195","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2016-08-10T14:52:31Z","cross_cats_sorted":[],"title_canon_sha256":"91c83df1f8988d285f740cb9592c14dd348cd63bf5c4184483a4c3a798702fe6","abstract_canon_sha256":"4c2c3250610756ce42555cc1aa8d0796764195c88b40a102228ae13263e9e222"},"schema_version":"1.0"},"canonical_sha256":"aa01debd86bcbd7e803d1a9fb9a8ef35ecd752e2d75ea404914e5abe3a835bb2","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:56:45.663993Z","signature_b64":"vRuaG7InD8MDSQUo/UI5uJZq3jq4g0qpVJFa96mSN23Hp6wbyYRO/cdxGfEB26ALNWCDcnnNRT7bzg7yc3y/Bw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"aa01debd86bcbd7e803d1a9fb9a8ef35ecd752e2d75ea404914e5abe3a835bb2","last_reissued_at":"2026-05-18T00:56:45.663487Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:56:45.663487Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1608.03195","source_version":2,"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-18T00:56:45Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"jX0lmuZsCs2aPa2w/yWOQhyQzt8lernMdCCGJ7UpvopMILsByfn0D2HUL82OzuXhVKC50UXtx3WlliYyG0zGDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-09T06:59:42.017983Z"},"content_sha256":"732ce600ba27f398d62ac3e01f336744e16a543bb40df97cd13252b6577bc3dc","schema_version":"1.0","event_id":"sha256:732ce600ba27f398d62ac3e01f336744e16a543bb40df97cd13252b6577bc3dc"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:VIA55PMGXS6X5AB5DKP3TKHPGX","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Observability and diagnosability of finite state systems: a unifying framework","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.OC","authors_text":"Elena De Santis, Maria Domenica Di Benedetto","submitted_at":"2016-08-10T14:52:31Z","abstract_excerpt":"In this paper, a general framework is proposed for the analysis and characterization of observability and diagnosability of finite state systems. Observability corresponds to the reconstruction of the system's discrete state, while diagnosability corresponds to the possibility of determining the past occurrence of some particular states, for example faulty states. A unifying framework is proposed where observability and diagnosability properties are defined with respect to a critical set, i.e. a set of discrete states representing a set of faults, or more generally a set of interest. These pro"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1608.03195","kind":"arxiv","version":2},"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-18T00:56:45Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"pJh27c8o1oxKV82hMIqI+ZDoMo8PEbH8vVtn86PKfh48xNhhDBxxjTOB4DJO4ZNjBnxUndVh3iCQaHt3ECL1Cw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-09T06:59:42.018700Z"},"content_sha256":"e6593f81fcfabbdd36702af9fbdf4a614fb13a7c3eabb4f098624d7b9aa1a62c","schema_version":"1.0","event_id":"sha256:e6593f81fcfabbdd36702af9fbdf4a614fb13a7c3eabb4f098624d7b9aa1a62c"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/VIA55PMGXS6X5AB5DKP3TKHPGX/bundle.json","state_url":"https://pith.science/pith/VIA55PMGXS6X5AB5DKP3TKHPGX/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/VIA55PMGXS6X5AB5DKP3TKHPGX/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-09T06:59:42Z","links":{"resolver":"https://pith.science/pith/VIA55PMGXS6X5AB5DKP3TKHPGX","bundle":"https://pith.science/pith/VIA55PMGXS6X5AB5DKP3TKHPGX/bundle.json","state":"https://pith.science/pith/VIA55PMGXS6X5AB5DKP3TKHPGX/state.json","well_known_bundle":"https://pith.science/.well-known/pith/VIA55PMGXS6X5AB5DKP3TKHPGX/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:VIA55PMGXS6X5AB5DKP3TKHPGX","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":"4c2c3250610756ce42555cc1aa8d0796764195c88b40a102228ae13263e9e222","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2016-08-10T14:52:31Z","title_canon_sha256":"91c83df1f8988d285f740cb9592c14dd348cd63bf5c4184483a4c3a798702fe6"},"schema_version":"1.0","source":{"id":"1608.03195","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1608.03195","created_at":"2026-05-18T00:56:45Z"},{"alias_kind":"arxiv_version","alias_value":"1608.03195v2","created_at":"2026-05-18T00:56:45Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1608.03195","created_at":"2026-05-18T00:56:45Z"},{"alias_kind":"pith_short_12","alias_value":"VIA55PMGXS6X","created_at":"2026-05-18T12:30:48Z"},{"alias_kind":"pith_short_16","alias_value":"VIA55PMGXS6X5AB5","created_at":"2026-05-18T12:30:48Z"},{"alias_kind":"pith_short_8","alias_value":"VIA55PMG","created_at":"2026-05-18T12:30:48Z"}],"graph_snapshots":[{"event_id":"sha256:e6593f81fcfabbdd36702af9fbdf4a614fb13a7c3eabb4f098624d7b9aa1a62c","target":"graph","created_at":"2026-05-18T00:56:45Z","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, a general framework is proposed for the analysis and characterization of observability and diagnosability of finite state systems. Observability corresponds to the reconstruction of the system's discrete state, while diagnosability corresponds to the possibility of determining the past occurrence of some particular states, for example faulty states. A unifying framework is proposed where observability and diagnosability properties are defined with respect to a critical set, i.e. a set of discrete states representing a set of faults, or more generally a set of interest. These pro","authors_text":"Elena De Santis, Maria Domenica Di Benedetto","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2016-08-10T14:52:31Z","title":"Observability and diagnosability of finite state systems: a unifying framework"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1608.03195","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:732ce600ba27f398d62ac3e01f336744e16a543bb40df97cd13252b6577bc3dc","target":"record","created_at":"2026-05-18T00:56:45Z","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":"4c2c3250610756ce42555cc1aa8d0796764195c88b40a102228ae13263e9e222","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2016-08-10T14:52:31Z","title_canon_sha256":"91c83df1f8988d285f740cb9592c14dd348cd63bf5c4184483a4c3a798702fe6"},"schema_version":"1.0","source":{"id":"1608.03195","kind":"arxiv","version":2}},"canonical_sha256":"aa01debd86bcbd7e803d1a9fb9a8ef35ecd752e2d75ea404914e5abe3a835bb2","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"aa01debd86bcbd7e803d1a9fb9a8ef35ecd752e2d75ea404914e5abe3a835bb2","first_computed_at":"2026-05-18T00:56:45.663487Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:56:45.663487Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"vRuaG7InD8MDSQUo/UI5uJZq3jq4g0qpVJFa96mSN23Hp6wbyYRO/cdxGfEB26ALNWCDcnnNRT7bzg7yc3y/Bw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:56:45.663993Z","signed_message":"canonical_sha256_bytes"},"source_id":"1608.03195","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:732ce600ba27f398d62ac3e01f336744e16a543bb40df97cd13252b6577bc3dc","sha256:e6593f81fcfabbdd36702af9fbdf4a614fb13a7c3eabb4f098624d7b9aa1a62c"],"state_sha256":"ecd43b1d9e09d38340a264a1ee71cb3ed7e0a661ec56ea8c144ebc7836720a3e"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"8KeEn9V21/l8MKEpxQURWWugi9ESa0PRWIGTwmEQPQl/24xuA3+BdLHFzlrFaQDeGyQ59FUVp52osdE/HIK4AA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-09T06:59:42.022946Z","bundle_sha256":"85c3d700af3c86ff39f40a5a839aebe089e8670aeb85201e966ec1b888565f44"}}