{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2020:P3W5CEIE4RR4NDVRISLTAF7KKW","short_pith_number":"pith:P3W5CEIE","canonical_record":{"source":{"id":"2009.00669","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2020-09-01T19:19:48Z","cross_cats_sorted":["cs.MA","cs.SY","math.LO"],"title_canon_sha256":"e00e0a166e095ad77c8a1a119b5154a50cd6269abd985b4483f30bdd62754eb8","abstract_canon_sha256":"f2ad2b113bc5d66315daf628911631376d774ed0bdb2653397ff6fec175fe9c9"},"schema_version":"1.0"},"canonical_sha256":"7eedd11104e463c68eb144973017ea55af29e6607912a26260a9ef6c98174af2","source":{"kind":"arxiv","id":"2009.00669","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2009.00669","created_at":"2026-07-05T04:14:36Z"},{"alias_kind":"arxiv_version","alias_value":"2009.00669v3","created_at":"2026-07-05T04:14:36Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2009.00669","created_at":"2026-07-05T04:14:36Z"},{"alias_kind":"pith_short_12","alias_value":"P3W5CEIE4RR4","created_at":"2026-07-05T04:14:36Z"},{"alias_kind":"pith_short_16","alias_value":"P3W5CEIE4RR4NDVR","created_at":"2026-07-05T04:14:36Z"},{"alias_kind":"pith_short_8","alias_value":"P3W5CEIE","created_at":"2026-07-05T04:14:36Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2020:P3W5CEIE4RR4NDVRISLTAF7KKW","target":"record","payload":{"canonical_record":{"source":{"id":"2009.00669","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2020-09-01T19:19:48Z","cross_cats_sorted":["cs.MA","cs.SY","math.LO"],"title_canon_sha256":"e00e0a166e095ad77c8a1a119b5154a50cd6269abd985b4483f30bdd62754eb8","abstract_canon_sha256":"f2ad2b113bc5d66315daf628911631376d774ed0bdb2653397ff6fec175fe9c9"},"schema_version":"1.0"},"canonical_sha256":"7eedd11104e463c68eb144973017ea55af29e6607912a26260a9ef6c98174af2","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T04:14:36.053408Z","signature_b64":"geDBGS8VmpqUhBiqstKH/HobSxehD/zmbVTUGTSXP6Q7IulIb+LQpEXOx0w3eZpDUWc+Q2IRbU+KM+j/GbT2Aw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"7eedd11104e463c68eb144973017ea55af29e6607912a26260a9ef6c98174af2","last_reissued_at":"2026-07-05T04:14:36.052937Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T04:14:36.052937Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2009.00669","source_version":3,"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-07-05T04:14:36Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"uEngyfGTg5Hx6XYqVrykELLJn8kmI8a11jStuQP7sjK326U7Q653ZVAkZTeUvFqDdr1yeJyhop5p4rvYGleCCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-06T23:31:17.960595Z"},"content_sha256":"8e663eabddca521cb30f5d596871e29e3a8dde14e134d9bd28954e45c04434a1","schema_version":"1.0","event_id":"sha256:8e663eabddca521cb30f5d596871e29e3a8dde14e134d9bd28954e45c04434a1"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2020:P3W5CEIE4RR4NDVRISLTAF7KKW","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A Temporal Logic-Based Hierarchical Network Connectivity Controller","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.MA","cs.SY","math.LO"],"primary_cat":"eess.SY","authors_text":"George Pappas, Hans Riess, Robert Ghrist, Yiannis Kantaros","submitted_at":"2020-09-01T19:19:48Z","abstract_excerpt":"In this paper, we consider networks of static sensors with integrated sensing and communication capabilities. The goal of the sensors is to propagate their collected information to every other agent in the network and possibly a human operator. Such a task requires constant communication among all agents which may result in collisions and congestion in wireless communication. To mitigate this issue, we impose locally non-interfering connectivity constraints that must be respected by every agent. We show that these constraints along with the requirement of propagating information in the network"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2009.00669","kind":"arxiv","version":3},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2009.00669/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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-07-05T04:14:36Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"PGOxhGIyIadtGnKEQdJlYAC1Lmh/qBStV0TFlfmgi9GMTmFD4bY53k0cZ8sG1hcO3Cr2rzDCjuW9efWORYUjBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-06T23:31:17.960984Z"},"content_sha256":"f4c7c9d8d0a149ee1ed5aaec8e671ab6ad79c1eb5ccc534254896d48342b369e","schema_version":"1.0","event_id":"sha256:f4c7c9d8d0a149ee1ed5aaec8e671ab6ad79c1eb5ccc534254896d48342b369e"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/P3W5CEIE4RR4NDVRISLTAF7KKW/bundle.json","state_url":"https://pith.science/pith/P3W5CEIE4RR4NDVRISLTAF7KKW/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/P3W5CEIE4RR4NDVRISLTAF7KKW/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-07-06T23:31:17Z","links":{"resolver":"https://pith.science/pith/P3W5CEIE4RR4NDVRISLTAF7KKW","bundle":"https://pith.science/pith/P3W5CEIE4RR4NDVRISLTAF7KKW/bundle.json","state":"https://pith.science/pith/P3W5CEIE4RR4NDVRISLTAF7KKW/state.json","well_known_bundle":"https://pith.science/.well-known/pith/P3W5CEIE4RR4NDVRISLTAF7KKW/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2020:P3W5CEIE4RR4NDVRISLTAF7KKW","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":"f2ad2b113bc5d66315daf628911631376d774ed0bdb2653397ff6fec175fe9c9","cross_cats_sorted":["cs.MA","cs.SY","math.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2020-09-01T19:19:48Z","title_canon_sha256":"e00e0a166e095ad77c8a1a119b5154a50cd6269abd985b4483f30bdd62754eb8"},"schema_version":"1.0","source":{"id":"2009.00669","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2009.00669","created_at":"2026-07-05T04:14:36Z"},{"alias_kind":"arxiv_version","alias_value":"2009.00669v3","created_at":"2026-07-05T04:14:36Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2009.00669","created_at":"2026-07-05T04:14:36Z"},{"alias_kind":"pith_short_12","alias_value":"P3W5CEIE4RR4","created_at":"2026-07-05T04:14:36Z"},{"alias_kind":"pith_short_16","alias_value":"P3W5CEIE4RR4NDVR","created_at":"2026-07-05T04:14:36Z"},{"alias_kind":"pith_short_8","alias_value":"P3W5CEIE","created_at":"2026-07-05T04:14:36Z"}],"graph_snapshots":[{"event_id":"sha256:f4c7c9d8d0a149ee1ed5aaec8e671ab6ad79c1eb5ccc534254896d48342b369e","target":"graph","created_at":"2026-07-05T04:14:36Z","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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2009.00669/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"In this paper, we consider networks of static sensors with integrated sensing and communication capabilities. The goal of the sensors is to propagate their collected information to every other agent in the network and possibly a human operator. Such a task requires constant communication among all agents which may result in collisions and congestion in wireless communication. To mitigate this issue, we impose locally non-interfering connectivity constraints that must be respected by every agent. We show that these constraints along with the requirement of propagating information in the network","authors_text":"George Pappas, Hans Riess, Robert Ghrist, Yiannis Kantaros","cross_cats":["cs.MA","cs.SY","math.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2020-09-01T19:19:48Z","title":"A Temporal Logic-Based Hierarchical Network Connectivity Controller"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2009.00669","kind":"arxiv","version":3},"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:8e663eabddca521cb30f5d596871e29e3a8dde14e134d9bd28954e45c04434a1","target":"record","created_at":"2026-07-05T04:14:36Z","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":"f2ad2b113bc5d66315daf628911631376d774ed0bdb2653397ff6fec175fe9c9","cross_cats_sorted":["cs.MA","cs.SY","math.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2020-09-01T19:19:48Z","title_canon_sha256":"e00e0a166e095ad77c8a1a119b5154a50cd6269abd985b4483f30bdd62754eb8"},"schema_version":"1.0","source":{"id":"2009.00669","kind":"arxiv","version":3}},"canonical_sha256":"7eedd11104e463c68eb144973017ea55af29e6607912a26260a9ef6c98174af2","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"7eedd11104e463c68eb144973017ea55af29e6607912a26260a9ef6c98174af2","first_computed_at":"2026-07-05T04:14:36.052937Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T04:14:36.052937Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"geDBGS8VmpqUhBiqstKH/HobSxehD/zmbVTUGTSXP6Q7IulIb+LQpEXOx0w3eZpDUWc+Q2IRbU+KM+j/GbT2Aw==","signature_status":"signed_v1","signed_at":"2026-07-05T04:14:36.053408Z","signed_message":"canonical_sha256_bytes"},"source_id":"2009.00669","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:8e663eabddca521cb30f5d596871e29e3a8dde14e134d9bd28954e45c04434a1","sha256:f4c7c9d8d0a149ee1ed5aaec8e671ab6ad79c1eb5ccc534254896d48342b369e"],"state_sha256":"462a072d9679f959a3915ce2282410140fef520cc97da9aa2f5fdfb04009f747"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Tt5BegOgBqNu3uQlWZ0h4VAd5M+vdTQ3uaIcfwuPEJ4onNpyLCTTD1OSTyI+0IMDJ9yRkoXh3u4nxUKEnPQKDA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-06T23:31:17.962954Z","bundle_sha256":"c53870134ce3002b64de07eab2110512016897e21420b25c9d185ff32361e137"}}