Computer Science – Logic in Computer Science
Scientific paper
2010-10-27
EPTCS 38, 2010, pp. 99-114
Computer Science
Logic in Computer Science
In Proceedings ICE 2010, arXiv:1010.5308
Scientific paper
10.4204/EPTCS.38.10
The task of implementing a supervisory controller is non-trivial, even though different theories exist 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 suffer 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.
Beohar Harsh
Cuijpers Pieter
No associations
LandOfFree
A theory of desynchronisable closed loop system does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with A theory of desynchronisable closed loop system, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and A theory of desynchronisable closed loop system will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-484655