On the Reachability and Nonblocking Properties for Parameterized Discrete Event Systems
Hans Bherer, Josée Desharnais, Richard St‐Denis · 2006
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