{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:NXRTD73YFFINYFPTKNAIUYZWGN","short_pith_number":"pith:NXRTD73Y","canonical_record":{"source":{"id":"1405.1630","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2014-05-07T14:50:05Z","cross_cats_sorted":[],"title_canon_sha256":"376dc0be18ab4c03eff9aa6ee9401fca07e38443e453760fe368a72ac67329a2","abstract_canon_sha256":"679d98ba5fa2fca987eb1d76317a527f0bd57484b0a9d4882e1d131ef21ff470"},"schema_version":"1.0"},"canonical_sha256":"6de331ff782950dc15f353408a63363355a4152ae33623fd717471a5dba38c20","source":{"kind":"arxiv","id":"1405.1630","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1405.1630","created_at":"2026-05-18T02:51:41Z"},{"alias_kind":"arxiv_version","alias_value":"1405.1630v2","created_at":"2026-05-18T02:51:41Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1405.1630","created_at":"2026-05-18T02:51:41Z"},{"alias_kind":"pith_short_12","alias_value":"NXRTD73YFFIN","created_at":"2026-05-18T12:28:41Z"},{"alias_kind":"pith_short_16","alias_value":"NXRTD73YFFINYFPT","created_at":"2026-05-18T12:28:41Z"},{"alias_kind":"pith_short_8","alias_value":"NXRTD73Y","created_at":"2026-05-18T12:28:41Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:NXRTD73YFFINYFPTKNAIUYZWGN","target":"record","payload":{"canonical_record":{"source":{"id":"1405.1630","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2014-05-07T14:50:05Z","cross_cats_sorted":[],"title_canon_sha256":"376dc0be18ab4c03eff9aa6ee9401fca07e38443e453760fe368a72ac67329a2","abstract_canon_sha256":"679d98ba5fa2fca987eb1d76317a527f0bd57484b0a9d4882e1d131ef21ff470"},"schema_version":"1.0"},"canonical_sha256":"6de331ff782950dc15f353408a63363355a4152ae33623fd717471a5dba38c20","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:51:41.291360Z","signature_b64":"oGsnfrMKzkadT7BV7OUWpurKU2ZXrwwfEd+EpsvA58aciWb4Bi+FUJLo584SG7ZjcTBe9LCWYy7EhjVGGqJ+Bg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"6de331ff782950dc15f353408a63363355a4152ae33623fd717471a5dba38c20","last_reissued_at":"2026-05-18T02:51:41.290873Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:51:41.290873Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1405.1630","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-18T02:51:41Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"1HAh7zx8xjvqKDwt+57NqCEkYYz4ZAfud7FGsP29mAvL4xeOLSpqLzqF7NthNcSlmeaTdWgIBuI/6sCrgJh4DQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T15:18:48.802435Z"},"content_sha256":"7d40488938813e51d94813a974597f19548c2bbea237ed3e72abd5edf27c69d7","schema_version":"1.0","event_id":"sha256:7d40488938813e51d94813a974597f19548c2bbea237ed3e72abd5edf27c69d7"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:NXRTD73YFFINYFPTKNAIUYZWGN","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Abstractions and sensor design in partial-information, reactive controller synthesis","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SY","authors_text":"Jie Fu, Rayna Dimitrova, Ufuk Topcu","submitted_at":"2014-05-07T14:50:05Z","abstract_excerpt":"Automated synthesis of reactive control protocols from temporal logic specifications has recently attracted considerable attention in various applications in, for example, robotic motion planning, network management, and hardware design. An implicit and often unrealistic assumption in this past work is the availability of complete and precise sensing information during the execution of the controllers. In this paper, we use an abstraction procedure for systems with partial observation and propose a formalism to investigate effects of limitations in sensing. The abstraction procedure enables th"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1405.1630","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-18T02:51:41Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"60n7vXxCE9wNC4dgVBXHVyUef5pGKMQP/PwhO+znUX2mk89HFCn8nOE0BfcE9z/3Ap5XIMDshxdz8JX/DVPiAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T15:18:48.802790Z"},"content_sha256":"bf1d045c5beec7860ab94c3c49b4e6b0360bc776797910ec374e61eb74c66037","schema_version":"1.0","event_id":"sha256:bf1d045c5beec7860ab94c3c49b4e6b0360bc776797910ec374e61eb74c66037"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/NXRTD73YFFINYFPTKNAIUYZWGN/bundle.json","state_url":"https://pith.science/pith/NXRTD73YFFINYFPTKNAIUYZWGN/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/NXRTD73YFFINYFPTKNAIUYZWGN/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-02T15:18:48Z","links":{"resolver":"https://pith.science/pith/NXRTD73YFFINYFPTKNAIUYZWGN","bundle":"https://pith.science/pith/NXRTD73YFFINYFPTKNAIUYZWGN/bundle.json","state":"https://pith.science/pith/NXRTD73YFFINYFPTKNAIUYZWGN/state.json","well_known_bundle":"https://pith.science/.well-known/pith/NXRTD73YFFINYFPTKNAIUYZWGN/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:NXRTD73YFFINYFPTKNAIUYZWGN","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":"679d98ba5fa2fca987eb1d76317a527f0bd57484b0a9d4882e1d131ef21ff470","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2014-05-07T14:50:05Z","title_canon_sha256":"376dc0be18ab4c03eff9aa6ee9401fca07e38443e453760fe368a72ac67329a2"},"schema_version":"1.0","source":{"id":"1405.1630","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1405.1630","created_at":"2026-05-18T02:51:41Z"},{"alias_kind":"arxiv_version","alias_value":"1405.1630v2","created_at":"2026-05-18T02:51:41Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1405.1630","created_at":"2026-05-18T02:51:41Z"},{"alias_kind":"pith_short_12","alias_value":"NXRTD73YFFIN","created_at":"2026-05-18T12:28:41Z"},{"alias_kind":"pith_short_16","alias_value":"NXRTD73YFFINYFPT","created_at":"2026-05-18T12:28:41Z"},{"alias_kind":"pith_short_8","alias_value":"NXRTD73Y","created_at":"2026-05-18T12:28:41Z"}],"graph_snapshots":[{"event_id":"sha256:bf1d045c5beec7860ab94c3c49b4e6b0360bc776797910ec374e61eb74c66037","target":"graph","created_at":"2026-05-18T02:51:41Z","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":"Automated synthesis of reactive control protocols from temporal logic specifications has recently attracted considerable attention in various applications in, for example, robotic motion planning, network management, and hardware design. An implicit and often unrealistic assumption in this past work is the availability of complete and precise sensing information during the execution of the controllers. In this paper, we use an abstraction procedure for systems with partial observation and propose a formalism to investigate effects of limitations in sensing. The abstraction procedure enables th","authors_text":"Jie Fu, Rayna Dimitrova, Ufuk Topcu","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2014-05-07T14:50:05Z","title":"Abstractions and sensor design in partial-information, reactive controller synthesis"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1405.1630","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:7d40488938813e51d94813a974597f19548c2bbea237ed3e72abd5edf27c69d7","target":"record","created_at":"2026-05-18T02:51:41Z","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":"679d98ba5fa2fca987eb1d76317a527f0bd57484b0a9d4882e1d131ef21ff470","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2014-05-07T14:50:05Z","title_canon_sha256":"376dc0be18ab4c03eff9aa6ee9401fca07e38443e453760fe368a72ac67329a2"},"schema_version":"1.0","source":{"id":"1405.1630","kind":"arxiv","version":2}},"canonical_sha256":"6de331ff782950dc15f353408a63363355a4152ae33623fd717471a5dba38c20","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"6de331ff782950dc15f353408a63363355a4152ae33623fd717471a5dba38c20","first_computed_at":"2026-05-18T02:51:41.290873Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:51:41.290873Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"oGsnfrMKzkadT7BV7OUWpurKU2ZXrwwfEd+EpsvA58aciWb4Bi+FUJLo584SG7ZjcTBe9LCWYy7EhjVGGqJ+Bg==","signature_status":"signed_v1","signed_at":"2026-05-18T02:51:41.291360Z","signed_message":"canonical_sha256_bytes"},"source_id":"1405.1630","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:7d40488938813e51d94813a974597f19548c2bbea237ed3e72abd5edf27c69d7","sha256:bf1d045c5beec7860ab94c3c49b4e6b0360bc776797910ec374e61eb74c66037"],"state_sha256":"fb2a992780dcad2c426b17be1d576004a847b55c90d71afc176810a645b442d5"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ytNwja5081FV6oBrDFKeymPtsprgNRU8Y3TCja4L5D2LS3OUknMM2W4OyNzfqAzu10QRUTALQB0Dqd/6zFb3BA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-02T15:18:48.804768Z","bundle_sha256":"f207730c4f699e545b0cca7a53558a47e53b9456cbd13bc6e5b02ea7ffbbd471"}}