Theory of Regions for Control Synthesis without Computing Reachability Graph
AbstractThis paper addresses the design of Petri net (PN) supervisor using the theory of regions for forbidden state problem with a set of general mutual exclusion constraints. In fact, as any method of supervisory control based on reachability graph, the theory of regions suffers from a technical obstacle in control synthesis, which is the necessity of computing the graph at each iteration step. Moreover, based on the reachability graph, which may contain a large number of states, with respect to the structural size of the system, the computation of PN controllers becomes harder and even impossible. The main contribution of this paper, compared to previous works, is the development of a control synthesis method in order to decrease significantly the computation cost of the PN supervisor. Thus, based on PN properties and mathematical concepts, the proposed methodology provides an optimal PN supervisor for bounded Petri nets following the interpretation of the theory of regions. Finally, case studies are solved by CPLEX software to compare our new control policy with previous works which use the theory of regions for control synthesis. View Full-Text
Scifeed alert for new publicationsNever miss any articles matching your research from any publisher
- Get alerts for new papers matching your research
- Find out the new papers from selected authors
- Updated daily for 49'000+ journals and 6000+ publishers
- Define your Scifeed now
Rezig, S.; Achour, Z.; Rezg, N. Theory of Regions for Control Synthesis without Computing Reachability Graph. Appl. Sci. 2017, 7, 270.
Rezig S, Achour Z, Rezg N. Theory of Regions for Control Synthesis without Computing Reachability Graph. Applied Sciences. 2017; 7(3):270.Chicago/Turabian Style
Rezig, Sadok; Achour, Zied; Rezg, Nidhal. 2017. "Theory of Regions for Control Synthesis without Computing Reachability Graph." Appl. Sci. 7, no. 3: 270.
Note that from the first issue of 2016, MDPI journals use article numbers instead of page numbers. See further details here.