Ihem Hnayen, Hedi Dhouibi, Zineb Simeu-Abazi, Eric Gascard. Modeling And Diagnosis of Avionic Systems by Hybrid Automata Using Stateflow. In International Conference on Control, Automation and Diagnosis, ICCAD 2023, Rome, Italy, May 10-12, 2023. pages 1-5, IEEE, 2023. [doi]
Abstract is missing.