{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:EWFU7PJSY7YCBHRTABRZFS2VG7","short_pith_number":"pith:EWFU7PJS","canonical_record":{"source":{"id":"1806.05174","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2018-06-13T08:17:34Z","cross_cats_sorted":[],"title_canon_sha256":"5d1e71563d4e426c03f09332f0c47afcdd83b96da535f8c43ab1607e8c8d380b","abstract_canon_sha256":"984bf0ca9edc01fee12792fedb48c7d5c8095ad7fe174d8b48e789d55766c013"},"schema_version":"1.0"},"canonical_sha256":"258b4fbd32c7f0209e33006392cb5537c2f3db16ccafa5518e9942e139ea641f","source":{"kind":"arxiv","id":"1806.05174","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1806.05174","created_at":"2026-05-18T00:12:37Z"},{"alias_kind":"arxiv_version","alias_value":"1806.05174v2","created_at":"2026-05-18T00:12:37Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1806.05174","created_at":"2026-05-18T00:12:37Z"},{"alias_kind":"pith_short_12","alias_value":"EWFU7PJSY7YC","created_at":"2026-05-18T12:32:22Z"},{"alias_kind":"pith_short_16","alias_value":"EWFU7PJSY7YCBHRT","created_at":"2026-05-18T12:32:22Z"},{"alias_kind":"pith_short_8","alias_value":"EWFU7PJS","created_at":"2026-05-18T12:32:22Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:EWFU7PJSY7YCBHRTABRZFS2VG7","target":"record","payload":{"canonical_record":{"source":{"id":"1806.05174","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2018-06-13T08:17:34Z","cross_cats_sorted":[],"title_canon_sha256":"5d1e71563d4e426c03f09332f0c47afcdd83b96da535f8c43ab1607e8c8d380b","abstract_canon_sha256":"984bf0ca9edc01fee12792fedb48c7d5c8095ad7fe174d8b48e789d55766c013"},"schema_version":"1.0"},"canonical_sha256":"258b4fbd32c7f0209e33006392cb5537c2f3db16ccafa5518e9942e139ea641f","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:12:37.736329Z","signature_b64":"+iFMrHDjU3YECyWI1MZl+OExsSptqvbWXqmFQT8dcfrg3bCeDR/nd6aLBXowsdqRpNOt03EKyKtIT1wt1bg1Bw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"258b4fbd32c7f0209e33006392cb5537c2f3db16ccafa5518e9942e139ea641f","last_reissued_at":"2026-05-18T00:12:37.735589Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:12:37.735589Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1806.05174","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:12:37Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"GIHtCjwYKtUUecoEyVlk7keJcop5FmzG45aoV+q1YKtZPgXWV75RvHUHlY2YARyYXcRYdapFE+SqDHV8jp00Dw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-19T22:39:29.098237Z"},"content_sha256":"7d68b36171fd2c7d8bb60848cb348f55b6382cc9b7f52fae4de4e2bd90f40f40","schema_version":"1.0","event_id":"sha256:7d68b36171fd2c7d8bb60848cb348f55b6382cc9b7f52fae4de4e2bd90f40f40"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:EWFU7PJSY7YCBHRTABRZFS2VG7","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Maintenance of Smart Buildings using Fault Trees","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SY","authors_text":"Alessandro Abate, Khaza Anuarul Hoque, Marielle Stoelinga, Nathalie Cauchi","submitted_at":"2018-06-13T08:17:34Z","abstract_excerpt":"Timely maintenance is an important means of increasing system dependability and life span. Fault Maintenance trees (FMTs) are an innovative framework incorporating both maintenance strategies and degradation models and serve as a good planning platform for balancing total costs (operational and maintenance) with dependability of a system. In this work, we apply the FMT formalism to a {Smart Building} application and propose a framework that efficiently encodes the FMT into Continuous Time Markov Chains. This allows us to obtain system dependability metrics such as system reliability and mean t"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1806.05174","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:12:37Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"R0nz9RehRx6GB+wdq7tY4EMg2NOvjmpTxlS3xL6Xr4+XcP4FHO04kUnd21qIUDp2Hl48G/XLC2xajafBHOO6CA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-19T22:39:29.098600Z"},"content_sha256":"bc43395da0795cb73d3c1f76b972ec7fd13e68f57fb826f066dace0a39730630","schema_version":"1.0","event_id":"sha256:bc43395da0795cb73d3c1f76b972ec7fd13e68f57fb826f066dace0a39730630"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/EWFU7PJSY7YCBHRTABRZFS2VG7/bundle.json","state_url":"https://pith.science/pith/EWFU7PJSY7YCBHRTABRZFS2VG7/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/EWFU7PJSY7YCBHRTABRZFS2VG7/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-19T22:39:29Z","links":{"resolver":"https://pith.science/pith/EWFU7PJSY7YCBHRTABRZFS2VG7","bundle":"https://pith.science/pith/EWFU7PJSY7YCBHRTABRZFS2VG7/bundle.json","state":"https://pith.science/pith/EWFU7PJSY7YCBHRTABRZFS2VG7/state.json","well_known_bundle":"https://pith.science/.well-known/pith/EWFU7PJSY7YCBHRTABRZFS2VG7/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:EWFU7PJSY7YCBHRTABRZFS2VG7","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":"984bf0ca9edc01fee12792fedb48c7d5c8095ad7fe174d8b48e789d55766c013","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2018-06-13T08:17:34Z","title_canon_sha256":"5d1e71563d4e426c03f09332f0c47afcdd83b96da535f8c43ab1607e8c8d380b"},"schema_version":"1.0","source":{"id":"1806.05174","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1806.05174","created_at":"2026-05-18T00:12:37Z"},{"alias_kind":"arxiv_version","alias_value":"1806.05174v2","created_at":"2026-05-18T00:12:37Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1806.05174","created_at":"2026-05-18T00:12:37Z"},{"alias_kind":"pith_short_12","alias_value":"EWFU7PJSY7YC","created_at":"2026-05-18T12:32:22Z"},{"alias_kind":"pith_short_16","alias_value":"EWFU7PJSY7YCBHRT","created_at":"2026-05-18T12:32:22Z"},{"alias_kind":"pith_short_8","alias_value":"EWFU7PJS","created_at":"2026-05-18T12:32:22Z"}],"graph_snapshots":[{"event_id":"sha256:bc43395da0795cb73d3c1f76b972ec7fd13e68f57fb826f066dace0a39730630","target":"graph","created_at":"2026-05-18T00:12:37Z","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":"Timely maintenance is an important means of increasing system dependability and life span. Fault Maintenance trees (FMTs) are an innovative framework incorporating both maintenance strategies and degradation models and serve as a good planning platform for balancing total costs (operational and maintenance) with dependability of a system. In this work, we apply the FMT formalism to a {Smart Building} application and propose a framework that efficiently encodes the FMT into Continuous Time Markov Chains. This allows us to obtain system dependability metrics such as system reliability and mean t","authors_text":"Alessandro Abate, Khaza Anuarul Hoque, Marielle Stoelinga, Nathalie Cauchi","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2018-06-13T08:17:34Z","title":"Maintenance of Smart Buildings using Fault Trees"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1806.05174","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:7d68b36171fd2c7d8bb60848cb348f55b6382cc9b7f52fae4de4e2bd90f40f40","target":"record","created_at":"2026-05-18T00:12:37Z","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":"984bf0ca9edc01fee12792fedb48c7d5c8095ad7fe174d8b48e789d55766c013","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2018-06-13T08:17:34Z","title_canon_sha256":"5d1e71563d4e426c03f09332f0c47afcdd83b96da535f8c43ab1607e8c8d380b"},"schema_version":"1.0","source":{"id":"1806.05174","kind":"arxiv","version":2}},"canonical_sha256":"258b4fbd32c7f0209e33006392cb5537c2f3db16ccafa5518e9942e139ea641f","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"258b4fbd32c7f0209e33006392cb5537c2f3db16ccafa5518e9942e139ea641f","first_computed_at":"2026-05-18T00:12:37.735589Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:12:37.735589Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"+iFMrHDjU3YECyWI1MZl+OExsSptqvbWXqmFQT8dcfrg3bCeDR/nd6aLBXowsdqRpNOt03EKyKtIT1wt1bg1Bw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:12:37.736329Z","signed_message":"canonical_sha256_bytes"},"source_id":"1806.05174","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:7d68b36171fd2c7d8bb60848cb348f55b6382cc9b7f52fae4de4e2bd90f40f40","sha256:bc43395da0795cb73d3c1f76b972ec7fd13e68f57fb826f066dace0a39730630"],"state_sha256":"a7c2b4fa0227f71c749b660d7384eb31db18496fc0e02246d5794fc1a70cb0ae"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"M0ERDUaoCeTcC1TVlcfswwjOJbjs1r19Y6XsNoX5WtlxbZVOGETPuJUmpCMwgjc/P65diC+0+U0ZgUSO6t/QDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-19T22:39:29.100952Z","bundle_sha256":"9bd34937fade893e4e9dfa9ff0f6f88e9002406130a974e5e3741db87cd8055e"}}