A new framework for supervisory control

Author

Shayman, Mark A. ; Kumar, Ratnesh

Author_Institution

Dept. of Electr. Eng., Maryland Univ., College Park, MD, USA

Volume

5

fYear

1995

fDate

21-23 Jun 1995

Firstpage

3141

Abstract

Proposes a new framework for supervisory control design for discrete event systems. Both plants and supervisors are represented by process objects which encapsulate control and observation interfaces with the process dynamics. The process dynamics are modeled by nondeterministic state machines (NSMs), while the interfaces are modeled by equivalence relations (arbitrary masks) on the set of event labels (including ε). Process objects are interconnected by a single operator called masked composition. This framework permits combined open-loop/closed-loop control as well as nondeterministic plants and nondeterministic supervision. By encapsulating control and observation masks with process dynamics and using the operator of masked composition to build complex objects out of simpler ones, it provides a foundation for an object-oriented approach to discrete event control

Keywords

automata theory; closed loop systems; discrete event systems; formal languages; object-oriented methods; combined open-loop/closed-loop control; control interfaces; discrete event systems; equivalence relations; event labels; masked composition; nondeterministic plants; nondeterministic state machines; nondeterministic supervision; object-oriented approach; observation interfaces; process dynamics; supervisory control; Control design; Control system synthesis; Discrete event systems; Educational institutions; Manufacturing; Object oriented modeling; Open loop systems; Robots; Sufficient conditions; Supervisory control;

fLanguage

English

Publisher

ieee

Conference_Titel

American Control Conference, Proceedings of the 1995

Conference_Location

Seattle, WA

Print_ISBN

0-7803-2445-5

Type

conf

DOI

10.1109/ACC.1995.532095

Filename

532095