{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2013:XPZDKEBJDFXXQRA6FC736ZZIOH","short_pith_number":"pith:XPZDKEBJ","canonical_record":{"source":{"id":"1303.5424","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2013-03-13T12:54:40Z","cross_cats_sorted":[],"title_canon_sha256":"e5beedf6cbc02103c7d5cf3b4a5a2a3eeb6d9c75c91ed46dc9edb5526dbffc82","abstract_canon_sha256":"cebe77094e1ae14ee54feffc6a43d9038dae9ff3fd99bd02ceabcd17172e462d"},"schema_version":"1.0"},"canonical_sha256":"bbf2351029196f78441e28bfbf672871c07b7108d9e04d4a20e34332520df8a5","source":{"kind":"arxiv","id":"1303.5424","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1303.5424","created_at":"2026-05-18T03:30:04Z"},{"alias_kind":"arxiv_version","alias_value":"1303.5424v1","created_at":"2026-05-18T03:30:04Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1303.5424","created_at":"2026-05-18T03:30:04Z"},{"alias_kind":"pith_short_12","alias_value":"XPZDKEBJDFXX","created_at":"2026-05-18T12:28:06Z"},{"alias_kind":"pith_short_16","alias_value":"XPZDKEBJDFXXQRA6","created_at":"2026-05-18T12:28:06Z"},{"alias_kind":"pith_short_8","alias_value":"XPZDKEBJ","created_at":"2026-05-18T12:28:06Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2013:XPZDKEBJDFXXQRA6FC736ZZIOH","target":"record","payload":{"canonical_record":{"source":{"id":"1303.5424","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2013-03-13T12:54:40Z","cross_cats_sorted":[],"title_canon_sha256":"e5beedf6cbc02103c7d5cf3b4a5a2a3eeb6d9c75c91ed46dc9edb5526dbffc82","abstract_canon_sha256":"cebe77094e1ae14ee54feffc6a43d9038dae9ff3fd99bd02ceabcd17172e462d"},"schema_version":"1.0"},"canonical_sha256":"bbf2351029196f78441e28bfbf672871c07b7108d9e04d4a20e34332520df8a5","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:30:04.282422Z","signature_b64":"BCMtfzTnS5SeIVteXhdEkDBgSZWgLt86zQ9+HoR9vvYHKCtFlPW4Ed0ekECstDs8hnTDTCX2XBCxngTldULADQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"bbf2351029196f78441e28bfbf672871c07b7108d9e04d4a20e34332520df8a5","last_reissued_at":"2026-05-18T03:30:04.281676Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:30:04.281676Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1303.5424","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-18T03:30:04Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"LmoYZwi6r6ubIUCVMIo5l7X+Hg93g1XDrcUUKozFriHrPA+pBhALpAGxw3fggHent67GIQOcVf1RlzrBXk47Cg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-28T20:03:16.817095Z"},"content_sha256":"b41255747936a3553e2175b84cbd41eadd603dec1efa17060b9ca979631a17c8","schema_version":"1.0","event_id":"sha256:b41255747936a3553e2175b84cbd41eadd603dec1efa17060b9ca979631a17c8"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2013:XPZDKEBJDFXXQRA6FC736ZZIOH","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Modeling Uncertain Temporal Evolutions in Model-Based Diagnosis","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Luigi Portinale","submitted_at":"2013-03-13T12:54:40Z","abstract_excerpt":"Although the notion of diagnostic problem has been extensively investigated in the context of static systems, in most practical applications the behavior of the modeled system is significantly variable during time.  The goal of the paper is to propose a novel approach to the modeling of uncertainty about temporal evolutions of time-varying systems and a characterization of model-based temporal diagnosis.  Since in most real world cases knowledge about the temporal evolution of the system to be diagnosed is uncertain, we consider the case when probabilistic temporal knowledge is available for e"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1303.5424","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-18T03:30:04Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"qpf5qFNoRv1zVcKHkEwiXHLbJXj5ElyPqnmzBsKyKyDUGewWx6NY2nywPNhVxVR49Vv7E48xREI3Y5Nc1D38CA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-28T20:03:16.817448Z"},"content_sha256":"50ec2738f7192441e23ac3e9448040359f03bc8b35f11f531ddeffe85b758b3b","schema_version":"1.0","event_id":"sha256:50ec2738f7192441e23ac3e9448040359f03bc8b35f11f531ddeffe85b758b3b"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/XPZDKEBJDFXXQRA6FC736ZZIOH/bundle.json","state_url":"https://pith.science/pith/XPZDKEBJDFXXQRA6FC736ZZIOH/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/XPZDKEBJDFXXQRA6FC736ZZIOH/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-06-28T20:03:16Z","links":{"resolver":"https://pith.science/pith/XPZDKEBJDFXXQRA6FC736ZZIOH","bundle":"https://pith.science/pith/XPZDKEBJDFXXQRA6FC736ZZIOH/bundle.json","state":"https://pith.science/pith/XPZDKEBJDFXXQRA6FC736ZZIOH/state.json","well_known_bundle":"https://pith.science/.well-known/pith/XPZDKEBJDFXXQRA6FC736ZZIOH/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:XPZDKEBJDFXXQRA6FC736ZZIOH","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":"cebe77094e1ae14ee54feffc6a43d9038dae9ff3fd99bd02ceabcd17172e462d","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2013-03-13T12:54:40Z","title_canon_sha256":"e5beedf6cbc02103c7d5cf3b4a5a2a3eeb6d9c75c91ed46dc9edb5526dbffc82"},"schema_version":"1.0","source":{"id":"1303.5424","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1303.5424","created_at":"2026-05-18T03:30:04Z"},{"alias_kind":"arxiv_version","alias_value":"1303.5424v1","created_at":"2026-05-18T03:30:04Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1303.5424","created_at":"2026-05-18T03:30:04Z"},{"alias_kind":"pith_short_12","alias_value":"XPZDKEBJDFXX","created_at":"2026-05-18T12:28:06Z"},{"alias_kind":"pith_short_16","alias_value":"XPZDKEBJDFXXQRA6","created_at":"2026-05-18T12:28:06Z"},{"alias_kind":"pith_short_8","alias_value":"XPZDKEBJ","created_at":"2026-05-18T12:28:06Z"}],"graph_snapshots":[{"event_id":"sha256:50ec2738f7192441e23ac3e9448040359f03bc8b35f11f531ddeffe85b758b3b","target":"graph","created_at":"2026-05-18T03:30:04Z","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":"Although the notion of diagnostic problem has been extensively investigated in the context of static systems, in most practical applications the behavior of the modeled system is significantly variable during time.  The goal of the paper is to propose a novel approach to the modeling of uncertainty about temporal evolutions of time-varying systems and a characterization of model-based temporal diagnosis.  Since in most real world cases knowledge about the temporal evolution of the system to be diagnosed is uncertain, we consider the case when probabilistic temporal knowledge is available for e","authors_text":"Luigi Portinale","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2013-03-13T12:54:40Z","title":"Modeling Uncertain Temporal Evolutions in Model-Based Diagnosis"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1303.5424","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:b41255747936a3553e2175b84cbd41eadd603dec1efa17060b9ca979631a17c8","target":"record","created_at":"2026-05-18T03:30:04Z","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":"cebe77094e1ae14ee54feffc6a43d9038dae9ff3fd99bd02ceabcd17172e462d","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2013-03-13T12:54:40Z","title_canon_sha256":"e5beedf6cbc02103c7d5cf3b4a5a2a3eeb6d9c75c91ed46dc9edb5526dbffc82"},"schema_version":"1.0","source":{"id":"1303.5424","kind":"arxiv","version":1}},"canonical_sha256":"bbf2351029196f78441e28bfbf672871c07b7108d9e04d4a20e34332520df8a5","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"bbf2351029196f78441e28bfbf672871c07b7108d9e04d4a20e34332520df8a5","first_computed_at":"2026-05-18T03:30:04.281676Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:30:04.281676Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"BCMtfzTnS5SeIVteXhdEkDBgSZWgLt86zQ9+HoR9vvYHKCtFlPW4Ed0ekECstDs8hnTDTCX2XBCxngTldULADQ==","signature_status":"signed_v1","signed_at":"2026-05-18T03:30:04.282422Z","signed_message":"canonical_sha256_bytes"},"source_id":"1303.5424","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:b41255747936a3553e2175b84cbd41eadd603dec1efa17060b9ca979631a17c8","sha256:50ec2738f7192441e23ac3e9448040359f03bc8b35f11f531ddeffe85b758b3b"],"state_sha256":"753bb54e07f211da7f16e87cd8bea5ba2fb9ad3e62d0b1cf4bee1c78111b4ad4"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"U14o/Pse7NgV5U2G02e/D6me56lcQICah7Wg5j6AAQvW7U/aP7tn1K7ZRPhFCOUVtq2w+e0Yd5xhiRfPSaMlDg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-28T20:03:16.819455Z","bundle_sha256":"2c1589b1d4e1895dd3a5993cb7e88d79b3dc96bca42b9d72a50d81742346af31"}}