Fei WANG, Fu-jiang JIN, Ji-liang LUO
College of Information Science and Engineering, Huaqiao University,Xiamen, Fujian, 361021, P. R. China
Abstract—In this paper, we presented the decentralized supervisory control problem of discrete event system with continuous-time variable. By presenting the definition of coobservability for the timed specification, a necessary and sufficient condition for the existence of decentralized supervisors is obtained. Finally, a numerical example is given.
Keywords— Discrete event systems; Decentralized supervi sors; Coobservability.
Manuscript Number: 1674-8042(2010)supp.-0057-05
dio: 10.3969/j.issn1674-8042.2010.supp..15
References
[1] P. J. Ramadge, W.M.Wonham, 1987, Supervisory control of a class of discrete event processes, SIAM Journal on Control and Optimization, 25:206-230
[2] W. M. Wonham, P. J. Ramadge, 1987, On the supremal controllable sublanguage of a given languages, SIAM Journal on Control and Optimization, 25:637-659
[3] F. Lin, W. M. Wonham, 1988, On observability of discrete-event systems, Information Sciences, 44: 173-198
[4] P. Koza(/)k, W. M. Wonham, 1995, Fully decentralized solutions of supervisory control Problems, IEEE T. Automat. Contr., 40(12):2094-2097
[5] F. Lin and W. M. Wonham, 1988, Decentralized supervisory control of discrete event systems, Information Sciences, 44:199-224
[6] R.Cieslak, C.Desclaux, A. S. Fawaz, P.Varaiya, 1988, Supervisory control of descrete-event processes with parial observations, IEEE T. Autom. Contr., 33:249-260
[7] K. Rudie, W. M. Wonham, 1992, Think globally,act locally: decentralized supervisory control, IEEE T. Autom. Contr., 37:1692-1708
[8] S. Takai, S. Kodama, T. Ushio, 1994, Decentralized state feedback control of discrete event systems, Systems & Control Letters, 22:369-375
[9] S. Takai, T. Ushio, S. Kodama, 1995, The infimal controllable and N-observable superpredicate of a given predicate, IEEE T Automat. Contr., 40(7):1249-1253
[10] T. S. Yoo, S. Lasfortune, 2002, A general architecture for decentralized supervisory control of discrete-event systems, Discrete Event Dynamic Systems: Theory and Applications, 12:335–377
[11] S. Takai, T. Ushio, 2000, Reliable decentralized supervisory control of discrete event systems, IEEE T. Systems, Man, and Cybernetics-Part B: Cybernetics, 30(5):661-667
[12] S. Takai, T. Ushio, 2000, Synthesis of reliable decentralized supervisors for discrete event systems, IEICE T. Fundamentals, E83-A(11):2212- 2218
[13] S. L. Ricker, K. Rudie, 1997, Know means no: incorporating knowledge into decentralized discrete-event control, Proc.1997 American Control Conf.
[full text view]