Timed Continuous Petri Nets: Set Invariance in Feedback Design for Componentwise Boundedness and Weak Conservativity

Abstract

This paper depicts a method for ensuring refined boundedness properties, namely componentwise boundedness and weak conservativity, for timed continuous Petri nets operating with infinite server semantics. The theoretical foundation, based on set-invariance, is followed by the presentation of the numerical implementation as a linear programming problem. A case study illustrates the applicability of our approach.