Autonomous Cars, Aerospace, Aeronautics, Systems, Complex Systems Science.
between 2² states. 4 modes of action have been specified: Stop, low speed, high speed and error. Our tool also enables us to partially read our system. For instance: what happens when the lever is put in HS position? Does it always drive the engine at high speed? We feed our software with the