Toward Dependable Embedded Model Predictive Control

While model predictive control (MPC) is the industrially preferred method for advanced control in the process industries, it has not found much use in consumer products and safety-critical embedded systems applications in industries such as automotive, aerospace, medical, and robotics. The main barriers are implementability and dependability, where important factors are implementation of advanced numerical optimization algorithms on resource-limited embedded computing platforms and the associated complexity of verification. This challenge comes from a requirement of the use of ultrareliable hardware and software architectures in safety-critical applications, low-cost hardware in consumer products, or both. This paper surveys the state-of-the-art in the emerging field of dependable embedded MPC, and discusses some key challenges related to its design, implementation, and verification. A novel result is the study of a simulator-based performance monitoring and control selection method that monitors and predicts MPC performance and switches to a highly reliable backup controller in cases when the MPC experiences performance issues.

[1]  Lui Sha,et al.  The System-Level Simplex Architecture for Improved Real-Time Embedded System Safety , 2009, 2009 15th IEEE Real-Time and Embedded Technology and Applications Symposium.

[2]  Andrew E. Johnson,et al.  Flight testing of trajectories computed by G-FOLD: Fuel optimal large divert guidance algorithm for planetary landing , 2013 .

[3]  Minghua He,et al.  Model predictive control on a chip , 2005, 2005 International Conference on Control and Automation.

[4]  Tor Arne Johansen,et al.  Explicit nonlinear model predictive control : theory and applications , 2012 .

[5]  Rolf Findeisen,et al.  Implementation aspects of model predictive control for embedded systems , 2012, 2012 American Control Conference (ACC).

[6]  Peter Neumann,et al.  Safeware: System Safety and Computers , 1995, SOEN.

[7]  Cecilia Mascolo,et al.  Predictive Resource Scheduling in Computational Grids , 2007, 2007 IEEE International Parallel and Distributed Processing Symposium.

[8]  S. Joe Qin,et al.  A survey of industrial model predictive control technology , 2003 .

[9]  Michael Athans,et al.  Design of feedback control systems for stable plants with saturating actuators , 1988, Proceedings of the 27th IEEE Conference on Decision and Control.

[10]  Jan Swevers,et al.  A model predictive control approach for time optimal point-to-point motion control , 2011 .

[11]  Manfred Morari,et al.  Efficient interior point methods for multistage problems arising in receding horizon control , 2012, 2012 IEEE 51st IEEE Conference on Decision and Control (CDC).

[12]  Stephen P. Boyd,et al.  CVXGEN: a code generator for embedded convex optimization , 2011, Optimization and Engineering.

[13]  John Bagterp Jørgensen,et al.  High-performance small-scale solvers for linear Model Predictive Control , 2014, 2014 European Control Conference (ECC).

[14]  Brett Ninness,et al.  Fast Linear Model Predictive Control Via Custom Integrated Circuit Architecture , 2012, IEEE Transactions on Control Systems Technology.

[15]  Maciej Lawrynczuk,et al.  Testing Fault Robustness of Model Predictive Control Algorithms , 2010, ISARCS.

[16]  Tor Arne Johansen,et al.  Embedded Model Predictive Control for an Electric Submersible Pump on a Programmable Logic Controller , 2014, 2014 IEEE Conference on Control Applications (CCA).

[17]  Tor Arne Johansen,et al.  Embedded Model Predictive Control on a PLC using a primal-dual first-order method for a subsea separation process , 2014, 22nd Mediterranean Conference on Control and Automation.

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

[19]  Lars Imsland,et al.  Efficient implementation of solvers for linear model predictive control on embedded devices , 2014, 2014 IEEE Conference on Control Applications (CCA).

[20]  Frank Allgöwer,et al.  Nonlinear model predictive control : towards new challenging applications , 2009 .

[21]  Nancy G. Leveson,et al.  Engineering a Safer World: Systems Thinking Applied to Safety , 2012 .

[22]  Panagiotis D. Christofides,et al.  Proactive fault‐tolerant model predictive control , 2013 .

[23]  Alberto Bemporad,et al.  Simple and Certifiable Quadratic Programming Algorithms for Embedded Linear Model Predictive Control , 2012 .

[24]  Rohan C. Shekhar,et al.  Robust Predictive Control with Feasible Contingencies for Fault Tolerance , 2011 .

[25]  Tor Arne Johansen,et al.  Optimal Decompression of Divers Procedures for Constraining Predicted Bubble Growth , 2011 .

[26]  Moritz Diehl,et al.  An auto-generated real-time iteration algorithm for nonlinear MPC in the microsecond range , 2011, Autom..

[27]  Leonidas G. Bleris,et al.  A System-on-a-Chip Implementation for Embedded Real-Time Model Predictive Control , 2009, IEEE Transactions on Control Systems Technology.

[28]  Ralph Kennel,et al.  Predictive control in power electronics and drives , 2008, 2008 IEEE International Symposium on Industrial Electronics.

