Automatic Software and Computing Hardware Codesign for Predictive Control

Model predictive control (MPC) is a computationally demanding control technique that allows dealing with multiple-input and multiple-output systems while handling constraints in a systematic way. The necessity of solving an optimization problem at every sampling instant often 1) limits the application scope to slow dynamical systems and/or 2) results in expensive computational hardware implementations. Traditional MPC design is based on the manual tuning of software and computational hardware design parameters, which leads to suboptimal implementations. This brief proposes a framework for automating the MPC software and computational hardware codesign while achieving an optimal tradeoff between computational resource usage and controller performance. The proposed approach is based on using a biobjective optimization algorithm, namely BiMADS. Two test studies are considered: a central processing unit and field-programmable gate array implementations of fast gradient-based MPC. Numerical experiments show that the optimization-based design outperforms Latin hypercube sampling, a statistical sampling-based design exploration technique.

[1]  Ken Butts,et al.  Simulation-Based Approaches for Verification of Embedded Control Systems: An Overview of Traditional and Advanced Modeling, Testing, and Verification Techniques , 2016, IEEE Control Systems.

[2]  D. Q. Mayne,et al.  Suboptimal model predictive control (feasibility implies stability) , 1999, IEEE Trans. Autom. Control..

[3]  Manfred Morari,et al.  Embedded Online Optimization for Model Predictive Control at Megahertz Rates , 2013, IEEE Transactions on Automatic Control.

[4]  Sébastien Le Digabel,et al.  Algorithm xxx : NOMAD : Nonlinear Optimization with the MADS algorithm , 2010 .

[5]  John E. Dennis,et al.  Normal-Boundary Intersection: A New Method for Generating the Pareto Surface in Nonlinear Multicriteria Optimization Problems , 1998, SIAM J. Optim..

[6]  J. V. Salcedo,et al.  A new perspective on multiobjective optimization by enhanced normalized normal constraint method , 2008 .

[7]  Eric C. Kerrigan,et al.  A condensed and sparse QP formulation for predictive control , 2011, IEEE Conference on Decision and Control and European Control Conference.

[8]  John L. Nazareth,et al.  Introduction to derivative-free optimization , 2010, Math. Comput..

[9]  Chris Manzie,et al.  Continuity and monotonicity of the MPC value function with respect to sampling time and prediction horizon , 2016, Autom..

[10]  Eric C. Kerrigan,et al.  Nonlinear Predictive Control on a Heterogeneous Computing Platform , 2017, ArXiv.

[11]  Eric C. Kerrigan Co-design of hardware and algorithms for real-time optimization , 2014, 2014 European Control Conference (ECC).

[12]  Darci Odloak,et al.  Tuning the Model Predictive Control of a Crude Distillation Unit. , 2016, ISA transactions.

[13]  Darci Odloak,et al.  TUNING OF MODEL PREDICTIVE CONTROL WITH MULTI-OBJECTIVE OPTIMIZATION , 2016 .

[14]  Nando de Freitas,et al.  Taking the Human Out of the Loop: A Review of Bayesian Optimization , 2016, Proceedings of the IEEE.

[15]  Filip Logist,et al.  A study of integrated experiment design for NMPC applied to the Droop model , 2017 .

[16]  Jack P. C. Kleijnen,et al.  Design and Analysis of Monte Carlo Experiments , 2004 .

[17]  Federico Lozano Santamaría,et al.  An Algorithm for Tuning NMPC Controllers with Application to Chemical Processes , 2016 .

[18]  Eve Bélisle,et al.  Use of a biobjective direct search algorithm in the process design of material science applications , 2014 .

[19]  Filip Logist,et al.  Tuning of NMPC controllers via multi-objective optimisation , 2014, Comput. Chem. Eng..

[20]  A. Messac,et al.  The normalized normal constraint method for generating the Pareto frontier , 2003 .

[21]  Eric C. Kerrigan,et al.  Sampling and Controlling Faster than the Computational Delay , 2012 .

[22]  Luís N. Vicente,et al.  Direct Multisearch for Multiobjective Optimization , 2011, SIAM J. Optim..

[23]  Charles Audet,et al.  Mesh Adaptive Direct Search Algorithms for Constrained Optimization , 2006, SIAM J. Optim..

[24]  Bulat Khusainov Co-design of FPGA implementations for model predictive control , 2017 .

[25]  Charles Audet,et al.  A MADS Algorithm with a Progressive Barrier for Derivative-Free Nonlinear Programming , 2007 .

[26]  Daniel Axehill,et al.  Controlling the level of sparsity in MPC , 2014, Syst. Control. Lett..

[27]  A. L. Custódio,et al.  Recent Developments in Derivative-Free Multiobjective Optimisation , 2012, Computational Technology Reviews.

[28]  Victor M. Zavala,et al.  REAL-TIME RESOLUTION OF CONFLICTING OBJECTIVES IN BUILDING ENERGY , 2012 .

[29]  Yurii Nesterov,et al.  Introductory Lectures on Convex Optimization - A Basic Course , 2014, Applied Optimization.

[30]  Charles Audet,et al.  Multiobjective Optimization Through a Series of Single-Objective Formulations , 2008, SIAM J. Optim..

[31]  M. Soroush,et al.  Model Predictive Control Tuning Methods: A Review , 2010 .

[32]  F. Viana Things you wanted to know about the Latin hypercube design and were afraid to ask , 2016 .