Delay-tolerant Adaptive Robust Control Applied to Flight Control (AIAA 2018-0078)
Intent-based Abstraction for Formal Verification of Flight Deck Mode Confusion (AIAA 2016-0129)
A Hybrid-Systems Approach for Analyzing Pilot-Cockpit Interactions (AIAA 2017-1315)
Diagnostic Throughput Factor Analysis Tool for En-Route Airspace
Diagnostic Throughput Factor Analysis Tool for En-Route Airspace