Search for European Projects

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 thos ...

Control for coordination of distributed systems is motivated by the case studies of control for underwater vehicles, for aerial vehicles, for a road control and communication network, for automated guided vehicles, and for complex machines.The research thrust is in control design and control synthesis. In particular,control synthesis of a global coordinator of a distributed system, in communicatio ...