1 Properties of continuous Petri nets controlled via model predictive control Cristian Mahulea (*), Alessandro Giua (**), Laura Recalde (*), Carla Seatzu (**), Manuel Silva (*) (*) Instituto de Investigaci´ on en Ingenier´ ıa de Arag´ on (I3A), Universidad de Zaragoza, Spain Email: cmahulea@unizar.es; lrecalde@unizar.es; silva@unizar.es (**) Dip. di Ingegneria Elettrica ed Elettronica, Universit` a di Cagliari, Italy Email: giua@diee.unica.it; seatzu@diee.unica.it Abstract In previous papers we investigated the problem of deriving an optimal control law for continuous Petri nets under infinite server semantics. In particular, the problem was studied through Model Predictive Control (MPC), an advanced control method, extensively used in industrial applications. In this work we discuss some properties of the resulting closed-loop system, such as feasibility and asymptotic stability. We prove that for continuous Petri nets feasibility is always guaranteed, while asymptotic stability is not ensured. Finally, we demonstrate that the introduction of an appropriate terminal constraint may guarantee asymptotic stability provided that certain assumptions on the initial state and the moving horizon are satisfied. Published as: A. Giua, C. Mahulea, L. Recalde, C. Seatzu, M. Silva, ”Properties of continuous Petri nets controlled via model predictive control,” 9th Int. Workshop on Discrete Event Systems (Gteborg, Sweden), pp. 293-299, May 2008. This work was partially supported by the projects CICYT - FEDER DPI2003-06376 and DPI2006-15390. DRAFT