Title :
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
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;
Conference_Titel :
Decision and Control, 1993., Proceedings of the 32nd IEEE Conference on
Conference_Location :
San Antonio, TX
Print_ISBN :
0-7803-1298-8
DOI :
10.1109/CDC.1993.325595
