On the enforcement of a class of nonlinear constraints on Petri nets - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Automatica Année : 2015

On the enforcement of a class of nonlinear constraints on Petri nets

Résumé

This paper focuses on the enforcement of nonlinear constraints in Petri nets. First, a supervisory structure is proposed for a nonlinear constraint. The proposed structure consists of added places and transitions. It controls the transitions in the net to be controlled only but does not change its states since there is no arc between the added transitions and the places in the original net. Second, an integer linear programming model is proposed to transform a nonlinear constraint to a minimal number of conjunc-tive linear constraints that have the same control performance as the nonlinear one. By using a place invariant based method, the obtained linear constraints can be easily enforced by a set of control places. The control places consist to a supervisor that can enforce the given nonlinear constraint. On condition that the admissible markings space of a nonlinear constraint is non-convex, another integer linear programming model is developed to obtain a minimal number of constraints whose disjunctions are equivalent to the nonlinear constraint. Finally, a number of examples are provided to demonstrate the proposed approach.
Fichier principal
Vignette du fichier
15aut_b_draft.pdf (284.95 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02479661 , version 1 (15-04-2020)

Identifiants

Citer

Yufeng Chen, Zhiwu Li, Kamel Barkaoui, Alessandro Giua. On the enforcement of a class of nonlinear constraints on Petri nets. Automatica, 2015, 55, pp.116-124. ⟨10.1016/j.automatica.2015.02.014⟩. ⟨hal-02479661⟩
61 Consultations
139 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More