{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2015:WFOAROEXYRKOBNFIJYOROCHQE3","short_pith_number":"pith:WFOAROEX","schema_version":"1.0","canonical_sha256":"b15c08b897c454e0b4a84e1d1708f026f0f2145becccec70772719f1aa935f53","source":{"kind":"arxiv","id":"1511.02547","version":1},"attestation_state":"computed","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"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"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"},"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"},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1511.02547","created_at":"2026-05-18T00:58:10.113004+00:00"},{"alias_kind":"arxiv_version","alias_value":"1511.02547v1","created_at":"2026-05-18T00:58:10.113004+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1511.02547","created_at":"2026-05-18T00:58:10.113004+00:00"},{"alias_kind":"pith_short_12","alias_value":"WFOAROEXYRKO","created_at":"2026-05-18T12:29:47.479230+00:00"},{"alias_kind":"pith_short_16","alias_value":"WFOAROEXYRKOBNFI","created_at":"2026-05-18T12:29:47.479230+00:00"},{"alias_kind":"pith_short_8","alias_value":"WFOAROEX","created_at":"2026-05-18T12:29:47.479230+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/WFOAROEXYRKOBNFIJYOROCHQE3","json":"https://pith.science/pith/WFOAROEXYRKOBNFIJYOROCHQE3.json","graph_json":"https://pith.science/api/pith-number/WFOAROEXYRKOBNFIJYOROCHQE3/graph.json","events_json":"https://pith.science/api/pith-number/WFOAROEXYRKOBNFIJYOROCHQE3/events.json","paper":"https://pith.science/paper/WFOAROEX"},"agent_actions":{"view_html":"https://pith.science/pith/WFOAROEXYRKOBNFIJYOROCHQE3","download_json":"https://pith.science/pith/WFOAROEXYRKOBNFIJYOROCHQE3.json","view_paper":"https://pith.science/paper/WFOAROEX","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1511.02547&json=true","fetch_graph":"https://pith.science/api/pith-number/WFOAROEXYRKOBNFIJYOROCHQE3/graph.json","fetch_events":"https://pith.science/api/pith-number/WFOAROEXYRKOBNFIJYOROCHQE3/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/WFOAROEXYRKOBNFIJYOROCHQE3/action/timestamp_anchor","attest_storage":"https://pith.science/pith/WFOAROEXYRKOBNFIJYOROCHQE3/action/storage_attestation","attest_author":"https://pith.science/pith/WFOAROEXYRKOBNFIJYOROCHQE3/action/author_attestation","sign_citation":"https://pith.science/pith/WFOAROEXYRKOBNFIJYOROCHQE3/action/citation_signature","submit_replication":"https://pith.science/pith/WFOAROEXYRKOBNFIJYOROCHQE3/action/replication_record"}},"created_at":"2026-05-18T00:58:10.113004+00:00","updated_at":"2026-05-18T00:58:10.113004+00:00"}