Modular supervisory control of discrete-event systems based on state tree structures

被引：0

作者：

Gan, Yong-Mei ^{[1
]}

Chao, Wu-Jie ^{[1
]}

Wang, Zhao-An ^{[1
]}

机构：

[1] School of Electrical Engineering, Xi'an Jiaotong University

来源：

Zidonghua Xuebao/Acta Automatica Sinica | 2013年 / 39卷 / 07期

关键词：

Coordinator; Discrete-event systems; Modular supervisory control; Predicate; State tree structures (STS);

D O I：

10.3724/SP.J.1004.2013.01018

中图分类号：

学科分类号：

摘要：

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. Copyright © 2013 Acta Automatica Sinica. All rights reserved.

引用

页码：1018 / 1026

页数：8

共 24 条

[1]

Wonham W.M., Ramadge P.J., On the supremal controllable sublanguage of a given language, SIAM Journal on Control and Optimization, 25, 3, pp. 637-659, (1987)

[2]

Ramadge P.J., Wonham W.M., Supervisory control of a class of discrete event processes, SIAM Journal on Control and Optimization, 25, 1, pp. 206-230, (1987)

[3]

Wonham W.M., Supervisory control of discrete-event systems, (2012)

[4]

Yan W.-J., Sun Y.-X., Supervisory control of DEDS on discrete events, Control Theory and Applications, 12, 1, pp. 1-10, (1995)

[5]

Rudie K., Wonham W.M., Think globally, act locally: Decentralized supervisory control, IEEE Transactions on Automatic Control, 37, 11, pp. 1692-1708, (1992)

[6]

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, 7, 3, pp. 512-522, (2010)

[7]

Jayasiri A., Mann G.K.I., Gosine R.G., Decentralized modular control of concurrent fuzzy discrete event systems, Proceedings of the 2010 American Control Conference, pp. 3359-3364, (2010)

[8]

Zhong H., Wonham W.M., On the consistency of hierarchical supervision in discrete-event systems, IEEE Transactions on Automatic Control, 35, 10, pp. 1125-1134, (1990)

[9]

Schmidt K., Breindl C., Maximally permissive hierarchical control of decentralized discrete event systems, IEEE Transactions on Automatic Control, 56, 4, pp. 723-737, (2011)

[10]

Feng L., Wonham W.M., Supervisory control architecture for discrete-event systems, IEEE Transactions on Automatic Control, 53, 6, pp. 1449-1461, (2008)

← 1 2 3 →