Formal Analysis of Unmanned Aerial Vehicles Using Higher-Order-Logic Theorem Proving

The continuous dynamics of unmanned aerial vehicles (UAVs) are generally modeled as a set of differential equations. Traditionally, these continuous dynamics of UAVs are analyzed using paper-and-pe...

[1]  Andreas Birk,et al.  Safety, Security, and Rescue Missions with an Unmanned Aerial Vehicle (UAV) , 2011, J. Intell. Robotic Syst..

[2]  Ioan Alfred Letia,et al.  A formal approach for identifying assurance deficits in unmanned aerial vehicle software , 2014, ICSEng.

[3]  Rafael H. Bordini,et al.  Model checking agent programming languages , 2012, Automated Software Engineering.

[4]  Haci Mehmet Guzey.  Hybrid Consensus-Based Formation Control of Fixed-Wing MUAVs , 2017, Cybern. Syst..

[5]  Michael Fisher,et al.  Formal Methods for the Certification of Autonomous Unmanned Aircraft Systems , 2011, SAFECOMP.

[6]  César A. Muñoz,et al.  Formal Verification of Conflict Detection Algorithms for Arbitrary Trajectories , 2012, Reliab. Comput..

[7]  John Harrison,et al.  The HOL Light Theory of Euclidean Space , 2012, Journal of Automated Reasoning.

[8]  Sandor M. Veres,et al.  Formal Verification of Quadcopter Flight Envelop Using Theorem Prover , 2018, 2018 IEEE Conference on Control Technology and Applications (CCTA).

[9]  D.H. Lyon,et al.  A military perspective on small unmanned aerial vehicles , 2004, IEEE Instrumentation & Measurement Magazine.

[10]  Jean-Baptiste Jeannin,et al.  Hybrid Theorem Proving of Aerospace Systems: Applications and Challenges , 2014, J. Aerosp. Inf. Syst..

[11]  Victor Carreño,et al.  Aircraft Trajectory Modeling and Altering Algorithm Verification , 2000, TPHOLs.

[12]  Tyler Foster,et al.  Dynamic Stability and Handling Qualities of Small Unmanned- Aerial Vehicles , 2005 .

[13]  Hai Lin,et al.  Hierarchical hybrid modelling and control of an unmanned helicopter , 2014, Int. J. Control.

[14]  Xi Chen and Gang Chen,et al.  Formal Verification of Helicopter Automatic Landing Control Algorithm in Theorem Prover Coq , 2018 .

[15]  S. Shankar Sastry,et al.  HIERARCHICAL CONTROL SYSTEM SYNTHESIS FOR ROTORCRAFT-BASED UNMANNED AERIAL VEHICLES , 2000 .

[16]  Jason Upchurch,et al.  Unmanned aircraft systems in the national airspace system: a formal methods perspective , 2016, SIGL.

[17]  Guillaume Ducard,et al.  Fault-tolerant Flight Control and Guidance Systems , 2009 .

[18]  Eleni I. Vlahogianni,et al.  Unmanned Aerial Aircraft Systems for Transportation Engineering: Current Practice and Future Challenges , 2016 .

[19]  César A. Muñoz,et al.  Formal Analysis of Extended Well-Clear Boundaries for Unmanned Aircraft , 2016, NFM.