Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 2 of 2 for “"Control invariance"”.
-
Object-Oriented Implementation of the minimally restrictive liveness enforcing supervisory policy in a class of Petri nets
… of a right-closed set of states that are control invariant with respect to the system. A minimally restrictive LESP prevents the occurrence of events in a DEDS system only when it is absolutely necessary. This study describes an object-oriented implementation of the minimally restrictive …
-
Algorithms for computing liveness enforcing supervisors for discrete event-driven systems modeled by petri nets
… the system. The behavior of DEDS systems can be controlled by means of a supervisory policy, which prevents the occurrence of events at a given state of the supervised system, when deemed appropriate. A supervisory policy is said to enforce a safety property, if it ensures that nothing ""bad"" …