Towards Certification of a Reduced Footprint ACAS-Xu System: a Hybrid ML-based Solution
Résumé
Approximating while compressing lookup tables (LUT) with a set of neural networks (NN) is an emerging trend in safety critical systems, such as control/command or navigation systems. Recently, as an example, many research papers have focused on the ACAS Xu LUT compression. In this work, we explore how to make such a compression while preserving the system safety and offering adequate means of certification.
| Origine | Fichiers produits par l'(les) auteur(s) |
|---|