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 7 of 7 for “"Minimally restrictive"”.
-
Object-Oriented Implementation of the minimally restrictive liveness enforcing supervisory policy in a class of Petri nets
… Petri Nets (FCPNs) is decidable, and the minimally restrictive LESP is directly related to the presence 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 …
-
Disjunctive normal formula based supervisory control policy for general Petri nets
… Petri net (PN) is live. A LESP is said to be minimally restrictive if the following property is true { if a minimally restrictive LESP prevents the ring of a transition at a marking, then all other LESPs should do the same. We restrict our attention to a class of general Petri nets (PN) …
-
On the convexity of right-closed sets and its application to liveness enforcement in Petri Nets
… the same control for the marking, then it is a minimally restrictive LESP. It is possible to synthesize the minimally restrictive LESP for any instance N of the aforementioned family that uses the right-closed set of markings (N). The literature also contains an implementation paradigm called …
-
On computing a liveness enforcing supervisory policy for a class of general petri nets
… of a procedure for the synthesis of the minimally-restrictive LESP for any instance from these classes. The minimally-restrictive LESP prevents the occurrence of events in a DEDS system only when it is absolutely necessary. A suite of methods, based on refinement/abstraction concepts, is …
-
Algorithms for computing liveness enforcing supervisors for discrete event-driven systems modeled by petri nets
… proposed algorithm is necessary to identify the minimally restrictive LESP for a given PN. If an event is prevented by a minimally restrictive LESP, no other LESP would allow that event to occur. The second problem discussed in this thesis is a learning-based framework for LESP synthesis for …
-
Opacity Of Discrete Event Systems: Analysis And Control
… control. In other</p> <p>words, constructing a minimally restrictive supervisor to limit the system's behavior so</p> <p>an unauthorized user cannot discover or infer the secret information.</p> <p>We describe and analyze the complexity of opacity in systems that are modeled as</p> <p>a discrete …
-
Verification and Enforcement of State-Based Notions of Opacity in Discrete Event Systems
… Finally, we tackle the problem of constructing a minimally restrictive opacity-enforcing supervisor (MOES) which limits the system's behavior within some pre-specified legal behavior while enforcing opacity requirements. We characterize the solution to MOES, under some mild assumptions, in terms …