Open Access. Powered by Scholars. Published by Universities.®

Engineering Commons

Open Access. Powered by Scholars. Published by Universities.®

Computer Engineering

2020

Conference

Formal Methods

Articles 1 - 1 of 1

Full-Text Articles in Engineering

Validation Framework For Autonomous Aerial Vehicles, Mustafa Akbas Ph.D. Mar 2020

Validation Framework For Autonomous Aerial Vehicles, Mustafa Akbas Ph.D.

National Training Aircraft Symposium (NTAS)

Autonomous aerial vehicles (AAV) have the potential to have market disruptions for various industries such as ground delivery and aerial transportation. Hence, the USAF has called for increased level of autonomy and rapid progress is being made in artificial intelligence (AI) engines, complex and non-deterministic system components, which are at the core of the autonomous aerial platforms. Traditional testing and validation methods fall short of satisfying the requirement of testing such complex systems. Therefore, to achieve highly or fully autonomous capabilities, a major leap forward in the validation is required. Otherwise, the full capabilities of autonomy will not be realized. …