-
Autonomous and self-managing computation systems.
-
Model-based design of embedded systems.
-
System diagnosis and diagnosability analysis.
-
Formal verification of distributed real-time
systems.
-
Supervisory control of discrete-event system.
-
Control and stability analysis of hybrid Systems.
-
Model Integrated Computing.
