Synthesis of communicating controllers for distributed systems

Proceedings of the IEEE Conference on Decision and Control

Volumn , Issue , 2011, Pages 1803-1810

  Kalyon, G ^a   Le Gall, T ^b   Marchand, H ^c   Massart, T ^a  

^a UNIVERSITÉ LIBRE DE BRUXELLES   (Belgium)

^b CEA LIST   (France)

^c INRIA   (France)

Author keywords

[No Author keywords available]

Indexed keywords

DISTRIBUTED COMPUTER SYSTEMS; DISTRIBUTED DATABASE SYSTEMS; QUEUEING THEORY;

ABSTRACT INTERPRETATION TECHNIQUES; COMMUNICATING FINITE STATE MACHINES; CONTROL POLICY; DISTRIBUTED SYSTEMS; EMPIRICAL EVALUATIONS; LOCAL CONTROLLERS; LOCAL SUBSYSTEM; SYNTHESIS ALGORITHMS;

CONTROLLERS;

EID: 84860657803     PISSN: 07431546     EISSN: 25762370     Source Type: Conference Proceeding    
DOI: 10.1109/CDC.2011.6160584     Document Type: Conference Paper

References (26)

1. G. Barrett and S. Lafortune. Decentralized supervisory control with communicating controllers. IEEE Trans. on Automatic Control, 45(9):1620-1638, 2000.
2. S. Bensalem, M. Bozga, S. Graf, D. Peled, and S. Quinton. Methods for knowledge based controlling of distributed systems. In ATVA'10, volume 6252 of LNCS, pages 52-66. Springer, 2010.
3. G. Berry and G. Gonthier. The esterel synchronous programming language: Design, semantics, implementation. Sci. Comput. Program., 19(2):87-152, 1992.
4. B. Boigelot, P. Godefroid, B. Willems, and P. Wolper. The power of qdds. In SAS '97, pages 172-186, 1997.
5. D. Brand and P. Zafiropulo. On communicating finite-state machines. J. ACM, 30(2):323-342, 1983.
6. P. Cousot and R. Cousot. Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In POPL'77, pages 238-252, 1977.
7. P. Darondeau. Distributed implementations of Ramadge-Wonham supervisory control with petri nets. In 44th IEEE CDC, pages 2107- 2112, 2005.
8. P. Gastin, N. Sznajder, and M. Zeitoun. Distributed synthesis for well-connected architectures. Formal Methods in System Design, 34(3):215-237, 2009.
9. B. Gaudin and H. marchand. An efficient modular method for the control of concurrent discrete event systems: A language-based approach. Discrete Event Dynamic System, 17(2):179-209, 2007.
10. B. Genest. On implementation of global concurrent systems with local asynchronous controllers. In CONCUR, volume 3653 of LNCS, pages 443-457, 2005.
11. S. Jiang and R. Kumar. Decentralized control of discrete event systems with specializations to local control and concurrent systems. IEEE Trans. on Systems, Man, and Cybernetics, 30(5):653-660, 2000.
12. G. Kalyon, T. Le Gall, H. Marchand, and T. Massart. Global state estimates for distributed systems. In 31th IFIP International Conference on FORmal TEchniques for Networked and Distributed Systems, FORTE, volume 6722 of LNCS, pages 198-212, June 2011.
13. J. Komenda and J.H. van Schuppen. Supremal sublanguages of general specification languages arising in modular control of discrete-event systems. In 44th IEEE CDC, pages 2775-2780, 2005.
14. T. Le Gall, B. Jeannet, and T. Jéron. Verification of communication protocols using abstract interpretation of fifo queues. In AMAST '06, volume 4019 of LNCS, pages 204-219, 2006.
15. S.-H. Lee and Wong K.C. Structural decentralized control of concurrent discrete-event systems. Europ. Journal of Control, 8(5), 2002.
16. F. Lin, K. Rudie, and S. Lafortune. Minimal communication for essential transitions in a distributed discrete-event system. IEEE Trans. on Automatic Control, 52(8):1495-1502, June 2007.
17. T. Massart. A calculus to define correct tranformations of lotos specifications. In FORTE, volume C-2 of IFIP Transactions, pages 281-296, 1991.
18. F. Mattern. Virtual time and global states of distributed systems. In Proceedings of the Workshop on Parallel and Distributed Algorithms, pages 215-226, North-Holland/Elsevier, 1989.
19. McScM, a Model Checker for Symbolic Communicating Machines - version 0.02control. http://altarica.labri.fr/forge/projects/mcscm/wiki/.
20. P.J. Ramadge and W.M. Wonham. The control of discrete event systems. Proceedings of the IEEE; Special issue on Dynamics of Discrete Event Systems, 77(1):81-98, 1989.
21. K. Ricker, L. Rudie. Know means no: Incorporating knowledge into discrete-event control systems. IEEE Trans. on Automatic Control, 45(9):1656-1668, September 2000.
22. K. Rudie and W.M. Wonham. Think globally, act locally: decentralized supervisory control. IEEE Transaction on Automatic Control, 31(11):1692-1708, November 1992.
23. A. Tarski. A lattice-theoretical fixpoint theorem and its applications. Pacific Journal of Mathematics, 5:285-309, 1955.
24. S. Tripakis. Decentralized control of discrete event systems with bounded or unbounded delay communication. IEEE Trans. on Automatic Control, 49(9):1489-1501, 2004.
25. S. Xu and R. Kumar. Distributed state estimation in discrete event systems. In ACC'09: Proceedings of the 2009 conference on American Control Conference, pages 4735-4740. IEEE Press, 2009.
26. T. Yoo and S. Lafortune. A general architecture for decentralized supervisory control of discrete-event systems. Discrete Event Dynamic Systems, 12(3):335-377, 2002.