DocumentCode
2409291
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.
fYear
2006
fDate
10-12 July 2006
Firstpage
113
Lastpage
118
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Discrete Event Systems, 2006 8th International Workshop on
Conference_Location
Ann Arbor, MI
Print_ISBN
1-4244-0053-8
Type
conf
DOI
10.1109/WODES.2006.1678417
Filename
1678417
Link To Document