Qiwen Xu
-
Rigorous Design of a Fault Diagnosis and Isolation Algorithm
Hybrid Systems V
Action Systems with Continuous Behaviour