Objectives:
The aim of this project is to extend current diagnosis, verification, and supervisory control approaches for modular discrete-event systems to networked discrete-event systems to cope with delays and losses in communications channels. In the standard supervisory control framework, it is assumed that communications between supervisors and the plant in both control and observation parts of the feedback loop are reliable and instantaneous. In a networked control system, the feedback loops are closed via a real-time communication network, which is shared with other nodes inside or outside the control system. The communication carried out over a shared network then induces delays and losses. We will investigate modular synthesis of supervisors that will be robust to these delays and losses. We will further apply the investigated approaches to the verification and control of guidepath-based transport systems that find applications in material handling systems, robotics and many other fields.
Masopust Tomáš
Palacký University of Olomouc, Faculty of Science, Coordinator
Institute of Mathematics, Czech Academy of Sciences
The University of Michigan, Ann Arbor, USA
Wayne State University, Detroit, USA
Georgia Institute of Technology, Atlanta, USA