Published in Volume XXI, Issue 1, 2011, pages 5-38

Authors: H. Beohar, P. Cuijpers

Abstract

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.

Full Text (PDF)

References

[1] Integrated multi-formalism tool support for the design of networked embedded control systems : Multiform. http://cms.multiform.bci.tu-dortmund.de/.

[2] D. E. Nadales Agut, D. A. v. Beek, R. R. H. Schiffelers, D. Hendriks, and J. E. Rooda. Abstract syntax and formal semantics of the CIF. Technical report, Eindhoven University of Technology, October 2009.

[3] J. C. M. Baeten, T. Basten, and M. Reniers. Process Algebra: Equational Theories of Communicating Processes. Cambridge University Press, 2009.

[4] S. Balemi. Control of Discrete Event Systems: Theory And Application. PhD thesis, Swiss Federal Institute of Technology, Automatic Control Laboratory, ETH Zurich, May 1992.

[5] H. Beohar and P. J. L. Cuijpers. Desynchronisability of (partial) synchronous closed loop systems. CS Technical report 10-19, Eindhoven university of technology, 2010. Also, available at http://www.win.tue.nl/~pcuijper/pages/publications.html.

[6] H. Beohar, P. J. L. Cuijpers, and J. C. M. Baeten. Design of asynchronous supervisors. abs/0910.0868, 2009. http://arxiv.org/abs/ 0910.0868.

[7] H. Beohar and P.J.L. Cuijpers. A theory of desynchronisable closed loop systems. In Pre-proceedings of Interaction and Concurrency Experience (ICE’10), 2010.

[8] M. Fabian and A. Hellgren. PLC-based implementation of supervisory control for discrete event systems. Proceedings of the 37th IEEE Conference on Decision and Control, 1998, 3:3305-3310, 1998.

[9] C. Fischer and W. Janssen. Synchronous development of asynchronous systems. In Ugo Montanari and Vladimiro Sassone, editors, Proceedings of CONCUR’96, volume 1119 of Lecture Notes in Computer Science, pages 735-750. Springer-Verlag, 1996.

[10] He Jifeng, M. B. Josephs, and C. A. R. Hoare. A theory of synchrony and asynchrony. In M. Broy and C. B. Jones, editors, Programming Concepts and Methods, pages 459-479, 1990.

[11] C.A.R. Hoare. Communicating Sequential Processes. Prentice-Hall International Series in Computer Science, 1985.

[12] H. K. Kapoor and M. B. Josephs. Modelling and verification of delayinsensitive circuits using CCS and the concurrency workbench. volume 89, pages 293-296, 2004.

[13] M. Mousavi, P. Le Guernic, J.-P. Talpin, S. K. Shukla, and T. Basten. Modeling and validating globally asynchronous design in synchronous frameworks. In Proceedings of the Conference on Design Automation and Test in Europe, pages 384-389. IEEE Computer Society Press, 2003.

[14] G. D. Plotkin. A Structural Approach to Operational Semantics. Technical Report DAIMI FN-19, University of Aarhus, 1981.

[15] A. Tanenbaum. Computer Networks. Prentice Hall Professional Technical Reference, 4th edition, 2002.

[16] P. Thati and M. Viswanathan. Verification of asynchronous systems with unbounded and unordered message buffers. In International Workshop on Automated Verification of Infinite State Systems (AVIS), 2004.

[17] J.T. Udding. Classification and Composition of Delay-Insensitive Circuits. PhD thesis, Eindhoven University of Technology, Eindhoven, 1984.

[18] R. J. v. Glabbeek. Comparative concurrency semantics and refinement of actions. Ph.D. thesis, CWI, Amsterdam, 1990.

[19] G. Winskel and M. Nielsen. Models for concurrency. In Handbook of Logic in Computer Science, pages 1-148. Oxford University Press, 1995.

[20] W. M. Wonham. Supervisory control of discrete-event systems. Monograph ECE 1636F/1637S, University of Toronto, Dept. of Electrical & Computer Engineering, 2008.

[21] S. Xu and R. Kumar. Asynchronous implementation of synchronous discrete event control. pages 181 -186, May 2008.

Bibtex

@article{sacscuza:beohar2011do(scls,
  title={Desynchronizability of (Partial) Synchronous Closed Loop Systems},
  author={H. Beohar and P. Cuijpers},
  journal={Scientific Annals of Computer Science},
  volume={21},
  number={1},
  organization={``A.I. Cuza'' University, Iasi, Romania},
  year={2011},
  pages={5--38},
  publisher={``A.I. Cuza'' University Press}
}