Skip to Main content Skip to Navigation
New interface
Journal articles

Theory of Regions for Control Synthesis without Computing Reachability Graph

Abstract : This 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.
Document type :
Journal articles
Complete list of metadata

Cited literature [31 references]  Display  Hide  Download
Contributor : Sadok Rezig Connect in order to contact the contributor
Submitted on : Thursday, October 15, 2020 - 12:25:12 PM
Last modification on : Friday, October 16, 2020 - 3:06:17 AM


Publisher files allowed on an open archive




Sadok Rezig, Zied Achour, Nidhal Rezg. Theory of Regions for Control Synthesis without Computing Reachability Graph. Applied Sciences, 2017, 7 (3), pp.270. ⟨10.3390/app7030270⟩. ⟨hal-02968010⟩



Record views


Files downloads