Abstract
In this thesis, we propose two control synthesis methods for discrete event systems (DES) modeled by Petri nets (PN) and having some uncontrollable transitions. The first approach allows to design a PN model of the controlled system by adding a set of control places to an original PN. The controlled model has to achieve a desired behavior corresponding to the so-called forbidden state transition problem (FSTP). The controller designed by this approach is maximally permissive. Further desired behaviors that can't be realized by PN based controller are well characterized. The second control synthesis approach we propose in this thesis addresses the particular case of forbidden state problem of marked graphs. The control decision can be taken on-line by evaluating simple predicates at each current marking.
Sign-in/Register to access full text options 
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
