{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:HKOZ5XZJRIJHKW4YOUUJL47MYS","short_pith_number":"pith:HKOZ5XZJ","canonical_record":{"source":{"id":"1702.01075","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2017-02-03T16:42:57Z","cross_cats_sorted":[],"title_canon_sha256":"ad93d1d9221e0c2d0d758e8cd0d798541e29a59604e3ef6774575365238c9e8c","abstract_canon_sha256":"c80d91fed032d916042960d350e548d459ed558c068d0fb452756c37da82b13a"},"schema_version":"1.0"},"canonical_sha256":"3a9d9edf298a12755b98752895f3ecc4b7a1de7a28b19dc60693a3248fac11df","source":{"kind":"arxiv","id":"1702.01075","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1702.01075","created_at":"2026-05-18T00:51:29Z"},{"alias_kind":"arxiv_version","alias_value":"1702.01075v1","created_at":"2026-05-18T00:51:29Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1702.01075","created_at":"2026-05-18T00:51:29Z"},{"alias_kind":"pith_short_12","alias_value":"HKOZ5XZJRIJH","created_at":"2026-05-18T12:31:18Z"},{"alias_kind":"pith_short_16","alias_value":"HKOZ5XZJRIJHKW4Y","created_at":"2026-05-18T12:31:18Z"},{"alias_kind":"pith_short_8","alias_value":"HKOZ5XZJ","created_at":"2026-05-18T12:31:18Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:HKOZ5XZJRIJHKW4YOUUJL47MYS","target":"record","payload":{"canonical_record":{"source":{"id":"1702.01075","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2017-02-03T16:42:57Z","cross_cats_sorted":[],"title_canon_sha256":"ad93d1d9221e0c2d0d758e8cd0d798541e29a59604e3ef6774575365238c9e8c","abstract_canon_sha256":"c80d91fed032d916042960d350e548d459ed558c068d0fb452756c37da82b13a"},"schema_version":"1.0"},"canonical_sha256":"3a9d9edf298a12755b98752895f3ecc4b7a1de7a28b19dc60693a3248fac11df","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:51:29.031730Z","signature_b64":"Y/sLA7yJjCY3E28/7WLA0NAHOaYJu/wfkbzyi3gx1LfuUbqeoe54OF5X6Fs5RHI9jwhNa89hzhro4ltrE+mFAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"3a9d9edf298a12755b98752895f3ecc4b7a1de7a28b19dc60693a3248fac11df","last_reissued_at":"2026-05-18T00:51:29.031139Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:51:29.031139Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1702.01075","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:51:29Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"oOh3nsGPB5+htd6LoKEjmok6oKCaZ8UjdEV14y3Bo/LTejlDAgead63pgDnr6S/l1D4pbAqPyF3nWEeX4gvpCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-06T04:15:25.671458Z"},"content_sha256":"a634f6f2217b2be13637d0aa1dcf5c7115c07f716a49ddd56b57a7a32a90d2c7","schema_version":"1.0","event_id":"sha256:a634f6f2217b2be13637d0aa1dcf5c7115c07f716a49ddd56b57a7a32a90d2c7"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:HKOZ5XZJRIJHKW4YOUUJL47MYS","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Safe Certificate-Based Maneuvers for Teams of Quadrotors Using Differential Flatness","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.RO","authors_text":"Aaron D. Ames, Li Wang, Magnus Egerstedt","submitted_at":"2017-02-03T16:42:57Z","abstract_excerpt":"Safety Barrier Certificates that ensure collision-free maneuvers for teams of differential flatness-based quadrotors are presented in this paper. Synthesized with control barrier functions, the certificates are used to modify the nominal trajectory in a minimally invasive way to avoid collisions. The proposed collision avoidance strategy complements existing flight control and planning algorithms by providing trajectory modifications with provable safety guarantees. The effectiveness of this strategy is supported both by the theoretical results and experimental validation on a team of five qua"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1702.01075","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:51:29Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"rRPgQLQc/RNSWB5Sy5vW0z1H50dW98e2/t449EVbrPQD0Z8CcvxyQ01gVvJ3P62Mt3h6H+5xDvUpl83qxG5pBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-06T04:15:25.672151Z"},"content_sha256":"4332c65d1769e06310d79d3ed55dceb8e9ffc3d3127209b6ed5bc586fbd3dc38","schema_version":"1.0","event_id":"sha256:4332c65d1769e06310d79d3ed55dceb8e9ffc3d3127209b6ed5bc586fbd3dc38"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/HKOZ5XZJRIJHKW4YOUUJL47MYS/bundle.json","state_url":"https://pith.science/pith/HKOZ5XZJRIJHKW4YOUUJL47MYS/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/HKOZ5XZJRIJHKW4YOUUJL47MYS/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-06T04:15:25Z","links":{"resolver":"https://pith.science/pith/HKOZ5XZJRIJHKW4YOUUJL47MYS","bundle":"https://pith.science/pith/HKOZ5XZJRIJHKW4YOUUJL47MYS/bundle.json","state":"https://pith.science/pith/HKOZ5XZJRIJHKW4YOUUJL47MYS/state.json","well_known_bundle":"https://pith.science/.well-known/pith/HKOZ5XZJRIJHKW4YOUUJL47MYS/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:HKOZ5XZJRIJHKW4YOUUJL47MYS","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":"c80d91fed032d916042960d350e548d459ed558c068d0fb452756c37da82b13a","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2017-02-03T16:42:57Z","title_canon_sha256":"ad93d1d9221e0c2d0d758e8cd0d798541e29a59604e3ef6774575365238c9e8c"},"schema_version":"1.0","source":{"id":"1702.01075","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1702.01075","created_at":"2026-05-18T00:51:29Z"},{"alias_kind":"arxiv_version","alias_value":"1702.01075v1","created_at":"2026-05-18T00:51:29Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1702.01075","created_at":"2026-05-18T00:51:29Z"},{"alias_kind":"pith_short_12","alias_value":"HKOZ5XZJRIJH","created_at":"2026-05-18T12:31:18Z"},{"alias_kind":"pith_short_16","alias_value":"HKOZ5XZJRIJHKW4Y","created_at":"2026-05-18T12:31:18Z"},{"alias_kind":"pith_short_8","alias_value":"HKOZ5XZJ","created_at":"2026-05-18T12:31:18Z"}],"graph_snapshots":[{"event_id":"sha256:4332c65d1769e06310d79d3ed55dceb8e9ffc3d3127209b6ed5bc586fbd3dc38","target":"graph","created_at":"2026-05-18T00:51:29Z","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":"Safety Barrier Certificates that ensure collision-free maneuvers for teams of differential flatness-based quadrotors are presented in this paper. Synthesized with control barrier functions, the certificates are used to modify the nominal trajectory in a minimally invasive way to avoid collisions. The proposed collision avoidance strategy complements existing flight control and planning algorithms by providing trajectory modifications with provable safety guarantees. The effectiveness of this strategy is supported both by the theoretical results and experimental validation on a team of five qua","authors_text":"Aaron D. Ames, Li Wang, Magnus Egerstedt","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2017-02-03T16:42:57Z","title":"Safe Certificate-Based Maneuvers for Teams of Quadrotors Using Differential Flatness"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1702.01075","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:a634f6f2217b2be13637d0aa1dcf5c7115c07f716a49ddd56b57a7a32a90d2c7","target":"record","created_at":"2026-05-18T00:51:29Z","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":"c80d91fed032d916042960d350e548d459ed558c068d0fb452756c37da82b13a","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2017-02-03T16:42:57Z","title_canon_sha256":"ad93d1d9221e0c2d0d758e8cd0d798541e29a59604e3ef6774575365238c9e8c"},"schema_version":"1.0","source":{"id":"1702.01075","kind":"arxiv","version":1}},"canonical_sha256":"3a9d9edf298a12755b98752895f3ecc4b7a1de7a28b19dc60693a3248fac11df","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"3a9d9edf298a12755b98752895f3ecc4b7a1de7a28b19dc60693a3248fac11df","first_computed_at":"2026-05-18T00:51:29.031139Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:51:29.031139Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Y/sLA7yJjCY3E28/7WLA0NAHOaYJu/wfkbzyi3gx1LfuUbqeoe54OF5X6Fs5RHI9jwhNa89hzhro4ltrE+mFAg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:51:29.031730Z","signed_message":"canonical_sha256_bytes"},"source_id":"1702.01075","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:a634f6f2217b2be13637d0aa1dcf5c7115c07f716a49ddd56b57a7a32a90d2c7","sha256:4332c65d1769e06310d79d3ed55dceb8e9ffc3d3127209b6ed5bc586fbd3dc38"],"state_sha256":"e9d6647aba10f099b333a5886c628461c79901abceb2edae1a7c34e552e8cb72"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"R+XsnSUi5CXcHDfJRf1mlwxnCHK1qcXwv3b9gg3rnwpr1+5MNGXzn6EhsMpalpbExQ6FScaXTyN5JUef8OXWCg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-06T04:15:25.675663Z","bundle_sha256":"8a832f9a7fe97978770b1f9b726b636fee398e587b0592f52a11fcadec1120b7"}}