Collision Avoidance and Geofencing for Fixed-wing Aircraft with Control Barrier Functions
Fuente:
arXiv
Salvato in:
| Autori principali: | , , , , , |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2024
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866916585985277952 |
|---|---|
| author | Molnar, Tamas G. Kannan, Suresh K. Cunningham, James Dunlap, Kyle Hobbs, Kerianne L. Ames, Aaron D. |
| author_facet | Molnar, Tamas G. Kannan, Suresh K. Cunningham, James Dunlap, Kyle Hobbs, Kerianne L. Ames, Aaron D. |
| contents | Safety-critical failures often have fatal consequences in aerospace control. Control systems on aircraft, therefore, must ensure the strict satisfaction of safety constraints, preferably with formal guarantees of safe behavior. This paper establishes the safety-critical control of fixed-wing aircraft in collision avoidance and geofencing tasks. A control framework is developed wherein a run-time assurance (RTA) system modulates the nominal flight controller of the aircraft whenever necessary to prevent it from colliding with other aircraft or crossing a boundary (geofence) in space. The RTA is formulated as a safety filter using control barrier functions (CBFs) with formal guarantees of safe behavior. CBFs are constructed and compared for a nonlinear kinematic fixed-wing aircraft model. The proposed CBF-based controllers showcase the capability of safely executing simultaneous collision avoidance and geofencing, as demonstrated by simulations on the kinematic model and a high-fidelity dynamical model. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2403_02508 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Collision Avoidance and Geofencing for Fixed-wing Aircraft with Control Barrier Functions Molnar, Tamas G. Kannan, Suresh K. Cunningham, James Dunlap, Kyle Hobbs, Kerianne L. Ames, Aaron D. Systems and Control Robotics Dynamical Systems Safety-critical failures often have fatal consequences in aerospace control. Control systems on aircraft, therefore, must ensure the strict satisfaction of safety constraints, preferably with formal guarantees of safe behavior. This paper establishes the safety-critical control of fixed-wing aircraft in collision avoidance and geofencing tasks. A control framework is developed wherein a run-time assurance (RTA) system modulates the nominal flight controller of the aircraft whenever necessary to prevent it from colliding with other aircraft or crossing a boundary (geofence) in space. The RTA is formulated as a safety filter using control barrier functions (CBFs) with formal guarantees of safe behavior. CBFs are constructed and compared for a nonlinear kinematic fixed-wing aircraft model. The proposed CBF-based controllers showcase the capability of safely executing simultaneous collision avoidance and geofencing, as demonstrated by simulations on the kinematic model and a high-fidelity dynamical model. |
| title | Collision Avoidance and Geofencing for Fixed-wing Aircraft with Control Barrier Functions |
| topic | Systems and Control Robotics Dynamical Systems |
| url | https://arxiv.org/abs/2403.02508 |