{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:EH47IZJEB3VQ5D4XWRQPRF5QEC","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":"d75e0f1a511526b6946ea631a6a1c8800331c798b2f67b94c377758f062c5df2","cross_cats_sorted":["cs.SY","math.DS","math.OC"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"eess.SY","submitted_at":"2024-05-30T21:45:05Z","title_canon_sha256":"3c46953d28f79aa4cb548c138d71c5b8852f12de3fbc8a6ab649ed997b5df9f1"},"schema_version":"1.0","source":{"id":"2405.20502","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2405.20502","created_at":"2026-07-05T08:25:38Z"},{"alias_kind":"arxiv_version","alias_value":"2405.20502v1","created_at":"2026-07-05T08:25:38Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2405.20502","created_at":"2026-07-05T08:25:38Z"},{"alias_kind":"pith_short_12","alias_value":"EH47IZJEB3VQ","created_at":"2026-07-05T08:25:38Z"},{"alias_kind":"pith_short_16","alias_value":"EH47IZJEB3VQ5D4X","created_at":"2026-07-05T08:25:38Z"},{"alias_kind":"pith_short_8","alias_value":"EH47IZJE","created_at":"2026-07-05T08:25:38Z"}],"graph_snapshots":[{"event_id":"sha256:e1caef1d92340783260b26a1a861b10f29b8e23e758c8f4b4fc50029a481aa51","target":"graph","created_at":"2026-07-05T08:25:38Z","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/2405.20502/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Reach-avoid specifications are one of the most common tasks in autonomous aerial vehicle (UAV) applications. Despite the intensive research and development associated with control of aerial vehicles, generating feasible trajectories though complex environments and tracking them with formal safety guarantees remain challenging. In this paper, we propose a control framework for a quadrotor UAV that enables accomplishing reach-avoid tasks with formal safety guarantees. In this proposed framework, we integrate geometric control theory for tracking and polynomial trajectory generation using Bezier ","authors_text":"Haocheng Chang, Jun Liu, Mohamed Serry","cross_cats":["cs.SY","math.DS","math.OC"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"eess.SY","submitted_at":"2024-05-30T21:45:05Z","title":"Reach-Avoid Control Synthesis for a Quadrotor UAV with Formal Safety Guarantees"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2405.20502","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:2f5c53f94f2a20692726577d8f8e9a68d51ac7f352d48f9ec05e6b462bc807dc","target":"record","created_at":"2026-07-05T08:25:38Z","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":"d75e0f1a511526b6946ea631a6a1c8800331c798b2f67b94c377758f062c5df2","cross_cats_sorted":["cs.SY","math.DS","math.OC"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"eess.SY","submitted_at":"2024-05-30T21:45:05Z","title_canon_sha256":"3c46953d28f79aa4cb548c138d71c5b8852f12de3fbc8a6ab649ed997b5df9f1"},"schema_version":"1.0","source":{"id":"2405.20502","kind":"arxiv","version":1}},"canonical_sha256":"21f9f465240eeb0e8f97b460f897b020a01916cc2c011b8594cb9f82fcfd7ede","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"21f9f465240eeb0e8f97b460f897b020a01916cc2c011b8594cb9f82fcfd7ede","first_computed_at":"2026-07-05T08:25:38.285570Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T08:25:38.285570Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Uq5xlmOTdkTbJhUwWmAZQaC0VRNJr0wnxtc9hYw9OGmNpgZ9TIlkA3xq4oPJKGAxjDQ3maxw2YYNRyNuBvSsBA==","signature_status":"signed_v1","signed_at":"2026-07-05T08:25:38.286057Z","signed_message":"canonical_sha256_bytes"},"source_id":"2405.20502","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:2f5c53f94f2a20692726577d8f8e9a68d51ac7f352d48f9ec05e6b462bc807dc","sha256:e1caef1d92340783260b26a1a861b10f29b8e23e758c8f4b4fc50029a481aa51"],"state_sha256":"095c05739073e55b8a85bfcad32f40fb41bf2b3a758996d4523f0d38bd11c15a"}