Modular supervisory control with equivalence-based conflict resolution

被引：14

作者：

Hill, R. C. ^{[1
]}

Tilbury, D. M. ^{[1
]}

Lafortune, S. ^{[1
]}

机构：

[1] Univ Michigan, Ann Arbor, MI 48109 USA

来源：

2008 AMERICAN CONTROL CONFERENCE, VOLS 1-12 | 2008年

关键词：

D O I：

10.1109/ACC.2008.4586539

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

This paper proposes a set of requirements on coordinating filters that will resolve conflict among modular supervisors. Our specific approach is unique in that it employs a conflict-equivalent abstraction, which offers the potential for greater reduction than those abstractions employed in existing works on conflict resolution. The resulting control implemented by the modular supervisors in conjunction with coordinating filters meeting the proposed requirements is shown to be safe and nonblocking. Approaches for constructing these filters are discussed and it is proposed that a static state-feedback approach to control be employed that implements deterministic coordinating filter control laws by nondeterministic automata.

引用

页码：491 / 498

页数：8