Theory of Regions for Control Synthesis without Computing Reachability Graph - Université de Lorraine Accéder directement au contenu
Article Dans Une Revue Applied Sciences Année : 2017

Theory of Regions for Control Synthesis without Computing Reachability Graph

Résumé

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.
Fichier principal
Vignette du fichier
Theory-of-RegionsforControl-Synthesis-without-Computing-Reachability-Graph.pdf (2.84 Mo) Télécharger le fichier
Origine : Fichiers éditeurs autorisés sur une archive ouverte
Loading...

Dates et versions

hal-02968010 , version 1 (15-10-2020)

Identifiants

Citer

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⟩
21 Consultations
39 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More