Desynchronizability of (Partial) Synchronous Closed Loop Systems

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

Full description

Bibliographic Details
Main Authors: H. Beohar, P. Cuijpers
Format: Article
Language:English
Published: Alexandru Ioan Cuza University of Iasi 2011-06-01
Series:Scientific Annals of Computer Science
Online Access:http://www.info.uaic.ro/bin/download/Annals/XXI1/XXI1_7.pdf