[29]  Jan M. Maciejowski,et al.  Embedded Model Predictive Control (MPC) using a FPGA , 2008 .

[30]  Francesco Borrelli,et al.  On Low Complexity Predictive Approaches to Control of Autonomous Vehicles , 2009 .

[31]  Ion Necoara,et al.  On linear convergence of a distributed dual gradient algorithm for linearly constrained separable convex problems , 2014, Autom..

[32]  Tor Arne Johansen,et al.  Flexible Piecewise Function Evaluation Methods Based on Truncated Binary Search Trees and Lattice Representation in Explicit MPC , 2012, IEEE Transactions on Control Systems Technology.

[33]  Manfred Morari,et al.  Certification aspects of the fast gradient method for solving the dual of parametric convex programs , 2013, Math. Methods Oper. Res..

[34]  Manfred Morari,et al.  Fast Predictive Control: Real-time Computation and Certification , 2012 .

[35]  Christian R Gutvik,et al.  Optimal Decompression of Divers [Applications of Control] , 2011, IEEE Control Systems.

[36]  Marco Storace,et al.  Digital Circuit Realization of Piecewise-Affine Functions With Nonuniform Resolution: Theory and FPGA Implementation , 2010, IEEE Transactions on Circuits and Systems II: Express Briefs.

[37]  Tor Arne Johansen,et al.  Using hash tables to manage the time-storage complexity in a point location problem: Application to explicit model predictive control , 2011, Autom..

[38]  Piotr Tatjewski,et al.  Fail-bounded implementations of the numerical model predictive control algorithms , 2010 .

[39]  Liuping Wang,et al.  Safety-critical multi-core software architecture for Model Predictive Control , 2011, 2011 Australian Control Conference.

[40]  Moritz Diehl,et al.  ACADO toolkit—An open‐source framework for automatic control and dynamic optimization , 2011 .

[41]  Jan Van Impe,et al.  Towards Online Model Predictive Control on a Programmable Logic Controller: Practical Considerations , 2012 .

[42]  P. Goulart,et al.  A New Hot-start Interior-point Method for Model Predictive Control* , 2011 .

[43]  Eduardo F. Camacho,et al.  Fault-tolerant model predictive control , 2010, 2010 IEEE 15th Conference on Emerging Technologies & Factory Automation (ETFA 2010).

[44]  Alberto Bemporad,et al.  An Accelerated Dual Gradient-Projection Algorithm for Embedded Linear Model Predictive Control , 2014, IEEE Transactions on Automatic Control.

[45]  Tor Arne Johansen,et al.  Dynamic Safety Constraints by Scenario-Based Economic Model Predictive Control of Marine Electric Power Plants , 2017 .

[46]  Michael Nikolaou,et al.  Managed-Pressure Drilling: Using Model Predictive Control To Improve Pressure Control for During Dual-Gradient Drilling , 2011 .

[47]  Tor Arne Johansen,et al.  Reconfigurable fault tolerant flight control based on Nonlinear Model Predictive Control , 2013, 2013 American Control Conference.

[48]  Alberto Bemporad,et al.  The explicit linear quadratic regulator for constrained systems , 2003, Autom..

[49]  Hans Joachim Ferreau,et al.  An online active set strategy to overcome the limitations of explicit MPC , 2008 .

[50]  Eric C. Kerrigan,et al.  Model predictive control for deeply pipelined field-programmable gate array implementation: algorithms and circuitry , 2012 .

[51]  Carl E. Landwehr,et al.  Basic concepts and taxonomy of dependable and secure computing , 2004, IEEE Transactions on Dependable and Secure Computing.

[52]  Jan M. Maciejowski,et al.  MPC fault-tolerant flight control case study: flight 1862 , 2003 .

[53]  Lui Sha,et al.  Dynamic control system upgrade using the Simplex architecture , 1998 .

[54]  Manfred Morari,et al.  Computational Complexity Certification for Real-Time MPC With Input Constraints Based on the Fast Gradient Method , 2012, IEEE Transactions on Automatic Control.

[55]  James B. Rawlings,et al.  Optimizing Process Economic Performance Using Model Predictive Control , 2009 .

[56]  David Q. Mayne,et al.  Constrained model predictive control: Stability and optimality , 2000, Autom..

[57]  William S. Levine,et al.  Methods for efficient implementation of Model Predictive Control on multiprocessor systems , 2010, 2010 IEEE International Conference on Control Applications.

[58]  Manfred Morari,et al.  Multi-Parametric Toolbox 3.0 , 2013, 2013 European Control Conference (ECC).

[59]  Leonidas G. Bleris,et al.  Towards embedded model predictive control for System-on-a-Chip applications , 2006 .

[60]  E. Mosca,et al.  Nonlinear control of constrained linear systems via predictive reference management , 1997, IEEE Trans. Autom. Control..