Supervisory control of discrete-event systems in an asynchronous setting
Paper in proceeding, 2019

In conventional supervisory control theory, a plant and supervisor are supposed to work synchronously such that enabling an event by the supervisor, execution of it in the plant, and observation of the executed event by the supervisor all occur at once. Therefore, these occurrences are all captured by means of a single event. However, when a supervisor synthesized from conventional supervisory control theory is implemented in real life, it will face problems since exact synchronization can hardly happen in practice due to delayed communications. In this paper, we propose a synthesis technique to achieve a supervisor that does not face the problems caused by inexact synchronization. For this purpose, we first introduce an asynchronous setting in which enablement, execution, and observation of an event do not occur simultaneously but with some delay. We present a model representing the behavior of the plant in the asynchronous setting which we call the asynchronous plant. For the asynchronous plant, we present an algorithm synthesizing an asynchronous supervisor which satisfies (asynchronous) controllability and nonblockingness.


Aida Rashidinejad

Eindhoven University of Technology

Michel A. Reniers

Eindhoven University of Technology

Martin Fabian

Chalmers, Electrical Engineering, Systems and control

IEEE International Conference on Automation Science and Engineering

21618070 (ISSN) 21618089 (eISSN)

Vol. 2019-August 494-501 8843274
978-172810355-6 (ISBN)

15th IEEE International Conference on Automation Science and Engineering, CASE 2019
Vancouver, Canada,

Subject Categories


Control Engineering

Computer Science



More information

Latest update