{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:PBNN3DRMEM6OIXRSHZTRGUDMZA","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":"55d05db2108af9ee0f5810cb65b506d0d6d39d69aa88614307194023d80e1df4","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2019-03-11T14:34:58Z","title_canon_sha256":"c64862e761817d8eac28308f8bfe85c13b31fb998a98009d89b4d6ba9bdb8a37"},"schema_version":"1.0","source":{"id":"1903.04326","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1903.04326","created_at":"2026-05-17T23:51:35Z"},{"alias_kind":"arxiv_version","alias_value":"1903.04326v1","created_at":"2026-05-17T23:51:35Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1903.04326","created_at":"2026-05-17T23:51:35Z"},{"alias_kind":"pith_short_12","alias_value":"PBNN3DRMEM6O","created_at":"2026-05-18T12:33:24Z"},{"alias_kind":"pith_short_16","alias_value":"PBNN3DRMEM6OIXRS","created_at":"2026-05-18T12:33:24Z"},{"alias_kind":"pith_short_8","alias_value":"PBNN3DRM","created_at":"2026-05-18T12:33:24Z"}],"graph_snapshots":[{"event_id":"sha256:2ea56dcaaffe3fb71f6b9143420885ad3ccee867bed86a77f98ea217dd13b243","target":"graph","created_at":"2026-05-17T23:51:35Z","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":"The Internet of Things (IoT) connects millions of devices of different cyber-physical systems (CPSs) providing the CPSs additional (implicit) redundancy during runtime. However, the increasing level of dynamicity, heterogeneity, and complexity adds to the system's vulnerability, and challenges its ability to react to faults. Self-healing is an increasingly popular approach for ensuring resilience, that is, a proper monitoring and recovery, in CPSs. This work encodes and searches an adaptive knowledge base in Prolog/ProbLog that models relations among system variables given that certain implici","authors_text":"Denise Ratasich, Ezio Bartocci, Michael Platzer, Radu Grosu","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2019-03-11T14:34:58Z","title":"Adaptive Fault Detection exploiting Redundancy with Uncertainties in Space and Time"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1903.04326","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:6956529a9cfccffee60716aeead4d9a1f9c2efdb032ece79f7408e7467313b1f","target":"record","created_at":"2026-05-17T23:51:35Z","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":"55d05db2108af9ee0f5810cb65b506d0d6d39d69aa88614307194023d80e1df4","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2019-03-11T14:34:58Z","title_canon_sha256":"c64862e761817d8eac28308f8bfe85c13b31fb998a98009d89b4d6ba9bdb8a37"},"schema_version":"1.0","source":{"id":"1903.04326","kind":"arxiv","version":1}},"canonical_sha256":"785add8e2c233ce45e323e6713506cc80d53f6224d694f6a68db3b77680ab726","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"785add8e2c233ce45e323e6713506cc80d53f6224d694f6a68db3b77680ab726","first_computed_at":"2026-05-17T23:51:35.748899Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:51:35.748899Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"85WLjLOeWAzEJ7aH7KhQyLWm9ywC5+Uy/kxjRm7oAaHgrEL1JMVJOxLyBRuiqJDQks8inMtixziJqcogPIDXAA==","signature_status":"signed_v1","signed_at":"2026-05-17T23:51:35.749609Z","signed_message":"canonical_sha256_bytes"},"source_id":"1903.04326","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:6956529a9cfccffee60716aeead4d9a1f9c2efdb032ece79f7408e7467313b1f","sha256:2ea56dcaaffe3fb71f6b9143420885ad3ccee867bed86a77f98ea217dd13b243"],"state_sha256":"b93f19dcde47cfb7db9d2d12c5568f36395c60a56dd9e320bf8de4f25943748a"}