36 Downloads (Pure)

Samenvatting

The task of implementing a supervisory controller is non-trivial, even though there are different theories that allow automatic synthesis of these controllers in the form of automata. One of the reasons for this discord is due to 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 synchronisation problem. In this paper we address the issue of inexact synchronisation in a process algebraic setting, by solving a more general problem of refinement. We construct an asynchronous closed loop system by introducing a communication medium in a given synchronous closed loop system. Our goal is to find sufficient conditions under which a synchronous closed loop system is branching bisimilar to its corresponding asynchronous closed loop system. Furthermore, we extend our results to a class of synchronous closed loop systems called partial synchronous closed loop systems, whose alphabet contains external actions of both the plant and its controller that do not result in interaction.
Originele taal-2Engels
Plaats van productieEindhoven
UitgeverijTechnische Universiteit Eindhoven
Aantal pagina's66
StatusGepubliceerd - 2010

Publicatie series

NaamComputer science reports
Volume1019
ISSN van geprinte versie0926-4515

Vingerafdruk Duik in de onderzoeksthema's van 'Desynchronisability of (partial) closed loop systems'. Samen vormen ze een unieke vingerafdruk.

  • Citeer dit

    Beohar, H., & Cuijpers, P. J. L. (2010). Desynchronisability of (partial) closed loop systems. (Computer science reports; Vol. 1019). Technische Universiteit Eindhoven.