Dynamical local properties for estimation and control of discrete event systems modeled by interpreted Petri nets

摘要

This paper studies the properties of observability, controllability and identification in discrete event systems (DESs) modeled with interpreted Petri nets (IPNs). It is important to note that these properties are defined using the states of the IPN and use structural information to characterize IPNs that exhibit these properties. This is an improvement on previous works because these definitions allow one to study more powerful control schemas.