Objectives:
Discrete-event systems represent an important class of dynamical systems with discrete state spaces and event-driven dynamics. For large systems, methods of hierarchical, modular, and decentralized decentralized supervisory control have been proposed. Since a solution to modular and decentralized supervisory control may not exist without communication between controllers, coordination control has been proposed as a form of decentralized control with supervisors communicating via coordinators. In this project we will study computationally efficient solutions to coordination supervisory control of large automata with product structure based on multi-level communication structure. Both logical automata and those stemming from discretizations will be considered. Decentralized supervisory control of automata without a priori known modular (product) structure will also be investigated. The motivations for investigating new efficient methods are that communications are sometimes lost or delayed and the original product structure is often lost after discretization.
Main investigator:
Participating institutions:
Institute of Mathematics, Czech Academy of Sciences
