Department of Electromechanical, Systems and Metal Engineering, Institute of Mathematics, Czech Academy of Sciences, Technical University of Berlin, University of Cagliari, Flemish Government, University of Zaragoza, French Institute for Research in Computer Science and Automation, Centrum Wiskunde & Informatica
Supervisory control is a formal approach for the control of discrete event systems that aims to solve logical problems of safety, resource allocation, liveness, and fault diagnosis that can be encountered in all systems with a high degree of automation. It provides a conceptual framework for developing methods and tools for system design.
An open issue is the application of this methodology to those control problems that arise in ...