{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2022:5HA7NWZUFXHPPCPG32Y4DB5VJM","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":"656372a8e1df8e7fa2225eb1c513e075b18bcffc5b5542274818aaea0cb5f452","cross_cats_sorted":["cs.RO","cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2022-01-12T06:39:27Z","title_canon_sha256":"5e1e48b4a9661a6d0403e878a21cc3f818e8f3eb9daf8e1cc56bd3f062c40cd9"},"schema_version":"1.0","source":{"id":"2201.04331","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2201.04331","created_at":"2026-07-05T03:47:59Z"},{"alias_kind":"arxiv_version","alias_value":"2201.04331v1","created_at":"2026-07-05T03:47:59Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2201.04331","created_at":"2026-07-05T03:47:59Z"},{"alias_kind":"pith_short_12","alias_value":"5HA7NWZUFXHP","created_at":"2026-07-05T03:47:59Z"},{"alias_kind":"pith_short_16","alias_value":"5HA7NWZUFXHPPCPG","created_at":"2026-07-05T03:47:59Z"},{"alias_kind":"pith_short_8","alias_value":"5HA7NWZU","created_at":"2026-07-05T03:47:59Z"}],"graph_snapshots":[{"event_id":"sha256:1b26f218bfd7e8182ad1935e4738188afa8017808f58556429f4da9b623ceb64","target":"graph","created_at":"2026-07-05T03:47:59Z","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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2201.04331/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"This paper details the theory and implementation behind practically ensuring safety of remotely piloted racing drones. We demonstrate robust and practical safety guarantees on a 7\" racing drone at speeds exceeding 100 km/h, utilizing only online computations on a 10 gram micro-controller. To achieve this goal, we utilize the framework of control barrier functions (CBFs) which give guaranteed safety encoded as forward set invariance. To make this methodology practically applicable, we present an implicitly defined CBF which leverages backup controllers to enable gradient-free evaluations that e","authors_text":"Aaron D. Ames, Aiden Swann, Andrew Singletary, Yuxiao Chen","cross_cats":["cs.RO","cs.SY"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2022-01-12T06:39:27Z","title":"Onboard Safety Guarantees for Racing Drones: High-speed Geofencing with Control Barrier Functions"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2201.04331","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:fd664eaf9623e83ffed27ecd5f2195e4c40cf783047d7e1464b0e044e029f649","target":"record","created_at":"2026-07-05T03:47:59Z","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":"656372a8e1df8e7fa2225eb1c513e075b18bcffc5b5542274818aaea0cb5f452","cross_cats_sorted":["cs.RO","cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2022-01-12T06:39:27Z","title_canon_sha256":"5e1e48b4a9661a6d0403e878a21cc3f818e8f3eb9daf8e1cc56bd3f062c40cd9"},"schema_version":"1.0","source":{"id":"2201.04331","kind":"arxiv","version":1}},"canonical_sha256":"e9c1f6db342dcef789e6deb1c187b54b2ceae8e7aee98c71040d2b51147be7eb","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"e9c1f6db342dcef789e6deb1c187b54b2ceae8e7aee98c71040d2b51147be7eb","first_computed_at":"2026-07-05T03:47:59.253514Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T03:47:59.253514Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"y3ty75gC7wODeYaxrA2XyDSxn3+W9+rZEHgU+ExDvQTP9YkVrQIzFsKB2IKKzvG/fPSR36txD9OwHgqnM8brBw==","signature_status":"signed_v1","signed_at":"2026-07-05T03:47:59.253870Z","signed_message":"canonical_sha256_bytes"},"source_id":"2201.04331","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:fd664eaf9623e83ffed27ecd5f2195e4c40cf783047d7e1464b0e044e029f649","sha256:1b26f218bfd7e8182ad1935e4738188afa8017808f58556429f4da9b623ceb64"],"state_sha256":"58b6cdf420ff11f24ee229b93a2f30164a2faaf0381a498b138d232f3de3eed0"}