基于状态树结构的离散事件系统模块化监督控制

甘永梅; 晁武杰; 王兆安

doi:10.3724/SP.J.1004.2013.01018

基于状态树结构的离散事件系统模块化监督控制

doi: 10.3724/SP.J.1004.2013.01018

1.
西安交通大学电气工程学院西安 710049

基金项目:

国家教育部公派留学基金([2010]3006)资助

详细信息

通讯作者:
甘永梅

计量
- 文章访问数: 1450
- HTML全文浏览量: 56
- PDF下载量: 1068
- 被引次数: 0
出版历程
- 收稿日期: 2011-12-31
- 修回日期: 2012-10-31
- 刊出日期: 2013-07-20

Modular Supervisory Control of Discrete-event Systems Based on State Tree Structures

1.
School of Electrical Engineering, Xi'an Jiaotong University, Xi'an 710049

Funds:

Supported by National Scholarship Council of China ([2010]3006)

摘要

摘要: 在状态树结构(State tree structures, STS)的基础上提出了离散事件系统的模块化监督控制方法. 该方法中, 系统模型是状态树结构模型, 控制指标以谓词形式给出. 把控制指标分解为几个子控制指标的合取形式, 对每个子控制指标分别设计非阻塞最优监督控制器, 并保证闭环系统行为满足控制指标要求且是非阻塞最优的. 本文研究了模块化监督控制器存在性条件, 给出了模块化监督控制器的综合过程; 当闭环系统阻塞时, 引入协调器来解决闭环系统阻塞问题并且给出了协调器的设计方法.
- 离散事件系统 /
- 状态树结构模型 /
- 模块化监督控制 /
- 协调器 /
- 谓词
Abstract: Modular supervisory control of discrete-event systems based on state tree structures (STS) is studied. The plant is modeled as a state tree structure and the specification is given as a predicate. Assuming this specification can be decomposed into the conjunction of subspecifications, we synthesize optimal nonblocking sub-supervisor for each subspecification. The behavior of the plant under the control of these sub-supervisors meets the requirements of the specification and is nonblocking and optimal. We determine conditions under which it is possible to synthesize the optimal control in a modular fashion. When the closed-loop system is blocking, we introduce a coordinator to solve it and give the method of synthesizing the coordinator.
- Discrete-event systems /
- state tree structures (STS) /
- modular supervisory control /
- coordinator /
- predicate

HTML全文

参考文献(23)

[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