Bisimilarity control of decentralized nondeterministic discrete-event systems

Proceedings of the 33rd Chinese Control Conference, CCC 2014

Volumn , Issue , 2014, Pages 3898-3903

  Liu, Fuchun ^a   Zhang, Qiansheng ^b   Chen, Xuesong ^a  

^a GUANGDONG UNIVERSITY OF TECHNOLOGY   (China)

^b GUANGDONG UNIVERSITY OF FOREIGN STUDIES   (China)

Author keywords

Bisimulation equivalence; decentralized supervisory control; Discrete event systems; Nondeterministic systems

Indexed keywords

DISCRETE TIME CONTROL SYSTEMS; SPECIFICATIONS;

BISIMILARITY; BISIMULATION EQUIVALENCES; CENTRALISED; DECENTRALISED; DECENTRALIZED SUPERVISORY CONTROL; DISCRETE EVENTS SYSTEMS; NONDETERMINISTIC DISCRETE EVENT SYSTEMS; NONDETERMINISTIC SYSTEMS; SUPERVISORY CONTROL THEORY; SYNCHRONOUS COMPOSITION;

DISCRETE EVENT SIMULATION;

EID: 84907930061     PISSN: 19341768     EISSN: 21612927     Source Type: Conference Proceeding    
DOI: 10.1109/ChiCC.2014.6895589     Document Type: Conference Paper

References (19)

1. D. Park, "Concurrency and automata on infinite sequences," Theoretical Computer Science, vol. 104, pp. 167-183, 1981
2. R. Milner, A Calculus of Communicating Systems. New York: Springer-Verlag, 1980
3. K. Larsen and A. Skou, "Bisimulation through probabilistic testing," Information and Computation, vol. 94, pp. 1-28, 1991
4. G. J. Pappas, "Bisimilar linear systems," Automatica, vol. 39, pp. 2035-2047, 2003
5. M. Ying, "Bisimulation indexes and their applications," Theoretical Computer Science, vol. 275, pp. 1-68, 2002
6. E. Haghverdi, P. Tabuada, and G. J. Pappas, "Bisimulation relations for dynamical, control, and hybrid systems," Theoretical Computer Science, vol. 342, pp. 229-261, 2005
7. G. Pola, A. Girard, and P. Tabuada, "Approximately bisimilar symbolic models for nonlinear control systems," Automatica, vol. 44, pp. 2508-2516, 2008
8. E. M. Clarke, O. Grumberg, and D. Peled, Model Checking. MIT Press, 1999
9. V. Danos, J. Desharnais, F. Laviolette, P. Panangaden, "Bisimulation and cocongruence for probabilistic systems," Information and Computation, vol. 204, pp. 503-523, 2006
10. G. Barrett and S. Lafortune, "Bisimulation, the supervisory control problem and strong model matching for finite state machines," Discrete Event Systems: Theory and Applications, vol. 8, pp. 377-429, Mar. 1998
11. P. Tabuada, "Controller synthesis for bisimulation equivalence," Systems & Control Letters, vol. 57, pp. 443-452, 2008
12. M. Nielsen and G. Winskel, "Petri nets and bisimulation," Theoretical Computer Science, vol. 153, pp. 211-244, 1996
13. F. Liu, H. Lin, and Z. Dziong, "Bisimilarity control of partially observed nondeterministic discrete event systems and a test algorithm," Automatica, vol. 47, no. 4, pp. 782-788, 2011
14. P. J. Ramadge and W. M. Wonham, "Supervisory control of a class of discrete-event processes," SIAM J. Contr. Optim., vol. 25, no. 1, pp. 206-230, 1987
15. C. Zhou, R. Kumar, and S. Jiang, "Control of nondeterministic discrete event systems for bisimulation equivalence," in Proc. Amer. Control Conf., Boston, MA, Jun. 2004, pp. 4488-4492
16. C. Zhou and R. Kumar, "A Small Model Theorem for Bisimilarity Control under Partial Observation," in Proc. Amer. Control Conf., June 8-10, 2005, Portland, OR, USA, pp. 3937-3942
17. Y. Sun, H. Lin, B. Chen, "Decentralized Bisimilarity Control of Discrete Event Systems," in Proc. 31st Chinese Control Conf., Hefei, China, July 25-27, 2012, pp. 2134-2139
18. F. Lin and W. M. Wonham, "Decentralized control and coordination of discrete-event systems with partial observation," IEEE Transactions on Automatic Control, vol. 35, no. 12, pp. 1330-1337, Dec. 1990
19. C. G. Cassandras and S. Lafortune, Introduction to Discrete Event Systems, Second Edition. Springer Science+Business Media, LLC, New York, USA, 2008