Colin Neil Jones, Milan Korda
This paper presents a method to verify closed-loop properties of optimization-based controllers for deterministic and stochastic constrained polynomial discrete-time dynamical systems. The closed-loop properties amenable to the proposed technique include g ...
Pergamon-Elsevier Science Ltd2017