Abstract In this paper, the intelligent traffic management within a smart city environment is addressed by developing an ad-hoc model predictive control strategy based on event-driven formulation. To end, constrained hybrid system description considered for safety verification purposes and low-demanding receding horizon controller then derived exploiting set-theoretic arguments. Simulations are...

-Some results concerning the constrained receding horizon formulation with infinite and truncated prediction horizon are presented. In this formulation a distinction is made between prediction and control horizons. The main result is a generalization of a known fact for linear systems, namely that, under certain technical requirements, the asymptotic stability of the above formulation holds for...