[1]
|
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
|
[2]
|
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
|
[3]
|
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)
|
[4]
|
Rudie K, Wonham W M. Think globally, act locally: decentralized supervisory control. IEEE Transactions on Automatic Control, 1992, 37(11): 1692-1708
|
[5]
|
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
|
[6]
|
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
|
[7]
|
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
|
[8]
|
Schmidt K, Breindl C. Maximally permissive hierarchical control of decentralized discrete event systems. IEEE Transactions on Automatic Control, 2011, 56(4): 723-737
|
[9]
|
Feng L, Wonham W M. Supervisory control architecture for discrete-event systems. IEEE Transactions on Automatic Control, 2008, 53(6): 1449-1461
|
[10]
|
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
|
[11]
|
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
|
[12]
|
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
|
[13]
|
Brandin B A, Wonham W M. Supervisory control of timed discrete-event systems. IEEE Transactions on Automatic Control, 1994, 39(2): 329-342
|
[14]
|
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)
|
[15]
|
Yang Wen. Supervisory control theory of fuzzy discrete event systems. Acta Automatica Sinica, 2008, 34(4): 460-465 (杨文. 模糊离散事件系统监督控制理论. 自动化学报, 2008, 34(4): 460-465)
|
[16]
|
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
|
[17]
|
Ma C, Wonham W M. Nonblocking supervisory control of state tree structures. IEEE Transactions on Automatic Control, 2006, 51(5): 782-793
|
[18]
|
Ma C, Wonham W M. Nonblocking Supervisory Control of State Tree Structures. Berlin: Springer-Verlag, 2005
|
[19]
|
Akers S B. Binary decision diagrams. IEEE Transactions on Computers, 1978, 27(6): 509-516
|
[20]
|
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
|
[21]
|
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
|
[22]
|
Lyngbak K. Nonblocking Distributed State-Tree-Structures [Master dissertation], Delft University of Technology, Netherlands, 2011
|
[23]
|
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
|