{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:DCX4QGV3H7JUUWWY36UAHPZZVO","short_pith_number":"pith:DCX4QGV3","canonical_record":{"source":{"id":"1412.6925","kind":"arxiv","version":4},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2014-12-22T11:10:55Z","cross_cats_sorted":[],"title_canon_sha256":"0a820cc641ed78a7c547d5f650acf7064c86c66b15420f28b54e20cb0406f265","abstract_canon_sha256":"04e23bda19dff827e64deecd505d0ab0c915b1f20a0df026fdbc603404e28844"},"schema_version":"1.0"},"canonical_sha256":"18afc81abb3fd34a5ad8dfa803bf39ab98b0bf4225ba0f1343a8f60f8e538e26","source":{"kind":"arxiv","id":"1412.6925","version":4},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1412.6925","created_at":"2026-05-18T01:59:57Z"},{"alias_kind":"arxiv_version","alias_value":"1412.6925v4","created_at":"2026-05-18T01:59:57Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1412.6925","created_at":"2026-05-18T01:59:57Z"},{"alias_kind":"pith_short_12","alias_value":"DCX4QGV3H7JU","created_at":"2026-05-18T12:28:25Z"},{"alias_kind":"pith_short_16","alias_value":"DCX4QGV3H7JUUWWY","created_at":"2026-05-18T12:28:25Z"},{"alias_kind":"pith_short_8","alias_value":"DCX4QGV3","created_at":"2026-05-18T12:28:25Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:DCX4QGV3H7JUUWWY36UAHPZZVO","target":"record","payload":{"canonical_record":{"source":{"id":"1412.6925","kind":"arxiv","version":4},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2014-12-22T11:10:55Z","cross_cats_sorted":[],"title_canon_sha256":"0a820cc641ed78a7c547d5f650acf7064c86c66b15420f28b54e20cb0406f265","abstract_canon_sha256":"04e23bda19dff827e64deecd505d0ab0c915b1f20a0df026fdbc603404e28844"},"schema_version":"1.0"},"canonical_sha256":"18afc81abb3fd34a5ad8dfa803bf39ab98b0bf4225ba0f1343a8f60f8e538e26","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:59:57.979023Z","signature_b64":"hXyf+ejP0JQnQVsom7ySktkknPUdN5lHwx4SG041Hb4LiiDn1zFD8xt6s/tAwMto7/R0CSKOi8ik+j3yKzRCBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"18afc81abb3fd34a5ad8dfa803bf39ab98b0bf4225ba0f1343a8f60f8e538e26","last_reissued_at":"2026-05-18T01:59:57.978342Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:59:57.978342Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1412.6925","source_version":4,"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-18T01:59:57Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"xFXsxCmn1ZedyZI1ErbdtuKSckomzGNHwnivOn5ShqZDeKzTU4MV2emeh4VHJqG3Rso+7qDEF85bpl2wLJauDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T19:26:22.591851Z"},"content_sha256":"99676e4def888bb5059f8f6713cc61890c6625cfa9cd9b3ff32a884531cb91b8","schema_version":"1.0","event_id":"sha256:99676e4def888bb5059f8f6713cc61890c6625cfa9cd9b3ff32a884531cb91b8"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:DCX4QGV3H7JUUWWY36UAHPZZVO","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Controllability of Formations over Time-varying Graphs","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SY","authors_text":"M.-A. Belabbas, Tamer Basar, Xudong Chen","submitted_at":"2014-12-22T11:10:55Z","abstract_excerpt":"In this paper, we investigate the controllability of a class of formation control systems. Given a directed graph, we assign an agent to each of its vertices and let the edges of the graph describe the information flow in the system. We relate the strongly connected components of this graph to the reachable set of the formation control system. Moreover, we show that the formation control model is approximately path-controllable over a path-connected, open dense subset as long as the graph is weakly connected and satisfies some mild assumption on the numbers of vertices of the strongly connecte"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1412.6925","kind":"arxiv","version":4},"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-18T01:59:57Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Q1TZiGnzxWfOOfhPVvBiwrXMtobITr/nnxJD50Wkb7KMIKug96nh9mqfUqnHE7WuHyHgQQU+82fHkiNk3ZwCCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T19:26:22.592232Z"},"content_sha256":"f0e6f7cec02943bcfdcec6675b53728cfcd157d397a2bbfb2ac49517763493ee","schema_version":"1.0","event_id":"sha256:f0e6f7cec02943bcfdcec6675b53728cfcd157d397a2bbfb2ac49517763493ee"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/DCX4QGV3H7JUUWWY36UAHPZZVO/bundle.json","state_url":"https://pith.science/pith/DCX4QGV3H7JUUWWY36UAHPZZVO/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/DCX4QGV3H7JUUWWY36UAHPZZVO/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-01T19:26:22Z","links":{"resolver":"https://pith.science/pith/DCX4QGV3H7JUUWWY36UAHPZZVO","bundle":"https://pith.science/pith/DCX4QGV3H7JUUWWY36UAHPZZVO/bundle.json","state":"https://pith.science/pith/DCX4QGV3H7JUUWWY36UAHPZZVO/state.json","well_known_bundle":"https://pith.science/.well-known/pith/DCX4QGV3H7JUUWWY36UAHPZZVO/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:DCX4QGV3H7JUUWWY36UAHPZZVO","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":"04e23bda19dff827e64deecd505d0ab0c915b1f20a0df026fdbc603404e28844","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2014-12-22T11:10:55Z","title_canon_sha256":"0a820cc641ed78a7c547d5f650acf7064c86c66b15420f28b54e20cb0406f265"},"schema_version":"1.0","source":{"id":"1412.6925","kind":"arxiv","version":4}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1412.6925","created_at":"2026-05-18T01:59:57Z"},{"alias_kind":"arxiv_version","alias_value":"1412.6925v4","created_at":"2026-05-18T01:59:57Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1412.6925","created_at":"2026-05-18T01:59:57Z"},{"alias_kind":"pith_short_12","alias_value":"DCX4QGV3H7JU","created_at":"2026-05-18T12:28:25Z"},{"alias_kind":"pith_short_16","alias_value":"DCX4QGV3H7JUUWWY","created_at":"2026-05-18T12:28:25Z"},{"alias_kind":"pith_short_8","alias_value":"DCX4QGV3","created_at":"2026-05-18T12:28:25Z"}],"graph_snapshots":[{"event_id":"sha256:f0e6f7cec02943bcfdcec6675b53728cfcd157d397a2bbfb2ac49517763493ee","target":"graph","created_at":"2026-05-18T01:59:57Z","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":"In this paper, we investigate the controllability of a class of formation control systems. Given a directed graph, we assign an agent to each of its vertices and let the edges of the graph describe the information flow in the system. We relate the strongly connected components of this graph to the reachable set of the formation control system. Moreover, we show that the formation control model is approximately path-controllable over a path-connected, open dense subset as long as the graph is weakly connected and satisfies some mild assumption on the numbers of vertices of the strongly connecte","authors_text":"M.-A. Belabbas, Tamer Basar, Xudong Chen","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2014-12-22T11:10:55Z","title":"Controllability of Formations over Time-varying Graphs"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1412.6925","kind":"arxiv","version":4},"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:99676e4def888bb5059f8f6713cc61890c6625cfa9cd9b3ff32a884531cb91b8","target":"record","created_at":"2026-05-18T01:59:57Z","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":"04e23bda19dff827e64deecd505d0ab0c915b1f20a0df026fdbc603404e28844","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2014-12-22T11:10:55Z","title_canon_sha256":"0a820cc641ed78a7c547d5f650acf7064c86c66b15420f28b54e20cb0406f265"},"schema_version":"1.0","source":{"id":"1412.6925","kind":"arxiv","version":4}},"canonical_sha256":"18afc81abb3fd34a5ad8dfa803bf39ab98b0bf4225ba0f1343a8f60f8e538e26","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"18afc81abb3fd34a5ad8dfa803bf39ab98b0bf4225ba0f1343a8f60f8e538e26","first_computed_at":"2026-05-18T01:59:57.978342Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:59:57.978342Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"hXyf+ejP0JQnQVsom7ySktkknPUdN5lHwx4SG041Hb4LiiDn1zFD8xt6s/tAwMto7/R0CSKOi8ik+j3yKzRCBA==","signature_status":"signed_v1","signed_at":"2026-05-18T01:59:57.979023Z","signed_message":"canonical_sha256_bytes"},"source_id":"1412.6925","source_kind":"arxiv","source_version":4}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:99676e4def888bb5059f8f6713cc61890c6625cfa9cd9b3ff32a884531cb91b8","sha256:f0e6f7cec02943bcfdcec6675b53728cfcd157d397a2bbfb2ac49517763493ee"],"state_sha256":"4608050d84e9d1919dec7050d72635a7d996f8d9b6f3b9a680a3116ee276a788"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"J8R00jLysJSKHgZ4PZ9Pbio/JaUTNymtkdpkDLEB54w+OBqqozDSS/inwMvPXevm5QiicjzvPeyTFgVl8addBA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-01T19:26:22.594495Z","bundle_sha256":"c5e50d0c76ad39ed7c62ef5dd3648c595fc210a64690ba6d06c9e18259aa7391"}}