Formally Verified Switching Logic for Recoverabilit of Aircraft Controller

von Lal, Ratan
Veröffentlicht in CAV (33. : 2021 : Online) Computer aided verification ; Part 1 (2021)

FLIGHT TEST VALIDATION OF A SAFETY-CRITICAL NEURAL NETWORK BASED LONGITUDINAL CONTROLLER FOR A FIXED-WING UAS

von Shukla, Daksh
Veröffentlicht in AIAA Aviation Forum (2020 : Online) Flight testing (2020)