Hierarchical interface-based supervisory control: serial case

Author

Leduc, R.J. ; Brandin, B.A. ; Wonham, W.M. ; Lawford, M.

Author_Institution

Dept. of Electr. & Comput. Eng., Toronto Univ., Ont., Canada

Volume

5

fYear

2001

fDate

2001

Firstpage

4116

Abstract

We present a hierarchical method that decomposes a system into two subsystems, and restricts the interaction of the subsystems by means of an interface. We present a definition for an interface, and define a set of interface consistency properties that can be used to verify if a discrete-event system is nonblocking and controllable. Each clause of the definition can be verified using only one of the two subsystems; thus the complete system model never needs to be constructed, offering significant savings in computational effort. Additionally, the development of clean interfaces facilitates re-use of the component subsystems

Keywords

control system synthesis; controllability; discrete event systems; hierarchical systems; control system synthesis; controllability; controllable system; discrete-event system; hierarchical interface-based supervisory control; hierarchical method; interface consistency properties; nonblocking system; Computer aided software engineering; Computer interfaces; Control systems; Discrete event systems; Distributed control; Explosions; Interconnected systems; Large-scale systems; State-space methods; Supervisory control;

fLanguage

English

Publisher

ieee

Conference_Titel

Decision and Control, 2001. Proceedings of the 40th IEEE Conference on

Conference_Location

Orlando, FL

Print_ISBN

0-7803-7061-9

Type

conf

DOI

10.1109/.2001.980825

Filename

980825