{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:CR4D23K5F2PS2IBFMQF2NU2IQM","short_pith_number":"pith:CR4D23K5","canonical_record":{"source":{"id":"1812.03546","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2018-12-09T18:59:26Z","cross_cats_sorted":[],"title_canon_sha256":"3c96ede318350cbcaa0d7de4a8e27dcf03582509324265b99e4eaea66f95b1b1","abstract_canon_sha256":"8cc6b326d67d09d18b4ab7786742686793d0d4d8bf7796f9721453438843cd20"},"schema_version":"1.0"},"canonical_sha256":"14783d6d5d2e9f2d2025640ba6d348830ddb95f7c0b8373df1e0cc9e2d7e2b9d","source":{"kind":"arxiv","id":"1812.03546","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1812.03546","created_at":"2026-05-17T23:58:46Z"},{"alias_kind":"arxiv_version","alias_value":"1812.03546v1","created_at":"2026-05-17T23:58:46Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1812.03546","created_at":"2026-05-17T23:58:46Z"},{"alias_kind":"pith_short_12","alias_value":"CR4D23K5F2PS","created_at":"2026-05-18T12:32:16Z"},{"alias_kind":"pith_short_16","alias_value":"CR4D23K5F2PS2IBF","created_at":"2026-05-18T12:32:16Z"},{"alias_kind":"pith_short_8","alias_value":"CR4D23K5","created_at":"2026-05-18T12:32:16Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:CR4D23K5F2PS2IBFMQF2NU2IQM","target":"record","payload":{"canonical_record":{"source":{"id":"1812.03546","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2018-12-09T18:59:26Z","cross_cats_sorted":[],"title_canon_sha256":"3c96ede318350cbcaa0d7de4a8e27dcf03582509324265b99e4eaea66f95b1b1","abstract_canon_sha256":"8cc6b326d67d09d18b4ab7786742686793d0d4d8bf7796f9721453438843cd20"},"schema_version":"1.0"},"canonical_sha256":"14783d6d5d2e9f2d2025640ba6d348830ddb95f7c0b8373df1e0cc9e2d7e2b9d","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:58:46.051830Z","signature_b64":"Abz6flOKIQLhFmzX65FrGN2t+a9YDs7kcrN2yXRf3sGZGMEL6idQifRLXmujHHl3Hj6rIyMyNNEmwv6vpZYNDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"14783d6d5d2e9f2d2025640ba6d348830ddb95f7c0b8373df1e0cc9e2d7e2b9d","last_reissued_at":"2026-05-17T23:58:46.051246Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:58:46.051246Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1812.03546","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-17T23:58:46Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"dW7LXZf2JOayw5RpZgRc2rIWxfqHTexWeXvufE90poaG+ff6xaWmk14eWqDS/PPIv1L+gsyD0CAIyRmKykxADw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T08:41:21.057565Z"},"content_sha256":"5ea419214fe68b67ea564e24fc2a8a4c165490f68170c6153c9f9c192e6f2363","schema_version":"1.0","event_id":"sha256:5ea419214fe68b67ea564e24fc2a8a4c165490f68170c6153c9f9c192e6f2363"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:CR4D23K5F2PS2IBFMQF2NU2IQM","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Software Fault Tolerance for Cyber-Physical Systems via Full System Restart","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SY","authors_text":"Fardin Abdi, Majid Zamani, Marco Caccamo, Matthias Rungger, Pushpak Jagtap","submitted_at":"2018-12-09T18:59:26Z","abstract_excerpt":"The paper addresses the issue of reliability of complex embedded control systems in the safety-critical environment. In this paper, we propose a novel approach to design controller that (i) guarantees the safety of nonlinear physical systems, (ii) enables safe system restart during runtime, and (iii) allows the use of complex, unverified controllers (e.g., neural networks) that drive the physical systems towards complex specifications. We use abstraction-based controller synthesis approach to design a formally verified controller that provides application and system-level fault tolerance along"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1812.03546","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-17T23:58:46Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Yz24AL19LNUOpmSnCrTkxVnj9pZ1Pcv7e4g4A+MbSa5LWFGxKoQuY5YTDSp9/zF4z+7I2t8SF4FVVNsFq98QDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T08:41:21.057972Z"},"content_sha256":"0c44a588725859b592e0ee26460dc293ad63ff71f395304bb7522dcd877fe6ac","schema_version":"1.0","event_id":"sha256:0c44a588725859b592e0ee26460dc293ad63ff71f395304bb7522dcd877fe6ac"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/CR4D23K5F2PS2IBFMQF2NU2IQM/bundle.json","state_url":"https://pith.science/pith/CR4D23K5F2PS2IBFMQF2NU2IQM/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/CR4D23K5F2PS2IBFMQF2NU2IQM/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-05-30T08:41:21Z","links":{"resolver":"https://pith.science/pith/CR4D23K5F2PS2IBFMQF2NU2IQM","bundle":"https://pith.science/pith/CR4D23K5F2PS2IBFMQF2NU2IQM/bundle.json","state":"https://pith.science/pith/CR4D23K5F2PS2IBFMQF2NU2IQM/state.json","well_known_bundle":"https://pith.science/.well-known/pith/CR4D23K5F2PS2IBFMQF2NU2IQM/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:CR4D23K5F2PS2IBFMQF2NU2IQM","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":"8cc6b326d67d09d18b4ab7786742686793d0d4d8bf7796f9721453438843cd20","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2018-12-09T18:59:26Z","title_canon_sha256":"3c96ede318350cbcaa0d7de4a8e27dcf03582509324265b99e4eaea66f95b1b1"},"schema_version":"1.0","source":{"id":"1812.03546","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1812.03546","created_at":"2026-05-17T23:58:46Z"},{"alias_kind":"arxiv_version","alias_value":"1812.03546v1","created_at":"2026-05-17T23:58:46Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1812.03546","created_at":"2026-05-17T23:58:46Z"},{"alias_kind":"pith_short_12","alias_value":"CR4D23K5F2PS","created_at":"2026-05-18T12:32:16Z"},{"alias_kind":"pith_short_16","alias_value":"CR4D23K5F2PS2IBF","created_at":"2026-05-18T12:32:16Z"},{"alias_kind":"pith_short_8","alias_value":"CR4D23K5","created_at":"2026-05-18T12:32:16Z"}],"graph_snapshots":[{"event_id":"sha256:0c44a588725859b592e0ee26460dc293ad63ff71f395304bb7522dcd877fe6ac","target":"graph","created_at":"2026-05-17T23:58:46Z","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 paper addresses the issue of reliability of complex embedded control systems in the safety-critical environment. In this paper, we propose a novel approach to design controller that (i) guarantees the safety of nonlinear physical systems, (ii) enables safe system restart during runtime, and (iii) allows the use of complex, unverified controllers (e.g., neural networks) that drive the physical systems towards complex specifications. We use abstraction-based controller synthesis approach to design a formally verified controller that provides application and system-level fault tolerance along","authors_text":"Fardin Abdi, Majid Zamani, Marco Caccamo, Matthias Rungger, Pushpak Jagtap","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2018-12-09T18:59:26Z","title":"Software Fault Tolerance for Cyber-Physical Systems via Full System Restart"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1812.03546","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:5ea419214fe68b67ea564e24fc2a8a4c165490f68170c6153c9f9c192e6f2363","target":"record","created_at":"2026-05-17T23:58:46Z","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":"8cc6b326d67d09d18b4ab7786742686793d0d4d8bf7796f9721453438843cd20","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2018-12-09T18:59:26Z","title_canon_sha256":"3c96ede318350cbcaa0d7de4a8e27dcf03582509324265b99e4eaea66f95b1b1"},"schema_version":"1.0","source":{"id":"1812.03546","kind":"arxiv","version":1}},"canonical_sha256":"14783d6d5d2e9f2d2025640ba6d348830ddb95f7c0b8373df1e0cc9e2d7e2b9d","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"14783d6d5d2e9f2d2025640ba6d348830ddb95f7c0b8373df1e0cc9e2d7e2b9d","first_computed_at":"2026-05-17T23:58:46.051246Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:58:46.051246Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Abz6flOKIQLhFmzX65FrGN2t+a9YDs7kcrN2yXRf3sGZGMEL6idQifRLXmujHHl3Hj6rIyMyNNEmwv6vpZYNDg==","signature_status":"signed_v1","signed_at":"2026-05-17T23:58:46.051830Z","signed_message":"canonical_sha256_bytes"},"source_id":"1812.03546","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:5ea419214fe68b67ea564e24fc2a8a4c165490f68170c6153c9f9c192e6f2363","sha256:0c44a588725859b592e0ee26460dc293ad63ff71f395304bb7522dcd877fe6ac"],"state_sha256":"2bc6f47abd8d8a647fcc07555eb8baa3fdadcb7b6d4ec3b13fe61595686b3dc8"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"H4dLr+MC0b1AjftFiShdUZzW0J3CT+EmOuqreH1719cfLO1nv30/Yu0i5mbUwtJq4jkpBl/q+/NDJzwEwJSJCQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-30T08:41:21.059915Z","bundle_sha256":"0cd137b2993f85aa4f497295430801b405b63d9222ea1e4348bc7a44bf440f61"}}