Academic Journals Database
Disseminating quality controlled scientific knowledge

Desynchronizability of (Partial) Synchronous Closed Loop Systems

Author(s): H. Beohar | P. Cuijpers

Journal: Scientific Annals of Computer Science
ISSN 1843-8121

Volume: 21;
Issue: 1;
Start page: 5;
Date: 2011;
VIEW PDF   PDF DOWNLOAD PDF   Download PDF Original page

The task of implementing supervisory controllers is non-trivial, even though there are different theories that allow automatic synthesis of such controllers in the form of automata. One of the reasons for this discord, is the asynchronous interaction between a plant and its controller in implementations, whereas the existing supervisory control theories assume synchronous interaction. As a consequence the implementation suffers from the so-called inexact synchronization problem. To address this issue, we find sufficient conditions under which a synchronous closed loop system is branching bisimilar to its corresponding asynchronous closed loop system. Furthermore, we extend this result to include interaction of plant or supervisor with its environment.
RPA Switzerland

Robotic Process Automation Switzerland


Tango Jona
Tangokurs Rapperswil-Jona