Title :
On the reachability and nonblocking properties for parameterized discrete event systems
Author :
Bherer, Hans ; Desharnais, Jules ; St-Denis, Richard
Author_Institution :
Departement d´´Informatique et de Genie Logiciel, Laval Univ., Que.
Abstract :
This paper presents procedures to determine if the reachability and nonblocking properties are violated for parameterized discrete event systems, consisting of n similar processes under total observation, in the state-based formulation of the supervisory control theory. Checking these properties is intrinsically a global problem, and the introduction of a parameter presents a new challenge
Keywords :
discrete event systems; reachability analysis; nonblocking property; parameterized discrete event systems; reachability; supervisory control theory; Control systems; Councils; Discrete event systems; State feedback; State-space methods; Supervisory control;
Conference_Titel :
Discrete Event Systems, 2006 8th International Workshop on
Conference_Location :
Ann Arbor, MI
Print_ISBN :
1-4244-0053-8
DOI :
10.1109/WODES.2006.1678417
