{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:ONTMIWOKBHPN5KOJMJQ5F6U7VF","short_pith_number":"pith:ONTMIWOK","canonical_record":{"source":{"id":"1404.2195","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2014-04-08T16:13:43Z","cross_cats_sorted":["cs.FL"],"title_canon_sha256":"0aa02670e7e7184d25a34b346df648fe2eb67109d364f18a3b18535d09270893","abstract_canon_sha256":"2449b19dd9d66dc8e8eb43b649fa7a6e526c34545a9eb753c282371bc3effe19"},"schema_version":"1.0"},"canonical_sha256":"7366c459ca09dedea9c96261d2fa9fa966cfc28cb1e8f363a16917e423af6db8","source":{"kind":"arxiv","id":"1404.2195","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1404.2195","created_at":"2026-05-18T02:54:38Z"},{"alias_kind":"arxiv_version","alias_value":"1404.2195v1","created_at":"2026-05-18T02:54:38Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1404.2195","created_at":"2026-05-18T02:54:38Z"},{"alias_kind":"pith_short_12","alias_value":"ONTMIWOKBHPN","created_at":"2026-05-18T12:28:41Z"},{"alias_kind":"pith_short_16","alias_value":"ONTMIWOKBHPN5KOJ","created_at":"2026-05-18T12:28:41Z"},{"alias_kind":"pith_short_8","alias_value":"ONTMIWOK","created_at":"2026-05-18T12:28:41Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:ONTMIWOKBHPN5KOJMJQ5F6U7VF","target":"record","payload":{"canonical_record":{"source":{"id":"1404.2195","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2014-04-08T16:13:43Z","cross_cats_sorted":["cs.FL"],"title_canon_sha256":"0aa02670e7e7184d25a34b346df648fe2eb67109d364f18a3b18535d09270893","abstract_canon_sha256":"2449b19dd9d66dc8e8eb43b649fa7a6e526c34545a9eb753c282371bc3effe19"},"schema_version":"1.0"},"canonical_sha256":"7366c459ca09dedea9c96261d2fa9fa966cfc28cb1e8f363a16917e423af6db8","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:54:38.272197Z","signature_b64":"S3IgIXZG1vlIZ/0P5x9oozyUSTXNzyN3eSuIZYxQ4sw7tgrss4VDEh4/Eq1sK5OkO0mBBBx6LtT8HqAdUnjUCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"7366c459ca09dedea9c96261d2fa9fa966cfc28cb1e8f363a16917e423af6db8","last_reissued_at":"2026-05-18T02:54:38.271543Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:54:38.271543Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1404.2195","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-18T02:54:38Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"n5jXvk/ZXBEqmOyCChPVvRFwUJxogrGh2TrQQIkFz0dCFO86EzC4ElPCzH/jfmofPs7AXyycpL6xWaECgt30Bw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T08:19:44.248856Z"},"content_sha256":"8af49dbaf6bf33d448cd0c14c4930705e3397ea421e6e3c8d49f9b1f8d310ccb","schema_version":"1.0","event_id":"sha256:8af49dbaf6bf33d448cd0c14c4930705e3397ea421e6e3c8d49f9b1f8d310ccb"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:ONTMIWOKBHPN5KOJMJQ5F6U7VF","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A Note on Relative Observability in Coordination Control","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.FL"],"primary_cat":"math.OC","authors_text":"Jan H. van Schuppen, Jan Komenda, Tom\\'a\\v{s} Masopust","submitted_at":"2014-04-08T16:13:43Z","abstract_excerpt":"Relative observability has been introduced and studied in the framework of partially observed discrete-event systems as a condition stronger than observability, but weaker than normality. However, unlike observability, relative observability is closed under language unions, which makes it interesting for practical applications. In this paper, we investigate this notion in the framework of coordination control. We prove that conditional normality is a stronger condition than conditional (strong) relative observability, hence conditional strong relative observability can be used in coordination "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1404.2195","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-18T02:54:38Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"o00Jl/tty1+f0Ylsat7KG7FuqF/wAAavzc2tlmphAbYQOVMCwTXOWRwKD3xd4Ssa9YsUKqncEzHUOwnwNQqLDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T08:19:44.249194Z"},"content_sha256":"f15806a4094df7cdfc9e324ca94083f17de6a268e44e57a952eeef56048638a1","schema_version":"1.0","event_id":"sha256:f15806a4094df7cdfc9e324ca94083f17de6a268e44e57a952eeef56048638a1"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/ONTMIWOKBHPN5KOJMJQ5F6U7VF/bundle.json","state_url":"https://pith.science/pith/ONTMIWOKBHPN5KOJMJQ5F6U7VF/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/ONTMIWOKBHPN5KOJMJQ5F6U7VF/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-02T08:19:44Z","links":{"resolver":"https://pith.science/pith/ONTMIWOKBHPN5KOJMJQ5F6U7VF","bundle":"https://pith.science/pith/ONTMIWOKBHPN5KOJMJQ5F6U7VF/bundle.json","state":"https://pith.science/pith/ONTMIWOKBHPN5KOJMJQ5F6U7VF/state.json","well_known_bundle":"https://pith.science/.well-known/pith/ONTMIWOKBHPN5KOJMJQ5F6U7VF/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:ONTMIWOKBHPN5KOJMJQ5F6U7VF","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":"2449b19dd9d66dc8e8eb43b649fa7a6e526c34545a9eb753c282371bc3effe19","cross_cats_sorted":["cs.FL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2014-04-08T16:13:43Z","title_canon_sha256":"0aa02670e7e7184d25a34b346df648fe2eb67109d364f18a3b18535d09270893"},"schema_version":"1.0","source":{"id":"1404.2195","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1404.2195","created_at":"2026-05-18T02:54:38Z"},{"alias_kind":"arxiv_version","alias_value":"1404.2195v1","created_at":"2026-05-18T02:54:38Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1404.2195","created_at":"2026-05-18T02:54:38Z"},{"alias_kind":"pith_short_12","alias_value":"ONTMIWOKBHPN","created_at":"2026-05-18T12:28:41Z"},{"alias_kind":"pith_short_16","alias_value":"ONTMIWOKBHPN5KOJ","created_at":"2026-05-18T12:28:41Z"},{"alias_kind":"pith_short_8","alias_value":"ONTMIWOK","created_at":"2026-05-18T12:28:41Z"}],"graph_snapshots":[{"event_id":"sha256:f15806a4094df7cdfc9e324ca94083f17de6a268e44e57a952eeef56048638a1","target":"graph","created_at":"2026-05-18T02:54:38Z","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":"Relative observability has been introduced and studied in the framework of partially observed discrete-event systems as a condition stronger than observability, but weaker than normality. However, unlike observability, relative observability is closed under language unions, which makes it interesting for practical applications. In this paper, we investigate this notion in the framework of coordination control. We prove that conditional normality is a stronger condition than conditional (strong) relative observability, hence conditional strong relative observability can be used in coordination ","authors_text":"Jan H. van Schuppen, Jan Komenda, Tom\\'a\\v{s} Masopust","cross_cats":["cs.FL"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2014-04-08T16:13:43Z","title":"A Note on Relative Observability in Coordination Control"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1404.2195","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:8af49dbaf6bf33d448cd0c14c4930705e3397ea421e6e3c8d49f9b1f8d310ccb","target":"record","created_at":"2026-05-18T02:54:38Z","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":"2449b19dd9d66dc8e8eb43b649fa7a6e526c34545a9eb753c282371bc3effe19","cross_cats_sorted":["cs.FL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2014-04-08T16:13:43Z","title_canon_sha256":"0aa02670e7e7184d25a34b346df648fe2eb67109d364f18a3b18535d09270893"},"schema_version":"1.0","source":{"id":"1404.2195","kind":"arxiv","version":1}},"canonical_sha256":"7366c459ca09dedea9c96261d2fa9fa966cfc28cb1e8f363a16917e423af6db8","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"7366c459ca09dedea9c96261d2fa9fa966cfc28cb1e8f363a16917e423af6db8","first_computed_at":"2026-05-18T02:54:38.271543Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:54:38.271543Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"S3IgIXZG1vlIZ/0P5x9oozyUSTXNzyN3eSuIZYxQ4sw7tgrss4VDEh4/Eq1sK5OkO0mBBBx6LtT8HqAdUnjUCw==","signature_status":"signed_v1","signed_at":"2026-05-18T02:54:38.272197Z","signed_message":"canonical_sha256_bytes"},"source_id":"1404.2195","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:8af49dbaf6bf33d448cd0c14c4930705e3397ea421e6e3c8d49f9b1f8d310ccb","sha256:f15806a4094df7cdfc9e324ca94083f17de6a268e44e57a952eeef56048638a1"],"state_sha256":"46b34598fb531cd6a921376652d73342f76ce36e897ea75617f2277726028710"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"gwGrzm8oYOPsliVtUynz9ONXOZpZ0dZNQADWUXHE5LDjq3Yf+NAXlmSvfv/KHrYSdg6n6JbVhBunEvxHiUm4Ag==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-02T08:19:44.251025Z","bundle_sha256":"4675753fdf0265e920f2cd25e46d910466cce8c6d718a07fe2c2341fb34c7b04"}}