Certification and Software Verification Considerations for Autonomous Unmanned Aircraft
暂无分享,去创建一个
Christoph Torens | Lukas Goormann | Florian Adolf | Florian-Michael Adolf | Christoph Torens | Lukas Goormann
[1] Bernhard Rumpe,et al. Modellierung mit UML - Sprache, Konzepte und Methodik , 2004, Xpert.press.
[2] Dewi Daniels. Are we there yet? A Practitioner's View of DO-178C/ED-12C , 2011, SSS.
[3] Tim Menzies,et al. Verification and Validation and Artificial Intelligence , 2005, Adv. Comput..
[4] Franz Andert,et al. An Unmanned Helicopter for Autonomous Flights in Urban Terrain , 2009 .
[5] Eric N. Johnson,et al. Multi-sensor navigation system for an autonomous helicopter , 2002, Proceedings. The 21st Digital Avionics Systems Conference.
[6] Bernard Mettler,et al. Benchmarking of obstacle field navigation algorithms for autonomous helicopters , 2010 .
[7] J. Schumann,et al. Autonomy Software: V& V Challenges and Characteristics , 2006, 2006 IEEE Aerospace Conference.
[8] Franz Andert,et al. Online world modeling and path planning for an unmanned helicopter , 2009, Auton. Robots.
[9] Florian Adolf. Multi-Query Path Planning for Exploration Tasks with an Unmanned Rotorcraft , 2012, Infotech@Aerospace.
[10] George N. Szatkowski,et al. Preliminary Considerations for Classifying Hazards of Unmanned Aircraft Systems , 2007 .
[11] Heiko Hirschmüller,et al. Meshing and Simplification of High Resolution Urban Surface Data for UAV Path Planning , 2011, J. Intell. Robotic Syst..
[12] Anthony J. Calise,et al. Adaptive Output Feedback for High-Bandwidth Control of an Unmanned Helicopter , 2001 .
[13] Steven H. VanderLeest,et al. Escape the waterfall: Agile for aerospace , 2009, 2009 IEEE/AIAA 28th Digital Avionics Systems Conference.
[14] Florian-Michael Adolf,et al. Behavior-based High Level Control of a VTOL UAV , 2009 .
[15] Cmmi Product Team. CMMI for Systems Engineering/Software Engineering/Integrated Product and Process Development, Version 1.1, Staged Representation (CMMI-SE/SW/IPPD, V1.1, Staged) , 2001 .
[16] Timothy G. Trucano,et al. Verification and validation. , 2005 .
[17] Michael Fisher,et al. Model Checking and the Certification of Autonomous Unmanned Aircraft Systems , 2011 .
[18] Stephen A. Jacklin. Certification of Safety-Critical Software Under DO-178C and DO-278A , 2012, Infotech@Aerospace.
[19] Karen Gundy-Burlet. Validation and Verification of LADEE Models and Software , 2013 .
[20] Hyochoong Bang,et al. A Small Scale Rotor UAV Autonomous Flight Control System Design and Verification , 2007 .
[21] Andrew J. Kornecki,et al. Certification of software for real-time safety-critical systems: state of the art , 2009, Innovations in Systems and Software Engineering.
[22] Cyrille Comar,et al. Certification of Object Oriented Programs , 2007 .
[23] James M. Urnes,et al. Software V&V Challenges for Uninhabited Autonomous Air Vehicles , 2004 .
[24] Johann Schumann,et al. Verification, Validation, and Certification Challenges for Adaptive Flight-Critical Control System Software , 2004 .
[25] Florian-Michael Adolf,et al. A Decoupled Approach for Trajectory Generation for an Unmanned Rotorcraft , 2011 .
[26] Sven Lorenz. Adaptive Regelung zur Flugbereichserweiterung des Technologiedemonstrators ARTIS , 2010 .
[27] Frank Thielecke,et al. Intelligent Systems Research Using a Small Autonomous Rotorcraft , 2003 .
[28] Marco Pacino,et al. A STANAG 4586 Oriented Approach to UAS Navigation , 2013, J. Intell. Robotic Syst..
[29] Michael Fisher,et al. Towards Certification of Autonomous Unmanned Aircraft Using Formal Model Checking and Simulation , 2012, Infotech@Aerospace.
[30] Franz Andert,et al. Rapid Multi-Query Path Planning For A Vertical Take-Off and Landing Unmanned Aerial Vehicle , 2011, J. Aerosp. Comput. Inf. Commun..
[31] Eric N. Johnson,et al. Modeling, Control, and Flight Testing of a Small Ducted-Fan Aircraft , 2005 .
[32] Florian Holzapfel,et al. Nichtlineare adaptive Regelung eines unbemannten Fluggerätes , 2004 .
[33] Eric N. Johnson,et al. Development and Test of Highly Autonomous Unmanned Aerial Vehicles , 2004, J. Aerosp. Comput. Inf. Commun..
[34] Eric N. Johnson,et al. FEEDBACK LINEARIZATION WITH NEURAL NETWORK AUGMENTATION APPLIED TO X-33 ATTITUDE CONTROL , 2000 .