Identification and development of mathematical models for the formal description of homogeneous components of heterogeneous realistic control systems, including process, actuators, microprocessors, communications infrastructure and wired and/or wireless.

Analysis and Control: efficient algorithms for analysis, formal verification and design of control of laws that are correct-by-project in the presence of non-ideality.

Design of controllers, observers and diagnosers distributed.

Study of modular and hierarchical methods for modeling and formal analysis of large-scale complex systems.

Study of methodologies for intrusion detection and security in a network control system