Methodology and computational tool for testing nonconflict on modular control of discrete event systems

被引：0

作者：

Pena P.N. ^{[1
]}

Cury J.E.R. ^{[2
]}

Cunha A.E.C. ^{[3
]}

Lafortune S. ^{[4
]}

机构：

[1] DELT-Universidade Federal de Minas Gerais, Belo Horizonte, MG

[2] DAS-CTC-Universidade Federal de Santa Catarina, Florianópolis, SC

[3] SE/3-Instituto Militar de Engenharia, Rio de Janeiro, RJ

[4] Department of EECS-The University of Michigan, Ann Arbor, MI

来源：

Controle y Automacao | 2010年 / 21卷 / 01期

关键词：

Discrete event systems; Modular control; Observer property; Supervisory control;

D O I：

10.1590/s0103-17592010000100005

中图分类号：

学科分类号：

摘要：

This paper presents contributions on the use of abstractions in modular control of discrete event systems. First, the W oT-strategy is presented for the construction of abstractions for the nonconflict test of local modular supervisors. Second, an efficient computational tool is introduced for the problem of verifying if given abstractions of modular supervisors satisfy the so-called observer property (OP); the observer property plays an important role in the validity of the nonconflict test over abstractions. Finally, this new computational tool is used to validate the W oT strategy in the context of a case study of a comprehensive manufacturing example.

引用

页码：58 / 68

页数：10

共 32 条

[1]

Cormen T.H., Leiserson C.E., Rivest R.L., Introduction to Algorithms, (1990)

[2]

Cunha A., Cury J., Hierarchical supervisory control based on discrete event systems with flexible marking, IEEE Transactions on Automatic Control, 52, 12, pp. 2242-2253, (2007)

[3]

Cury J., Grail para Controle Supervisório, (2009)

[4]

De Queiroz M., Cury J., Modular supervisory control of large scale discrete event systems, Proceedings of the 5th Workshop on Discrete Event Systems, WODES'00, 1, pp. 103-110, (2000)

[5]

De Queiroz M., Cury J., Controle Supervisó-rio Modular de Sistemas de Manufatura, Revista Controle & Automação, 13, 2, pp. 115-125, (2002)

[6]

De Queiroz M., Cury J., Wonham W., Multitasking supervisory control of discrete-event systems, Discrete Event Dynamic Systems: Theory and Applications, 15, pp. 375-395, (2005)

[7]

Feng L., On the computation of natural observers in discrete-event systems, Technical report, Systems Control Group Report, (2006)

[8]

Feng L., Wonham W., Computationally efficient supervisor design: Abstraction and modularity, Proceedings of the 8th International Workshop on Discrete Event Systems, WODES'06, pp. 3-8, (2006)

[9]

Garcia T., Controle Supervisório de Sistemas a Eventos Discretos: Uma Abordagem por Mo-delo Condição/Evento, (2002)

[10]

Hill R., Cury J., De Queiroz M., Tilbury D., Modular Requirements for Hierarchical Interface-Based Supervisory Control with Multiple Levels, Proceedings of the 2008 American Control Conference, ACC'08, pp. 483-490, (2008)

← 1 2 3 4 →