In this note. the application of a plant model-based fault detection method for nonlinear control systems on aircraft takeoff is introduced. This method utilizes non-deterministic finite-state automata. which approximate the fault-free dynamics of the plant. https://balboasurfandsstylers.shop/product-category/bss-hats/