Yan Wen-Jun, Sun You-Xian. Supervisory control of DEDS on discrete events. Control Theory and Applications, 1995, 12(1): 1-10 (颜文俊, 孙优贤. 基于事件反馈的DES监控理论. 控制理论与应用, 1995, 12(1): 1-10)
[2]
Rudie K, Wonham W M. Think globally, act locally: decentralized supervisory control. IEEE Transactions on Automatic Control, 1992, 37(11): 1692-1708
[3]
Jiang S B, Kumar R, Takai S, Qiu W B. Decentralized control of discrete-event systems with multiple local specifications. IEEE Transactions on Automation Science and Engineering, 2010, 7(3): 512-522
[4]
Jayasiri A, Mann G K I, Gosine R G. Decentralized modular control of concurrent fuzzy discrete event systems. In: Proceedings of the 2010 American Control Conference. Baltimore, MD, USA: IEEE, 2010. 3359-3364
[5]
Schmidt K, Breindl C. Maximally permissive hierarchical control of decentralized discrete event systems. IEEE Transactions on Automatic Control, 2011, 56(4): 723-737
[6]
Su R, van Schuppen J H, Rooda J E. Model abstraction of nondeterministic finite-state automata in supervisor synthesis. IEEE Transactions on Automatic Control, 2010, 55(11): 2527-2541
[7]
Brandin B A, Wonham W M. Supervisory control of timed discrete-event systems. IEEE Transactions on Automatic Control, 1994, 39(2): 329-342
[8]
Ma C, Wonham W M. Nonblocking supervisory control of state tree structures. IEEE Transactions on Automatic Control, 2006, 51(5): 782-793
[9]
Ma C, Wonham W M. Nonblocking Supervisory Control of State Tree Structures. Berlin: Springer-Verlag, 2005
[10]
Burch J R, Clarke E M, Mcmillan K L, Dill D L, Hwang L J. Symbolic model checking: 1020 states and beyond. Information and Computation, 1992, 98(2): 142-170
[11]
Lyngbak K. Nonblocking Distributed State-Tree-Structures [Master dissertation], Delft University of Technology, Netherlands, 2011
[12]
Wonham W M, Ramadge P J. On the supremal controllable sublanguage of a given language. SIAM Journal on Control and Optimization, 1987, 25(3): 637-659
[13]
Ramadge P J, Wonham W M. Supervisory control of a class of discrete event processes. SIAM Journal on Control and Optimization, 1987, 25(1): 206-230
[14]
Wonham W M. Supervisory control of discrete-event systems [Online], available: http://www.control.utoronto.ca/ ～wonham/, April 9, 2012
[15]
Zhong H, Wonham W M. On the consistency of hierarchical supervision in discrete-event systems. IEEE Transactions on Automatic Control, 1990, 35(10): 1125-1134
[16]
Feng L, Wonham W M. Supervisory control architecture for discrete-event systems. IEEE Transactions on Automatic Control, 2008, 53(6): 1449-1461
[17]
Cai K, Wonham W M. Supervisor localization: a top-down approach to distributed control of discrete-event systems. IEEE Transactions on Automatic Control, 2010, 55(3): 605-618
[18]
Su R, van Schuppen J H, Rooda J E. Aggregative synthesis of distributed supervisors based on automaton abstraction. IEEE Transactions on Automatic Control, 2010, 55(7): 1627-1640
[19]
Wang Bei, Wu Zhi-Ming. An approach for designing real time DES controller. Acta Automatica Sinica, 1999, 25(6): 791-795 (王蓓, 吴智铭. 一种离散事件系统实时控制器的设计. 自动化学报, 1999, 25(6): 791-795)
[20]
Yang Wen. Supervisory control theory of fuzzy discrete event systems. Acta Automatica Sinica, 2008, 34(4): 460-465 (杨文. 模糊离散事件系统监督控制理论. 自动化学报, 2008, 34(4): 460-465)
[21]
Jayasiri A, Mann G K I, Gosine R G. Modular supervisory control and hierarchical supervisory control of fuzzy discrete-event systems. IEEE Transactions on Automation Science and Engineering, 2012, 9(2): 353-364
[22]
Akers S B. Binary decision diagrams. IEEE Transactions on Computers, 1978, 27(6): 509-516
[23]
Saadatpoor A, Ma C, Wonham W M. Supervisory control of timed state tree structures. In: Proceedings of the 2008 American Control Conference. Seattle, Washington D.C., USA: IEEE, 2008. 477-482
[24]
Ma C, Wonham W M. STSLib and its application to two benchmarks. In: Proceedings of the 9th International Workshop on Discrete Event Systems. Goteborg, Sweden: IEEE, 2008. 119-124
