Event-Driven Control for Reaching a Steady State in Controlled Generalized Batches Petri Nets

Ruotian Liu (1) , Rabah Ammour (1) , Leonardo Brenner (1) , Isabel Demongodin (1)

1 MOFED - Modèles et Formalismes à Evénements Discrets

This paper addresses the control problem of controlled generalized batches Petri nets. The considered problem is to reach a given steady state from an initial one by controlling the firing flow of transitions. The proposed strategy is event-driven and the control actions are updated only when specific events occur. It is based on an algorithm with a linear programming problem that computes a new control firing flow vector when the considered events occur. The convergence of the marking to its steady state marking by the proposed strategy is proved and an example is provided to illustrate the computation steps.

Mots clés: Discrete event systems; Petri nets; Event-driven control; Hybrid systems

Domaines: Automatique; Informatique [cs]

Ruotian Liu, Rabah Ammour, Leonardo Brenner, Isabel Demongodin. Event-Driven Control for Reaching a Steady State in Controlled Generalized Batches Petri Nets. 15th IFAC Workshop on Discrete Event Systems, WODES 2020, Nov 2020, Rio de Janeiro, Brazil. ⟨10.1016/j.ifacol.2021.04.063⟩. ⟨hal-03171923⟩