Title :
The non-blocking forbidden state problem for compact rectangular hybrid automata
Author :
Laurence, M.R. ; Spathopoulos, M.P.
Author_Institution :
Dept. of Mech. Eng., Univ. of Strathclyde, Glasgow, UK
fDate :
Aug. 31 1999-Sept. 3 1999
Abstract :
The problem of supervisory control for compact rectangular hybrid automata is considered. The supervisor can disable only discrete event transitions in order to solve a non-blocking forbidden state problem. The non-blocking problem is defined under both strong and weak conditions. For the latter maximally permissive solutions that are computable are derived.
Keywords :
automata theory; compact rectangular hybrid automata; discrete event transitions; nonblocking forbidden state problem; supervisory control; Automata; Control systems; Electronic mail; Europe; Finite element analysis; Labeling; Mechanical engineering; Hybrid systems; control; non-blocking supervisor; rectangular automata;
Conference_Titel :
Control Conference (ECC), 1999 European
Conference_Location :
Karlsruhe
Print_ISBN :
978-3-9524173-5-5
