{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:WFOAROEXYRKOBNFIJYOROCHQE3","short_pith_number":"pith:WFOAROEX","canonical_record":{"source":{"id":"1511.02547","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2015-11-09T01:28:09Z","cross_cats_sorted":["cs.MA","cs.RO"],"title_canon_sha256":"8802b80876041c9770c12e3b047ca1a851c061c09cfa505fcb320192792d9324","abstract_canon_sha256":"ac1fbd1a81a9c4813f3a3bf26a5d1c182b9a55a7211b911e1f3b538cecfac107"},"schema_version":"1.0"},"canonical_sha256":"b15c08b897c454e0b4a84e1d1708f026f0f2145becccec70772719f1aa935f53","source":{"kind":"arxiv","id":"1511.02547","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1511.02547","created_at":"2026-05-18T00:58:10Z"},{"alias_kind":"arxiv_version","alias_value":"1511.02547v1","created_at":"2026-05-18T00:58:10Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1511.02547","created_at":"2026-05-18T00:58:10Z"},{"alias_kind":"pith_short_12","alias_value":"WFOAROEXYRKO","created_at":"2026-05-18T12:29:47Z"},{"alias_kind":"pith_short_16","alias_value":"WFOAROEXYRKOBNFI","created_at":"2026-05-18T12:29:47Z"},{"alias_kind":"pith_short_8","alias_value":"WFOAROEX","created_at":"2026-05-18T12:29:47Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:WFOAROEXYRKOBNFIJYOROCHQE3","target":"record","payload":{"canonical_record":{"source":{"id":"1511.02547","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2015-11-09T01:28:09Z","cross_cats_sorted":["cs.MA","cs.RO"],"title_canon_sha256":"8802b80876041c9770c12e3b047ca1a851c061c09cfa505fcb320192792d9324","abstract_canon_sha256":"ac1fbd1a81a9c4813f3a3bf26a5d1c182b9a55a7211b911e1f3b538cecfac107"},"schema_version":"1.0"},"canonical_sha256":"b15c08b897c454e0b4a84e1d1708f026f0f2145becccec70772719f1aa935f53","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:58:10.113497Z","signature_b64":"bHV8Gq2P2bc6x2uRGNkCee0oUkWU/RFrSIoXvkpY0s6YAOmHwKCxD07FxZM5LkRo+fcyPRU6s1GgYtBDJYs2CA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b15c08b897c454e0b4a84e1d1708f026f0f2145becccec70772719f1aa935f53","last_reissued_at":"2026-05-18T00:58:10.112925Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:58:10.112925Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1511.02547","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-18T00:58:10Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"wjoHtj5fORmeeWB6OazzcRIUu/gJpTd1CBNNLkIlGKLf5eUrleRcgw/0HDORqDy7CRWbCWnCYlYSbHY0SPW7CQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-24T12:34:41.327935Z"},"content_sha256":"fd64a3cbbaebc5834ced7e2b899a43e9940436cc0a7f9041587a86ba86bca04b","schema_version":"1.0","event_id":"sha256:fd64a3cbbaebc5834ced7e2b899a43e9940436cc0a7f9041587a86ba86bca04b"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:WFOAROEXYRKOBNFIJYOROCHQE3","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Decentralized Algorithms for 3D Symmetric Formations in Robotic Networks: a Contraction Theory Approach","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.MA","cs.RO"],"primary_cat":"cs.SY","authors_text":"Edward Schmerling, Marco Pavone, Sumeet Singh","submitted_at":"2015-11-09T01:28:09Z","abstract_excerpt":"This paper presents decentralized algorithms for formation control of multiple robots in three dimensions. Specifically, we leverage the mathematical properties of cyclic pursuit along with results from contraction and partial contraction theory to design decentralized control algorithms that ensure global convergence to symmetric formations. We first consider regular polygon formations as a base case, and then extend the results to Johnson solid and other polygonal mesh formations. The algorithms are further augmented to allow control over formation size and avoid collisions with other robots"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1511.02547","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-18T00:58:10Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"kebC0dJs+Dwy2RH8gu14O+l+2dxEIXrIa2IrLHXbZ9pJHUECLuSuIWTz42Ap7S9m/2AKSigXdTEp7rcaskq7Bw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-24T12:34:41.328708Z"},"content_sha256":"7f9819155bc5db56a478111e95ed819ebdba8354bfdfb2d5296ac8219ccecd19","schema_version":"1.0","event_id":"sha256:7f9819155bc5db56a478111e95ed819ebdba8354bfdfb2d5296ac8219ccecd19"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/WFOAROEXYRKOBNFIJYOROCHQE3/bundle.json","state_url":"https://pith.science/pith/WFOAROEXYRKOBNFIJYOROCHQE3/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/WFOAROEXYRKOBNFIJYOROCHQE3/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-05-24T12:34:41Z","links":{"resolver":"https://pith.science/pith/WFOAROEXYRKOBNFIJYOROCHQE3","bundle":"https://pith.science/pith/WFOAROEXYRKOBNFIJYOROCHQE3/bundle.json","state":"https://pith.science/pith/WFOAROEXYRKOBNFIJYOROCHQE3/state.json","well_known_bundle":"https://pith.science/.well-known/pith/WFOAROEXYRKOBNFIJYOROCHQE3/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:WFOAROEXYRKOBNFIJYOROCHQE3","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":"ac1fbd1a81a9c4813f3a3bf26a5d1c182b9a55a7211b911e1f3b538cecfac107","cross_cats_sorted":["cs.MA","cs.RO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2015-11-09T01:28:09Z","title_canon_sha256":"8802b80876041c9770c12e3b047ca1a851c061c09cfa505fcb320192792d9324"},"schema_version":"1.0","source":{"id":"1511.02547","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1511.02547","created_at":"2026-05-18T00:58:10Z"},{"alias_kind":"arxiv_version","alias_value":"1511.02547v1","created_at":"2026-05-18T00:58:10Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1511.02547","created_at":"2026-05-18T00:58:10Z"},{"alias_kind":"pith_short_12","alias_value":"WFOAROEXYRKO","created_at":"2026-05-18T12:29:47Z"},{"alias_kind":"pith_short_16","alias_value":"WFOAROEXYRKOBNFI","created_at":"2026-05-18T12:29:47Z"},{"alias_kind":"pith_short_8","alias_value":"WFOAROEX","created_at":"2026-05-18T12:29:47Z"}],"graph_snapshots":[{"event_id":"sha256:7f9819155bc5db56a478111e95ed819ebdba8354bfdfb2d5296ac8219ccecd19","target":"graph","created_at":"2026-05-18T00:58:10Z","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":"This paper presents decentralized algorithms for formation control of multiple robots in three dimensions. Specifically, we leverage the mathematical properties of cyclic pursuit along with results from contraction and partial contraction theory to design decentralized control algorithms that ensure global convergence to symmetric formations. We first consider regular polygon formations as a base case, and then extend the results to Johnson solid and other polygonal mesh formations. The algorithms are further augmented to allow control over formation size and avoid collisions with other robots","authors_text":"Edward Schmerling, Marco Pavone, Sumeet Singh","cross_cats":["cs.MA","cs.RO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2015-11-09T01:28:09Z","title":"Decentralized Algorithms for 3D Symmetric Formations in Robotic Networks: a Contraction Theory Approach"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1511.02547","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:fd64a3cbbaebc5834ced7e2b899a43e9940436cc0a7f9041587a86ba86bca04b","target":"record","created_at":"2026-05-18T00:58:10Z","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":"ac1fbd1a81a9c4813f3a3bf26a5d1c182b9a55a7211b911e1f3b538cecfac107","cross_cats_sorted":["cs.MA","cs.RO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2015-11-09T01:28:09Z","title_canon_sha256":"8802b80876041c9770c12e3b047ca1a851c061c09cfa505fcb320192792d9324"},"schema_version":"1.0","source":{"id":"1511.02547","kind":"arxiv","version":1}},"canonical_sha256":"b15c08b897c454e0b4a84e1d1708f026f0f2145becccec70772719f1aa935f53","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"b15c08b897c454e0b4a84e1d1708f026f0f2145becccec70772719f1aa935f53","first_computed_at":"2026-05-18T00:58:10.112925Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:58:10.112925Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"bHV8Gq2P2bc6x2uRGNkCee0oUkWU/RFrSIoXvkpY0s6YAOmHwKCxD07FxZM5LkRo+fcyPRU6s1GgYtBDJYs2CA==","signature_status":"signed_v1","signed_at":"2026-05-18T00:58:10.113497Z","signed_message":"canonical_sha256_bytes"},"source_id":"1511.02547","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:fd64a3cbbaebc5834ced7e2b899a43e9940436cc0a7f9041587a86ba86bca04b","sha256:7f9819155bc5db56a478111e95ed819ebdba8354bfdfb2d5296ac8219ccecd19"],"state_sha256":"9fb78013d864c9a398256378d0a8d7b1d57754dd7ad13e5137642e9f07e0780a"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"e/4h49zrlVgl/QdRi/Od+cOKvjCm0g1qDvBejRI28YSDAm+6T6y/GJ8brKHAtD9tVb/dZKO6pnqa2U1xbIbxAA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-24T12:34:41.332413Z","bundle_sha256":"fd114a5f821146458b21e6a49958fac3565bc0bee617fb9b9d343ccedb362f95"}}