En esta nota, se presenta la aplicación de un método de detección de fallos basado en un modelo de planta para sistemas de control no lineales en el despegue de aeronaves. Este método utiliza autómatas finitos no deterministas, que aproximan la dinámica libre de fallos de la planta. El autómata mencionado se calcula en un paso preliminar, mientras que durante la evolución de la planta, el autómata se evalúa continuamente para detectar discrepancias entre la dinámica real y la nominal. De esta manera, el módulo de detección de fallos puede implementarse en hardware más simple a bordo de la planta. Además, se presenta una técnica de implementación que permite el uso del método de detección de fallos propuesto cuando la dinámica de la planta se da únicamente a través de un script de programación gráfica. Se demuestra el gran potencial y la practicidad del método utilizado en un maniobra de despegue simulada de una aeronave impulsada eléctricamente por batería.