Verification of Binarized Neural Networks via Inter-neuron Factoring: (Short Paper)
Abstract Binarized Neural Networks (BNN) have recently been proposed as an energy-
efficient alternative to more traditional learning networks. Here we study the problem of …
efficient alternative to more traditional learning networks. Here we study the problem of …
Robust Tracking Control for Quadrotor UAV with External Disturbances and Uncertainties Using Neural Network Based MRAC
MM Madebo, CM Abdissa, LN Lemma… - IEEE Access, 2024 - ieeexplore.ieee.org
In this paper, an intelligent Model Reference Adaptive Control (MRAC) based on a neural
network is proposed for robust tracking control of quadrotor UAV under external …
network is proposed for robust tracking control of quadrotor UAV under external …
Towards DO-178C certification of adaptive learning UAV agents designed with a cognitive architecture
J Pyrgies - Proceedings of the ACM/IEEE 42nd international …, 2020 - dl.acm.org
Adaptive and Learning Agents (ALAs) bring computational intelligence to their Cyber
Physical host systems to adapt to novel situations encountered in their complex operational …
Physical host systems to adapt to novel situations encountered in their complex operational …
[PDF][PDF] AI for Future Skies: On-going standardization activities to build the next certification/approval framework for airborne and ground aeronautical products
C Gabreau, B Pesquet-Popescu, F Kaakai… - CEUR Workshop …, 2021 - ceur-ws.org
This position paper will describe the stakes of the new standard developed by EUROCAE
and SAE on AI certification by detailing the main challenges, drawing the interfaces with …
and SAE on AI certification by detailing the main challenges, drawing the interfaces with …
Quadcopter flight test results of a consistency monitoring algorithm for adaptive controllers
M Mühlegg, T Raffler, F Holzapfel - 2016 14th International …, 2016 - ieeexplore.ieee.org
Model Reference Adaptive Control facilitates nonlinear systems to adapt to modeling errors,
environmental changes or structural damage. Most adaptive control frameworks employ …
environmental changes or structural damage. Most adaptive control frameworks employ …
State monitoring of systems augmented by model reference adaptive control using analytic time-series forecasting
M Mühlegg, G Chowdhary… - 2016 24th Mediterranean …, 2016 - ieeexplore.ieee.org
Certification of adaptive control algorithms for use on aerospace applications has not yet
been accomplished in the aerospace industry. According to an emerging consensus …
been accomplished in the aerospace industry. According to an emerging consensus …