{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:NS6QGEB3ONNYEC3ZM4USU43CM3","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":"64ee2c6003737a9b7bf0fbc151ef6e8ddeeb013aa6274f9cd96ec4caa72fbc64","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2015-08-04T07:19:58Z","title_canon_sha256":"9023ed1912bfa5d78f3f5b7af549491994cc002e42ffb00f3a2425e53cf66e7a"},"schema_version":"1.0","source":{"id":"1508.00683","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1508.00683","created_at":"2026-05-18T01:35:53Z"},{"alias_kind":"arxiv_version","alias_value":"1508.00683v1","created_at":"2026-05-18T01:35:53Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1508.00683","created_at":"2026-05-18T01:35:53Z"},{"alias_kind":"pith_short_12","alias_value":"NS6QGEB3ONNY","created_at":"2026-05-18T12:29:34Z"},{"alias_kind":"pith_short_16","alias_value":"NS6QGEB3ONNYEC3Z","created_at":"2026-05-18T12:29:34Z"},{"alias_kind":"pith_short_8","alias_value":"NS6QGEB3","created_at":"2026-05-18T12:29:34Z"}],"graph_snapshots":[{"event_id":"sha256:0f65c57c46dd716b8dd820d748d9f2f7c87cd16dc5bea6c3cb4527af3ad88764","target":"graph","created_at":"2026-05-18T01:35:53Z","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 study the problem of predictability in partially observable discrete event systems, i.e., the question whether an observer can predict the occurrence of a fault. We extend the definition of predictability to consider the time interval where the fault will occur: the $(i,j)$-predictability does not only specify that the fault will be predicted before it occurs, but also that the predictor will be able to predict that its occurrence will occur in $i$ to $j$ observations from now. We also provide a quadratic algorithm that decides predictability of the system.","authors_text":"Alban Grastien","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2015-08-04T07:19:58Z","title":"Interval Predictability in Discrete Event Systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1508.00683","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:3734e0b81af59564ed2aff4f66019ba42d8159844f946f581d41bf5f6f433929","target":"record","created_at":"2026-05-18T01:35:53Z","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":"64ee2c6003737a9b7bf0fbc151ef6e8ddeeb013aa6274f9cd96ec4caa72fbc64","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2015-08-04T07:19:58Z","title_canon_sha256":"9023ed1912bfa5d78f3f5b7af549491994cc002e42ffb00f3a2425e53cf66e7a"},"schema_version":"1.0","source":{"id":"1508.00683","kind":"arxiv","version":1}},"canonical_sha256":"6cbd03103b735b820b7967292a736266c3203586e543b4841a5940c095b21f9f","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"6cbd03103b735b820b7967292a736266c3203586e543b4841a5940c095b21f9f","first_computed_at":"2026-05-18T01:35:53.687549Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:35:53.687549Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"9hDM1VeJdLVxH7cI02iDvxQmlBpcFm/6Cpbao80L8cOfsTRvwVsmQMhsKp9kimZqjexX3NbndNV4T0OULEIPBQ==","signature_status":"signed_v1","signed_at":"2026-05-18T01:35:53.688215Z","signed_message":"canonical_sha256_bytes"},"source_id":"1508.00683","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:3734e0b81af59564ed2aff4f66019ba42d8159844f946f581d41bf5f6f433929","sha256:0f65c57c46dd716b8dd820d748d9f2f7c87cd16dc5bea6c3cb4527af3ad88764"],"state_sha256":"a5d838226bf324d6d007725e8602b6f0517904b082ad2a2e7afbf5050972a470"}