Automatica, Vol.44, No.4, 971-981, 2008
Stabilization of max-plus-linear systems using model predictive control: The unconstrained case
Max-plus-linear (MPL) systems are a class of event-driven nonlinear dynamic systems that can be described by models that are "linear" in the max-plus algebra. In this paper we derive a solution to a finite-horizon model predictive control (MPC) problem for MPL systems where the cost is designed to provide a trade-off between minimizing the due date error and a just-in-time production. In general, MPC can deal with complex input and states constraints. However, in this paper we assume that these are not present and it is only required that the input should be a nondecreasing sequence, i.e. we consider the "unconstrained" case. Despite the fact that the controlled system is nonlinear, by employing recent results in max-plus theory we are able to provide sufficient conditions such that the MPC controller is determined analytically and moreover the stability in terms of Lyapunov and in terms of boundedness of the closed-loop system is guaranteed a priori. (c) 2007 Elsevier Ltd. All rights reserved.
Keywords:discrete-event systems;max-plus-linear systems;model predictive control;Lyapunov stability;bounded buffer stability