{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2013:Q7HGV5JF3QWY5N7KYJGUXQWPAH","short_pith_number":"pith:Q7HGV5JF","canonical_record":{"source":{"id":"1302.6683","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2013-02-27T07:16:56Z","cross_cats_sorted":[],"title_canon_sha256":"0590364c06d0089d43fef2217e882d622ee260d2e86b8a8a28bb7246b7f06dee","abstract_canon_sha256":"55bba998731e05fe9809fabb53e4e01f0b00c12c355cd237cfe973e4f0051778"},"schema_version":"1.0"},"canonical_sha256":"87ce6af525dc2d8eb7eac24d4bc2cf01e98aeaa00be77e2178625154bbbc509c","source":{"kind":"arxiv","id":"1302.6683","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1302.6683","created_at":"2026-05-18T03:32:19Z"},{"alias_kind":"arxiv_version","alias_value":"1302.6683v1","created_at":"2026-05-18T03:32:19Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1302.6683","created_at":"2026-05-18T03:32:19Z"},{"alias_kind":"pith_short_12","alias_value":"Q7HGV5JF3QWY","created_at":"2026-05-18T12:27:57Z"},{"alias_kind":"pith_short_16","alias_value":"Q7HGV5JF3QWY5N7K","created_at":"2026-05-18T12:27:57Z"},{"alias_kind":"pith_short_8","alias_value":"Q7HGV5JF","created_at":"2026-05-18T12:27:57Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2013:Q7HGV5JF3QWY5N7KYJGUXQWPAH","target":"record","payload":{"canonical_record":{"source":{"id":"1302.6683","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2013-02-27T07:16:56Z","cross_cats_sorted":[],"title_canon_sha256":"0590364c06d0089d43fef2217e882d622ee260d2e86b8a8a28bb7246b7f06dee","abstract_canon_sha256":"55bba998731e05fe9809fabb53e4e01f0b00c12c355cd237cfe973e4f0051778"},"schema_version":"1.0"},"canonical_sha256":"87ce6af525dc2d8eb7eac24d4bc2cf01e98aeaa00be77e2178625154bbbc509c","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:32:19.125823Z","signature_b64":"Y7rOESdO/SwUcCV/C7noEYsC0XV525VY3sxcVr8onQ3tyXLv0ytkeajOVlmcV3ZpRl0wS8ZCYf7KjPDOOz9OCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"87ce6af525dc2d8eb7eac24d4bc2cf01e98aeaa00be77e2178625154bbbc509c","last_reissued_at":"2026-05-18T03:32:19.124807Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:32:19.124807Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1302.6683","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:32:19Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"LKGgral+EDjmGQYx9APtlVUg+nhBhVGDrN+X7nGRZZoaYb7uA2A1QcQDrSMwGjfBcFmYZIkgS3YedO2kHCv9Dg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T21:54:23.848551Z"},"content_sha256":"d51f4cc09b4bd4cfebb16690ce832db75b742fb2294240bae46719509adda69e","schema_version":"1.0","event_id":"sha256:d51f4cc09b4bd4cfebb16690ce832db75b742fb2294240bae46719509adda69e"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2013:Q7HGV5JF3QWY5N7KYJGUXQWPAH","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Decentralized set-valued state estimation based on non-deterministic chains","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SY","authors_text":"J\\\"org Raisch, Naim Bajcinca, Vladislav Nenchev, Yashar Kouhi","submitted_at":"2013-02-27T07:16:56Z","abstract_excerpt":"A general decentralized computational framework for set-valued state estimation and prediction for the class of systems that accept a hybrid state machine representation is considered in this article. The decentralized scheme consists of a conjunction of distributed state machines that are specified by a decomposition of the external signal space. While this is shown to produce, in general, outer approximations of the outcomes of the original monolithic state machine, here, specific rules for the signal space decomposition are devised by utilizing structural properties of the underyling transi"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1302.6683","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:32:19Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"T5DDqW93Wqz/5S7cAFMHo4dTudGYsu4hVjEXQ3sLk3DrFVJ1/RqS2QMZHfPiMZKntnogKdBM29qJfr3D4LkaDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T21:54:23.848894Z"},"content_sha256":"0470961aebed34db6e6b164af2e3ddd3c3f7d3fd61ce24d902807cf040283a61","schema_version":"1.0","event_id":"sha256:0470961aebed34db6e6b164af2e3ddd3c3f7d3fd61ce24d902807cf040283a61"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/Q7HGV5JF3QWY5N7KYJGUXQWPAH/bundle.json","state_url":"https://pith.science/pith/Q7HGV5JF3QWY5N7KYJGUXQWPAH/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/Q7HGV5JF3QWY5N7KYJGUXQWPAH/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-03T21:54:23Z","links":{"resolver":"https://pith.science/pith/Q7HGV5JF3QWY5N7KYJGUXQWPAH","bundle":"https://pith.science/pith/Q7HGV5JF3QWY5N7KYJGUXQWPAH/bundle.json","state":"https://pith.science/pith/Q7HGV5JF3QWY5N7KYJGUXQWPAH/state.json","well_known_bundle":"https://pith.science/.well-known/pith/Q7HGV5JF3QWY5N7KYJGUXQWPAH/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:Q7HGV5JF3QWY5N7KYJGUXQWPAH","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":"55bba998731e05fe9809fabb53e4e01f0b00c12c355cd237cfe973e4f0051778","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2013-02-27T07:16:56Z","title_canon_sha256":"0590364c06d0089d43fef2217e882d622ee260d2e86b8a8a28bb7246b7f06dee"},"schema_version":"1.0","source":{"id":"1302.6683","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1302.6683","created_at":"2026-05-18T03:32:19Z"},{"alias_kind":"arxiv_version","alias_value":"1302.6683v1","created_at":"2026-05-18T03:32:19Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1302.6683","created_at":"2026-05-18T03:32:19Z"},{"alias_kind":"pith_short_12","alias_value":"Q7HGV5JF3QWY","created_at":"2026-05-18T12:27:57Z"},{"alias_kind":"pith_short_16","alias_value":"Q7HGV5JF3QWY5N7K","created_at":"2026-05-18T12:27:57Z"},{"alias_kind":"pith_short_8","alias_value":"Q7HGV5JF","created_at":"2026-05-18T12:27:57Z"}],"graph_snapshots":[{"event_id":"sha256:0470961aebed34db6e6b164af2e3ddd3c3f7d3fd61ce24d902807cf040283a61","target":"graph","created_at":"2026-05-18T03:32:19Z","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":"A general decentralized computational framework for set-valued state estimation and prediction for the class of systems that accept a hybrid state machine representation is considered in this article. The decentralized scheme consists of a conjunction of distributed state machines that are specified by a decomposition of the external signal space. While this is shown to produce, in general, outer approximations of the outcomes of the original monolithic state machine, here, specific rules for the signal space decomposition are devised by utilizing structural properties of the underyling transi","authors_text":"J\\\"org Raisch, Naim Bajcinca, Vladislav Nenchev, Yashar Kouhi","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2013-02-27T07:16:56Z","title":"Decentralized set-valued state estimation based on non-deterministic chains"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1302.6683","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:d51f4cc09b4bd4cfebb16690ce832db75b742fb2294240bae46719509adda69e","target":"record","created_at":"2026-05-18T03:32:19Z","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":"55bba998731e05fe9809fabb53e4e01f0b00c12c355cd237cfe973e4f0051778","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2013-02-27T07:16:56Z","title_canon_sha256":"0590364c06d0089d43fef2217e882d622ee260d2e86b8a8a28bb7246b7f06dee"},"schema_version":"1.0","source":{"id":"1302.6683","kind":"arxiv","version":1}},"canonical_sha256":"87ce6af525dc2d8eb7eac24d4bc2cf01e98aeaa00be77e2178625154bbbc509c","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"87ce6af525dc2d8eb7eac24d4bc2cf01e98aeaa00be77e2178625154bbbc509c","first_computed_at":"2026-05-18T03:32:19.124807Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:32:19.124807Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Y7rOESdO/SwUcCV/C7noEYsC0XV525VY3sxcVr8onQ3tyXLv0ytkeajOVlmcV3ZpRl0wS8ZCYf7KjPDOOz9OCA==","signature_status":"signed_v1","signed_at":"2026-05-18T03:32:19.125823Z","signed_message":"canonical_sha256_bytes"},"source_id":"1302.6683","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:d51f4cc09b4bd4cfebb16690ce832db75b742fb2294240bae46719509adda69e","sha256:0470961aebed34db6e6b164af2e3ddd3c3f7d3fd61ce24d902807cf040283a61"],"state_sha256":"faa56f024ee57a934f9c863dd6404cfb6f6cb9ff9b5c48407dc72b56a1ce1284"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"hIxgMYaFyqca6G7w3lDIxsBcS0AhirPCHBr8qNqIXRK9HYHC+fxI5rvrfEwnDJTPIhNeHKnL05iNywzHZ3w1Dg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-03T21:54:23.850892Z","bundle_sha256":"140e725ce9e4733e0df2999bfd805283b43625aed3bf304b1123cfb4b65bcbcc"}}