{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:G2XE7ZZVOXWFGFA53N6XYH4BRO","short_pith_number":"pith:G2XE7ZZV","canonical_record":{"source":{"id":"1412.6958","kind":"arxiv","version":6},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.DS","submitted_at":"2014-12-22T12:40:57Z","cross_cats_sorted":[],"title_canon_sha256":"5a28df20eb6c22c2f5b1a7ec1159ca05e76d73336683a8fb4a2cd27e88c15dd7","abstract_canon_sha256":"de969370d9b9c386322a4d33241ce7de2129c359a6cb6f1e4762ee1be9e2570e"},"schema_version":"1.0"},"canonical_sha256":"36ae4fe73575ec53141ddb7d7c1f818bb0d512dc6697382293087db1549af510","source":{"kind":"arxiv","id":"1412.6958","version":6},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1412.6958","created_at":"2026-05-18T01:14:26Z"},{"alias_kind":"arxiv_version","alias_value":"1412.6958v6","created_at":"2026-05-18T01:14:26Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1412.6958","created_at":"2026-05-18T01:14:26Z"},{"alias_kind":"pith_short_12","alias_value":"G2XE7ZZVOXWF","created_at":"2026-05-18T12:28:28Z"},{"alias_kind":"pith_short_16","alias_value":"G2XE7ZZVOXWFGFA5","created_at":"2026-05-18T12:28:28Z"},{"alias_kind":"pith_short_8","alias_value":"G2XE7ZZV","created_at":"2026-05-18T12:28:28Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:G2XE7ZZVOXWFGFA53N6XYH4BRO","target":"record","payload":{"canonical_record":{"source":{"id":"1412.6958","kind":"arxiv","version":6},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.DS","submitted_at":"2014-12-22T12:40:57Z","cross_cats_sorted":[],"title_canon_sha256":"5a28df20eb6c22c2f5b1a7ec1159ca05e76d73336683a8fb4a2cd27e88c15dd7","abstract_canon_sha256":"de969370d9b9c386322a4d33241ce7de2129c359a6cb6f1e4762ee1be9e2570e"},"schema_version":"1.0"},"canonical_sha256":"36ae4fe73575ec53141ddb7d7c1f818bb0d512dc6697382293087db1549af510","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:14:26.212123Z","signature_b64":"c8NtxaSngqXyqM9DE5VnzYbGkKX6uNuqUPWUBlHwhxKFlYzzz2aJgUzveQEL7WbrtJw8WKTBlBGsNFiZlq3aBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"36ae4fe73575ec53141ddb7d7c1f818bb0d512dc6697382293087db1549af510","last_reissued_at":"2026-05-18T01:14:26.211431Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:14:26.211431Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1412.6958","source_version":6,"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:14:26Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"YFCgIozWMbQH+AClKpBQ8DCMkIN62R5fX2Bodn6WZ5S4PbG2mjFpMtfZfwRjyvt4sNPTxdFszXq0UnZKyhOIDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-10T14:46:33.528230Z"},"content_sha256":"44dcdc337b89ac092e05eb9fba46d2c70aa524064e4b6d38ffc644a738c49690","schema_version":"1.0","event_id":"sha256:44dcdc337b89ac092e05eb9fba46d2c70aa524064e4b6d38ffc644a738c49690"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:G2XE7ZZVOXWFGFA53N6XYH4BRO","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Global Stabilization of Triangulated Formations","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.DS","authors_text":"M.-A. Belabbas, Tamer Ba\\c{s}ar, Xudong Chen","submitted_at":"2014-12-22T12:40:57Z","abstract_excerpt":"Formation control deals with the design of decentralized control laws that stabilize mobile, autonomous agents at prescribed distances from each other. We call any configuration of the agents a target configuration if it satisfies the inter-agent distance conditions. It is well known that when the distance conditions are defined by a rigid graph, there is a finite number of target configurations modulo rotations and translations of the entire formation. We can thus recast the objective of formation control as stabilizing one or many of the target configurations. A major issue is that such cont"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1412.6958","kind":"arxiv","version":6},"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:14:26Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"9z79WpsNTBGKX806q88H5M8/L8U90f4kAjGbMsDthckmbXiJ1Vy6pX8NdVGmJfhvQpPDr583fHr1Z+ipb1UfCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-10T14:46:33.528581Z"},"content_sha256":"93443b5f899d1c2caddee7d0c6d35a5f9f5dca0af42205c6ab9bc0453424aad1","schema_version":"1.0","event_id":"sha256:93443b5f899d1c2caddee7d0c6d35a5f9f5dca0af42205c6ab9bc0453424aad1"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/G2XE7ZZVOXWFGFA53N6XYH4BRO/bundle.json","state_url":"https://pith.science/pith/G2XE7ZZVOXWFGFA53N6XYH4BRO/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/G2XE7ZZVOXWFGFA53N6XYH4BRO/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-10T14:46:33Z","links":{"resolver":"https://pith.science/pith/G2XE7ZZVOXWFGFA53N6XYH4BRO","bundle":"https://pith.science/pith/G2XE7ZZVOXWFGFA53N6XYH4BRO/bundle.json","state":"https://pith.science/pith/G2XE7ZZVOXWFGFA53N6XYH4BRO/state.json","well_known_bundle":"https://pith.science/.well-known/pith/G2XE7ZZVOXWFGFA53N6XYH4BRO/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:G2XE7ZZVOXWFGFA53N6XYH4BRO","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":"de969370d9b9c386322a4d33241ce7de2129c359a6cb6f1e4762ee1be9e2570e","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.DS","submitted_at":"2014-12-22T12:40:57Z","title_canon_sha256":"5a28df20eb6c22c2f5b1a7ec1159ca05e76d73336683a8fb4a2cd27e88c15dd7"},"schema_version":"1.0","source":{"id":"1412.6958","kind":"arxiv","version":6}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1412.6958","created_at":"2026-05-18T01:14:26Z"},{"alias_kind":"arxiv_version","alias_value":"1412.6958v6","created_at":"2026-05-18T01:14:26Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1412.6958","created_at":"2026-05-18T01:14:26Z"},{"alias_kind":"pith_short_12","alias_value":"G2XE7ZZVOXWF","created_at":"2026-05-18T12:28:28Z"},{"alias_kind":"pith_short_16","alias_value":"G2XE7ZZVOXWFGFA5","created_at":"2026-05-18T12:28:28Z"},{"alias_kind":"pith_short_8","alias_value":"G2XE7ZZV","created_at":"2026-05-18T12:28:28Z"}],"graph_snapshots":[{"event_id":"sha256:93443b5f899d1c2caddee7d0c6d35a5f9f5dca0af42205c6ab9bc0453424aad1","target":"graph","created_at":"2026-05-18T01:14:26Z","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":"Formation control deals with the design of decentralized control laws that stabilize mobile, autonomous agents at prescribed distances from each other. We call any configuration of the agents a target configuration if it satisfies the inter-agent distance conditions. It is well known that when the distance conditions are defined by a rigid graph, there is a finite number of target configurations modulo rotations and translations of the entire formation. We can thus recast the objective of formation control as stabilizing one or many of the target configurations. A major issue is that such cont","authors_text":"M.-A. Belabbas, Tamer Ba\\c{s}ar, Xudong Chen","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.DS","submitted_at":"2014-12-22T12:40:57Z","title":"Global Stabilization of Triangulated Formations"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1412.6958","kind":"arxiv","version":6},"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:44dcdc337b89ac092e05eb9fba46d2c70aa524064e4b6d38ffc644a738c49690","target":"record","created_at":"2026-05-18T01:14:26Z","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":"de969370d9b9c386322a4d33241ce7de2129c359a6cb6f1e4762ee1be9e2570e","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.DS","submitted_at":"2014-12-22T12:40:57Z","title_canon_sha256":"5a28df20eb6c22c2f5b1a7ec1159ca05e76d73336683a8fb4a2cd27e88c15dd7"},"schema_version":"1.0","source":{"id":"1412.6958","kind":"arxiv","version":6}},"canonical_sha256":"36ae4fe73575ec53141ddb7d7c1f818bb0d512dc6697382293087db1549af510","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"36ae4fe73575ec53141ddb7d7c1f818bb0d512dc6697382293087db1549af510","first_computed_at":"2026-05-18T01:14:26.211431Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:14:26.211431Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"c8NtxaSngqXyqM9DE5VnzYbGkKX6uNuqUPWUBlHwhxKFlYzzz2aJgUzveQEL7WbrtJw8WKTBlBGsNFiZlq3aBw==","signature_status":"signed_v1","signed_at":"2026-05-18T01:14:26.212123Z","signed_message":"canonical_sha256_bytes"},"source_id":"1412.6958","source_kind":"arxiv","source_version":6}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:44dcdc337b89ac092e05eb9fba46d2c70aa524064e4b6d38ffc644a738c49690","sha256:93443b5f899d1c2caddee7d0c6d35a5f9f5dca0af42205c6ab9bc0453424aad1"],"state_sha256":"6e73db13befdb40c69abc29d32f370ba0a33ed24d3713cbc8761bd6325c60fc4"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"kPD0Vj8/ZPCq3dchi6AEQiKedv/WTpTDv1VhK/Qn4V8gFZRbdob+K7782phBiuvVTcdJ/yG5k24z7zMrLNJDBw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-10T14:46:33.530460Z","bundle_sha256":"75d75fa9a75148e46df01f97829a486fef67c3323e9a7ac5e6f2aad96eafb3ef"}}