{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2013:MPMSTAXJJBCSTOFMXT72T26O2N","short_pith_number":"pith:MPMSTAXJ","canonical_record":{"source":{"id":"1307.2089","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2013-07-08T13:38:44Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"379aa0fc71e3f0d454df32e93832e6195e2c0b0373254343c289c23b6df7db97","abstract_canon_sha256":"b4219eb9721c7f351879a8df3b9c1f49ca4ecebf39aac9a892a455faec160eb7"},"schema_version":"1.0"},"canonical_sha256":"63d92982e9484529b8acbcffa9ebced34a936f4aae8583f4d4044800dadd3014","source":{"kind":"arxiv","id":"1307.2089","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1307.2089","created_at":"2026-05-18T00:59:03Z"},{"alias_kind":"arxiv_version","alias_value":"1307.2089v1","created_at":"2026-05-18T00:59:03Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1307.2089","created_at":"2026-05-18T00:59:03Z"},{"alias_kind":"pith_short_12","alias_value":"MPMSTAXJJBCS","created_at":"2026-05-18T12:27:52Z"},{"alias_kind":"pith_short_16","alias_value":"MPMSTAXJJBCSTOFM","created_at":"2026-05-18T12:27:52Z"},{"alias_kind":"pith_short_8","alias_value":"MPMSTAXJ","created_at":"2026-05-18T12:27:52Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2013:MPMSTAXJJBCSTOFMXT72T26O2N","target":"record","payload":{"canonical_record":{"source":{"id":"1307.2089","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2013-07-08T13:38:44Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"379aa0fc71e3f0d454df32e93832e6195e2c0b0373254343c289c23b6df7db97","abstract_canon_sha256":"b4219eb9721c7f351879a8df3b9c1f49ca4ecebf39aac9a892a455faec160eb7"},"schema_version":"1.0"},"canonical_sha256":"63d92982e9484529b8acbcffa9ebced34a936f4aae8583f4d4044800dadd3014","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:59:03.984346Z","signature_b64":"t+qqS4/iBnT9IvwZttRU17u/UXY7eFZVzoilQ2WebF6f2usJ4f7wlztTGp4Jy6b8hQ2ax4bk9F6A1oPjY50DDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"63d92982e9484529b8acbcffa9ebced34a936f4aae8583f4d4044800dadd3014","last_reissued_at":"2026-05-18T00:59:03.983835Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:59:03.983835Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1307.2089","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:59:03Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"e8YFfXcp+TVLv5W6t8gdEy+cOEuRR6GQpjU5jhYgFKduAqseKztpY5e92yvG4tOAjRNGfDVZSXb9RTqCe6k2Dg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T14:54:43.405517Z"},"content_sha256":"c314ec8fee29cd7625193ec2ba36fc2cb013c87bcf292b40f70af38a880981c6","schema_version":"1.0","event_id":"sha256:c314ec8fee29cd7625193ec2ba36fc2cb013c87bcf292b40f70af38a880981c6"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2013:MPMSTAXJJBCSTOFMXT72T26O2N","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Certifying non-existence of undesired locally stable equilibria in formation shape control problems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SY"],"primary_cat":"math.OC","authors_text":"Brian D.O. Anderson, Changbin Yu, Soura Dasgupta, Tyler H. Summers","submitted_at":"2013-07-08T13:38:44Z","abstract_excerpt":"A fundamental control problem for autonomous vehicle formations is formation shape control, in which the agents must maintain a prescribed formation shape using only information measured or communicated from neighboring agents. While a large and growing literature has recently emerged on distance-based formation shape control, global stability properties remain a significant open problem. Even in four-agent formations, the basic question of whether or not there can exist locally stable incorrect equilibrium shapes remains open. This paper shows how this question can be answered for any size fo"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1307.2089","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:59:03Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"j0P5FYE8oHWLOjDOV/OOzkdTQqwd9xl1j5ZHzb0uSjftI5Gug1Ip5u8kuYG57n1sQ29jLg0HsY4YcVGccIMCAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T14:54:43.406245Z"},"content_sha256":"a7b12eb20e413c97f3e5bff38333fa5ed6a5bc5476f182e9e622202b80ba5aa4","schema_version":"1.0","event_id":"sha256:a7b12eb20e413c97f3e5bff38333fa5ed6a5bc5476f182e9e622202b80ba5aa4"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/MPMSTAXJJBCSTOFMXT72T26O2N/bundle.json","state_url":"https://pith.science/pith/MPMSTAXJJBCSTOFMXT72T26O2N/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/MPMSTAXJJBCSTOFMXT72T26O2N/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-27T14:54:43Z","links":{"resolver":"https://pith.science/pith/MPMSTAXJJBCSTOFMXT72T26O2N","bundle":"https://pith.science/pith/MPMSTAXJJBCSTOFMXT72T26O2N/bundle.json","state":"https://pith.science/pith/MPMSTAXJJBCSTOFMXT72T26O2N/state.json","well_known_bundle":"https://pith.science/.well-known/pith/MPMSTAXJJBCSTOFMXT72T26O2N/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:MPMSTAXJJBCSTOFMXT72T26O2N","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":"b4219eb9721c7f351879a8df3b9c1f49ca4ecebf39aac9a892a455faec160eb7","cross_cats_sorted":["cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2013-07-08T13:38:44Z","title_canon_sha256":"379aa0fc71e3f0d454df32e93832e6195e2c0b0373254343c289c23b6df7db97"},"schema_version":"1.0","source":{"id":"1307.2089","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1307.2089","created_at":"2026-05-18T00:59:03Z"},{"alias_kind":"arxiv_version","alias_value":"1307.2089v1","created_at":"2026-05-18T00:59:03Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1307.2089","created_at":"2026-05-18T00:59:03Z"},{"alias_kind":"pith_short_12","alias_value":"MPMSTAXJJBCS","created_at":"2026-05-18T12:27:52Z"},{"alias_kind":"pith_short_16","alias_value":"MPMSTAXJJBCSTOFM","created_at":"2026-05-18T12:27:52Z"},{"alias_kind":"pith_short_8","alias_value":"MPMSTAXJ","created_at":"2026-05-18T12:27:52Z"}],"graph_snapshots":[{"event_id":"sha256:a7b12eb20e413c97f3e5bff38333fa5ed6a5bc5476f182e9e622202b80ba5aa4","target":"graph","created_at":"2026-05-18T00:59:03Z","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":"A fundamental control problem for autonomous vehicle formations is formation shape control, in which the agents must maintain a prescribed formation shape using only information measured or communicated from neighboring agents. While a large and growing literature has recently emerged on distance-based formation shape control, global stability properties remain a significant open problem. Even in four-agent formations, the basic question of whether or not there can exist locally stable incorrect equilibrium shapes remains open. This paper shows how this question can be answered for any size fo","authors_text":"Brian D.O. Anderson, Changbin Yu, Soura Dasgupta, Tyler H. Summers","cross_cats":["cs.SY"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2013-07-08T13:38:44Z","title":"Certifying non-existence of undesired locally stable equilibria in formation shape control problems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1307.2089","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:c314ec8fee29cd7625193ec2ba36fc2cb013c87bcf292b40f70af38a880981c6","target":"record","created_at":"2026-05-18T00:59:03Z","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":"b4219eb9721c7f351879a8df3b9c1f49ca4ecebf39aac9a892a455faec160eb7","cross_cats_sorted":["cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2013-07-08T13:38:44Z","title_canon_sha256":"379aa0fc71e3f0d454df32e93832e6195e2c0b0373254343c289c23b6df7db97"},"schema_version":"1.0","source":{"id":"1307.2089","kind":"arxiv","version":1}},"canonical_sha256":"63d92982e9484529b8acbcffa9ebced34a936f4aae8583f4d4044800dadd3014","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"63d92982e9484529b8acbcffa9ebced34a936f4aae8583f4d4044800dadd3014","first_computed_at":"2026-05-18T00:59:03.983835Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:59:03.983835Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"t+qqS4/iBnT9IvwZttRU17u/UXY7eFZVzoilQ2WebF6f2usJ4f7wlztTGp4Jy6b8hQ2ax4bk9F6A1oPjY50DDQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:59:03.984346Z","signed_message":"canonical_sha256_bytes"},"source_id":"1307.2089","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:c314ec8fee29cd7625193ec2ba36fc2cb013c87bcf292b40f70af38a880981c6","sha256:a7b12eb20e413c97f3e5bff38333fa5ed6a5bc5476f182e9e622202b80ba5aa4"],"state_sha256":"0f97c6ba89239b79863401282b68aaaf355958ddb7d93095542bbd2c9eab7810"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"K70xgFjzE5/c7KQwKFoULrTi44SOf99Cj915NuHnjEySdFOxKMPFYp8V6Z2VlZnYD3VlsWYMOqLlC/3yUvhgAQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-27T14:54:43.409680Z","bundle_sha256":"44f17007451132c80e40bcd880ee9577fe653a287d72c3b8534fdee97a7dd3ac"}}