{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:FKEKNQ2IWY6GRR3IF6LIFOOWCS","short_pith_number":"pith:FKEKNQ2I","canonical_record":{"source":{"id":"1801.04263","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-01-12T18:43:32Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"e49df80d082e0ecf3bf0ad9c82ef9768fb034bb2f258f1ca8b1ebcd6c4868487","abstract_canon_sha256":"999c8c3d9f84ffbcf7d49772ff538fd9da4998903b6613669ed974e4805166a5"},"schema_version":"1.0"},"canonical_sha256":"2a88a6c348b63c68c7682f9682b9d614908e13e3e1efdd06e5c86f61551e0368","source":{"kind":"arxiv","id":"1801.04263","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1801.04263","created_at":"2026-05-18T00:26:09Z"},{"alias_kind":"arxiv_version","alias_value":"1801.04263v1","created_at":"2026-05-18T00:26:09Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1801.04263","created_at":"2026-05-18T00:26:09Z"},{"alias_kind":"pith_short_12","alias_value":"FKEKNQ2IWY6G","created_at":"2026-05-18T12:32:22Z"},{"alias_kind":"pith_short_16","alias_value":"FKEKNQ2IWY6GRR3I","created_at":"2026-05-18T12:32:22Z"},{"alias_kind":"pith_short_8","alias_value":"FKEKNQ2I","created_at":"2026-05-18T12:32:22Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:FKEKNQ2IWY6GRR3IF6LIFOOWCS","target":"record","payload":{"canonical_record":{"source":{"id":"1801.04263","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-01-12T18:43:32Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"e49df80d082e0ecf3bf0ad9c82ef9768fb034bb2f258f1ca8b1ebcd6c4868487","abstract_canon_sha256":"999c8c3d9f84ffbcf7d49772ff538fd9da4998903b6613669ed974e4805166a5"},"schema_version":"1.0"},"canonical_sha256":"2a88a6c348b63c68c7682f9682b9d614908e13e3e1efdd06e5c86f61551e0368","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:26:09.381606Z","signature_b64":"zVcYMP759KMMaMvsiQnjff1X5jLo02En3d7dybJLX3jJN68ran4pOg4zqm+K+FAnWyz9neSp4cE8o/fVZ9OqDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"2a88a6c348b63c68c7682f9682b9d614908e13e3e1efdd06e5c86f61551e0368","last_reissued_at":"2026-05-18T00:26:09.380861Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:26:09.380861Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1801.04263","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-18T00:26:09Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Oq9KbRN0WU4NTXcEcNckHSvrlOgoNQjFw71ltPMXwIz8+W0M0kFOOynpvllKBriU6GZS6inneYZaOzkrwv1LDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-19T11:57:31.970062Z"},"content_sha256":"2a7242ec831dc1cfac3771a417a1b0788ae4c9c51493f3e949839ecbc3258d9c","schema_version":"1.0","event_id":"sha256:2a7242ec831dc1cfac3771a417a1b0788ae4c9c51493f3e949839ecbc3258d9c"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:FKEKNQ2IWY6GRR3IF6LIFOOWCS","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Efficient Probabilistic Model Checking of Smart Building Maintenance using Fault Maintenance Trees","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SY"],"primary_cat":"cs.LO","authors_text":"Alessandro Abate, Khaza Anuarul Hoque, Marielle Stoelinga, Nathalie Cauchi","submitted_at":"2018-01-12T18:43:32Z","abstract_excerpt":"Cyber-physical systems, like Smart Buildings and power plants, have to meet high standards, both in terms of reliability and availability. Such metrics are typically evaluated using Fault trees (FTs) and do not consider maintenance strategies which can significantly improve lifespan and reliability. Fault Maintenance trees (FMTs) -- an extension of FTs that also incorporate maintenance and degradation models, are a novel technique that serve as a good planning platform for balancing total costs and dependability of a system. In this work, we apply the FMT formalism to a Smart Building applicat"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1801.04263","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-18T00:26:09Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"dUyIQ3/oGsLJSyXNPR5uURHJcbG/gvwlUDxkrSoGdKpjZeRKiRwQgz1XZu5hrqt6aNyxijDACizGQGOoyNPuAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-19T11:57:31.970414Z"},"content_sha256":"11e7eda9784e6e18a1db0753e1f9e1437d7a128ce7f461bb231193b40419e8a7","schema_version":"1.0","event_id":"sha256:11e7eda9784e6e18a1db0753e1f9e1437d7a128ce7f461bb231193b40419e8a7"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/FKEKNQ2IWY6GRR3IF6LIFOOWCS/bundle.json","state_url":"https://pith.science/pith/FKEKNQ2IWY6GRR3IF6LIFOOWCS/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/FKEKNQ2IWY6GRR3IF6LIFOOWCS/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-19T11:57:31Z","links":{"resolver":"https://pith.science/pith/FKEKNQ2IWY6GRR3IF6LIFOOWCS","bundle":"https://pith.science/pith/FKEKNQ2IWY6GRR3IF6LIFOOWCS/bundle.json","state":"https://pith.science/pith/FKEKNQ2IWY6GRR3IF6LIFOOWCS/state.json","well_known_bundle":"https://pith.science/.well-known/pith/FKEKNQ2IWY6GRR3IF6LIFOOWCS/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:FKEKNQ2IWY6GRR3IF6LIFOOWCS","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":"999c8c3d9f84ffbcf7d49772ff538fd9da4998903b6613669ed974e4805166a5","cross_cats_sorted":["cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-01-12T18:43:32Z","title_canon_sha256":"e49df80d082e0ecf3bf0ad9c82ef9768fb034bb2f258f1ca8b1ebcd6c4868487"},"schema_version":"1.0","source":{"id":"1801.04263","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1801.04263","created_at":"2026-05-18T00:26:09Z"},{"alias_kind":"arxiv_version","alias_value":"1801.04263v1","created_at":"2026-05-18T00:26:09Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1801.04263","created_at":"2026-05-18T00:26:09Z"},{"alias_kind":"pith_short_12","alias_value":"FKEKNQ2IWY6G","created_at":"2026-05-18T12:32:22Z"},{"alias_kind":"pith_short_16","alias_value":"FKEKNQ2IWY6GRR3I","created_at":"2026-05-18T12:32:22Z"},{"alias_kind":"pith_short_8","alias_value":"FKEKNQ2I","created_at":"2026-05-18T12:32:22Z"}],"graph_snapshots":[{"event_id":"sha256:11e7eda9784e6e18a1db0753e1f9e1437d7a128ce7f461bb231193b40419e8a7","target":"graph","created_at":"2026-05-18T00:26: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":"Cyber-physical systems, like Smart Buildings and power plants, have to meet high standards, both in terms of reliability and availability. Such metrics are typically evaluated using Fault trees (FTs) and do not consider maintenance strategies which can significantly improve lifespan and reliability. Fault Maintenance trees (FMTs) -- an extension of FTs that also incorporate maintenance and degradation models, are a novel technique that serve as a good planning platform for balancing total costs and dependability of a system. In this work, we apply the FMT formalism to a Smart Building applicat","authors_text":"Alessandro Abate, Khaza Anuarul Hoque, Marielle Stoelinga, Nathalie Cauchi","cross_cats":["cs.SY"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-01-12T18:43:32Z","title":"Efficient Probabilistic Model Checking of Smart Building Maintenance using Fault Maintenance Trees"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1801.04263","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:2a7242ec831dc1cfac3771a417a1b0788ae4c9c51493f3e949839ecbc3258d9c","target":"record","created_at":"2026-05-18T00:26: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":"999c8c3d9f84ffbcf7d49772ff538fd9da4998903b6613669ed974e4805166a5","cross_cats_sorted":["cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-01-12T18:43:32Z","title_canon_sha256":"e49df80d082e0ecf3bf0ad9c82ef9768fb034bb2f258f1ca8b1ebcd6c4868487"},"schema_version":"1.0","source":{"id":"1801.04263","kind":"arxiv","version":1}},"canonical_sha256":"2a88a6c348b63c68c7682f9682b9d614908e13e3e1efdd06e5c86f61551e0368","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"2a88a6c348b63c68c7682f9682b9d614908e13e3e1efdd06e5c86f61551e0368","first_computed_at":"2026-05-18T00:26:09.380861Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:26:09.380861Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"zVcYMP759KMMaMvsiQnjff1X5jLo02En3d7dybJLX3jJN68ran4pOg4zqm+K+FAnWyz9neSp4cE8o/fVZ9OqDQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:26:09.381606Z","signed_message":"canonical_sha256_bytes"},"source_id":"1801.04263","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:2a7242ec831dc1cfac3771a417a1b0788ae4c9c51493f3e949839ecbc3258d9c","sha256:11e7eda9784e6e18a1db0753e1f9e1437d7a128ce7f461bb231193b40419e8a7"],"state_sha256":"d10acdfa6f8a39a5a678a3d6f710f372ca7a6121b1505bfd4596c17ec65c2cc5"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"l0ovQYCLLHc5kIHySLvyprTm5yny9jysgscfQ5OjYWXtI34RC+F2BVAQ4cLKvpbuGpkYF5vTmSQDcqRtzkhGDg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-19T11:57:31.972039Z","bundle_sha256":"d6f597cff5bfe3aeb603111311fa5a3ca51706c828635080667d7efac0d7f3a0"}}