Modular supervisory control of timed discrete-event systems

Author

Brandin, B.A. ; Wonham, W.M.

Author_Institution

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

fYear

1993

fDate

15-17 Dec 1993

Firstpage

2230

Abstract

The timed discrete-event system framework admits disablement and forcing as means of control, as well as the treatment of hard temporal behavioural constraints. The notion of modular supervisory control of discrete-event systems proposed by Wonham-Ramadge (1988) is extended to this framework. The approach consists of dividing the overall supervisory task into two or more subtasks, with the resulting individual subsupervisors being run concurrently to implement a solution of the original control problem, if necessary under the assumption of partial observation. The design of the corresponding subsupervisors deals with issues of conflict, blocking, optimality and correctness. The results presented can be used in the development of control software for interacting concurrent processes. Based on them, experimental work (hardware and software) has been carried out on the supervision of manufacturing systems

Keywords

formal languages; production control; state estimation; blocking; concurrent processes; manufacturing system supervision; modular supervisory control; optimality; partial observation; supremal controllable sublanguages; temporal behavioural constraints; timed discrete-event systems; Communication system control; Control system synthesis; Control systems; Discrete event systems; Educational institutions; Finishing; Fixtures; Hardware; Manufacturing systems; Supervisory control;

fLanguage

English

Publisher

ieee

Conference_Titel

Decision and Control, 1993., Proceedings of the 32nd IEEE Conference on

Conference_Location

San Antonio, TX

Print_ISBN

0-7803-1298-8

Type

conf

DOI

10.1109/CDC.1993.325595

Filename

325595