Predictive control, embedded cyberphysical systems and systems of systems - A perspective

Today’s world is changing rapidly due to advancements in information technology, computation and communication. Actuation, communication, sensing, and control are becoming ubiquitous. These technological advancements have led to the widespread availability of information and the possibility to connect systems in unforeseen manner. There is a strong desire for smart(er) cities, buildings, devices, factories, health monitoring – a smarter world. However, designing such a smarter world requires addressing also many challenges resulting from the emerging complex interactions and interoperation of systems. How is it possible to handle the increasing complexity during design and maintenance of such systems? How can one guarantee safety and performance of systems operating over networks which are subject to erroneous communication, delays, and failures of sensors and actuators? Is it possible to design control systems which allow for easy reconfiguration or even self-organization, for example by letting subsystems join and leave larger systems via plug and play strategies? Can one guarantee privacy of the controlled subsystems while exchanging information, which is necessary for maintaining overall system performance? We believe that predictive control is a well suited control approach to tackle some of these challenges due to its flexibility with respect to the formulation of the problem and the possibility to directly take constraints, preview information, as well as models of different complexity of the physical world into account. In this perspective we limit our attention to three areas we believe predictive control methods can provide a basis to tackle the appearing challenges: the efficient and easy implementation of predictive control on omnipresent embedded computation hardware, the question of resource and network aware control, as well as control on the network level of systems of systems. We briefly summarize results from these fields and outline some ideas on challenges, which arise.

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

[2]  Xiaofeng Wang,et al.  Event-Triggering in Distributed Networked Control Systems , 2011, IEEE Transactions on Automatic Control.

[3]  Matthias Althoff,et al.  Reachability analysis of linear systems with uncertain parameters and inputs , 2007, 2007 46th IEEE Conference on Decision and Control.

[4]  Alberto Bemporad,et al.  Energy-aware robust model predictive control based on noisy wireless sensors , 2012, Autom..

[5]  Eduardo F. Camacho,et al.  Distributed model predictive control based on a cooperative game , 2011 .

[6]  John Baillieul,et al.  Handbook of Networked and Embedded Control Systems , 2005, Handbook of Networked and Embedded Control Systems.

[7]  Michael D. Lemmon,et al.  On Self-triggered Full-Information H-Infinity Controllers , 2007, HSCC.

[8]  Panagiotis D. Christofides,et al.  Distributed model predictive control of nonlinear process systems , 2009 .

[9]  Daniel E. Quevedo,et al.  Self-Triggered Model Predictive Control for Network Scheduling and Control , 2012 .

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

[11]  D. Limón,et al.  Input-to-State Stability: A Unifying Framework for Robust Model Predictive Control , 2009 .

[12]  Paulo Tabuada,et al.  An introduction to event-triggered and self-triggered control , 2012, 2012 IEEE 51st IEEE Conference on Decision and Control (CDC).

[13]  Richard D. Braatz,et al.  Efficient polynomial-time outer bounds on state trajectories for uncertain polynomial systems using skewed structured singular values , 2011, 2011 IEEE International Symposium on Computer-Aided Control System Design (CACSD).

[14]  Riccardo Scattolini,et al.  Architectures for distributed and hierarchical Model Predictive Control - A review , 2009 .

[15]  W. P. M. H. Heemels,et al.  Robust self-triggered model predictive control for constrained discrete-time LTI systems based on homothetic tubes , 2015, 2015 European Control Conference (ECC).

[16]  Daniel E. Quevedo,et al.  Stochastic MPC with applications to process control , 2015, Int. J. Control.

[17]  W. P. M. H. Heemels,et al.  Resource-aware MPC for constrained nonlinear systems: A self-triggered control approach , 2015, Syst. Control. Lett..

[18]  Sasa V. Rakovic,et al.  Parameterized Robust Control Invariant Sets for Linear Systems: Theoretical Advances and Computational Remarks , 2010, IEEE Transactions on Automatic Control.

[19]  Paulo Tabuada,et al.  Minimum attention control for linear systems , 2014, Discret. Event Dyn. Syst..

[20]  Pantelis Sopasakis,et al.  Stochastic Model Predictive Control for Constrained Networked Control Systems with Random Time Delay , 2011 .

[21]  Wpmh Maurice Heemels,et al.  Self-triggered MPC for constrained linear systems and quadratic costs , 2012 .

[22]  Nadine Gottschalk,et al.  Computer Controlled Systems Theory And Design , 2016 .

[23]  Manuel Mazo,et al.  Decentralized Event-Triggered Control Over Wireless Sensor/Actuator Networks , 2010, IEEE Transactions on Automatic Control.

[24]  Paulo Tabuada,et al.  Exploiting Isochrony in Self-Triggered Control , 2010, IEEE Transactions on Automatic Control.

[25]  S. Shankar Sastry,et al.  Secure Control: Towards Survivable Cyber-Physical Systems , 2008, 2008 The 28th International Conference on Distributed Computing Systems Workshops.

[26]  M. Velasco,et al.  The Self Triggered Task Model for Real-Time Control Systems , 2003 .

[27]  Eric Bullinger,et al.  A Set-Based Optimal Control Approach for Pharmacokinetic/Pharmacodynamic Drug Dosage Design , 2016 .

[28]  D. Mayne,et al.  Min-max feedback model predictive control for constrained linear systems , 1998, IEEE Trans. Autom. Control..

[29]  Rolf Findeisen,et al.  Stabilizing nonlinear predictive control over non deterministic communication networks , 2008 .

[30]  Rolf Findeisen,et al.  Discrete-time robust model predictive control for continuous-time nonlinear systems , 2015, 2015 American Control Conference (ACC).

[31]  Luigi Chisci,et al.  Systems with persistent disturbances: predictive control with restricted constraints , 2001, Autom..

[32]  Special Issue on Control of Cyber-Physical Systems , 2014 .

[33]  W. P. M. H. Heemels,et al.  Analysis of event-driven controllers for linear systems , 2008, Int. J. Control.

[34]  David Wetherall,et al.  Computer networks, 5th Edition , 2011 .

[35]  Jen-te Yu,et al.  An Optimal Compensation Framework for Linear Quadratic Gaussian Control Over Lossy Networks , 2015, IEEE Transactions on Automatic Control.

[36]  Manfred Morari,et al.  Real-time MPC - Stability through robust MPC design , 2009, Proceedings of the 48h IEEE Conference on Decision and Control (CDC) held jointly with 2009 28th Chinese Control Conference.

[37]  Rolf Findeisen,et al.  Event-based reduced-attention predictive control for nonlinear uncertain systems , 2010, 2010 IEEE International Symposium on Computer-Aided Control System Design.

[38]  Mato Baotic,et al.  Multi-Parametric Toolbox (MPT) , 2004, HSCC.

[39]  Florian Dörfler,et al.  Attack Detection and Identification in Cyber-Physical Systems -- Part II: Centralized and Distributed Monitor Design , 2012, ArXiv.

[40]  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).

[41]  Daniel E. Quevedo,et al.  Stochastic Stability of Event-Triggered Anytime Control , 2013, IEEE Transactions on Automatic Control.

[42]  Karl Henrik Johansson,et al.  Event-triggered model predictive control of discrete-time linear systems subject to disturbances , 2013, 2013 European Control Conference (ECC).

[43]  Manuel Mazo,et al.  On event-triggered and self-triggered control over sensor/actuator networks , 2008, 2008 47th IEEE Conference on Decision and Control.

[44]  Panos J. Antsaklis,et al.  Guest Editorial Special Issue on Networked Control Systems , 2004, IEEE Trans. Autom. Control..

[45]  Jakob Stoustrup,et al.  Plug & play control: Control technology towards new challenges , 2009, 2009 European Control Conference (ECC).

[46]  Nina F. Thornhill,et al.  Wireless communication in process automation: A survey of opportunities, requirements, concerns and challenges , 2010 .

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

[48]  Stefan Streif,et al.  Bioinformatics Applications Note Systems Biology Admit: a Toolbox for Guaranteed Model Invalidation, Estimation and Qualitative–quantitative Modeling , 2022 .

[49]  Jörg Fischer,et al.  Optimal Sequence-Based Control of Networked Linear Systems , 2015 .

[50]  Maria Domenica Di Benedetto,et al.  Digital self triggered robust control of nonlinear systems , 2011, IEEE Conference on Decision and Control and European Control Conference.

[51]  Manfred Morari,et al.  A tractable approximation of chance constrained stochastic MPC based on affine disturbance feedback , 2008, 2008 47th IEEE Conference on Decision and Control.

[52]  Rolf Findeisen,et al.  Fast predictive control of linear systems combining Nesterov's gradient method and the method of multipliers , 2011, IEEE Conference on Decision and Control and European Control Conference.

[53]  Bruno Sinopoli,et al.  Foundations of Control and Estimation Over Lossy Networks , 2007, Proceedings of the IEEE.

[54]  Wpmh Maurice Heemels,et al.  Communication Scheduling in Robust Self-Triggered MPC for Linear Discrete-Time Systems , 2015 .

[55]  James B. Rawlings,et al.  Coordinating multiple optimization-based controllers: New opportunities and challenges , 2008 .

[56]  Sebastian Engell,et al.  Multi-stage nonlinear model predictive control applied to a semi-batch polymerization reactor under uncertainty , 2013 .

[57]  Thomas Parisini,et al.  Networked Predictive Control of Uncertain Constrained Nonlinear Systems: Recursive Feasibility and Input-to-State Stability Analysis , 2011, IEEE Transactions on Automatic Control.

[58]  Paulo Tabuada,et al.  To Sample or not to Sample: Self-Triggered Control for Nonlinear Systems , 2008, IEEE Transactions on Automatic Control.

[59]  Matthias Althoff,et al.  Reachability Analysis of Nonlinear Differential-Algebraic Systems , 2014, IEEE Transactions on Automatic Control.

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

[61]  Antonella Ferrara,et al.  An event-triggered Model Predictive Control scheme for freeway systems , 2012, 2012 IEEE 51st IEEE Conference on Decision and Control (CDC).

[62]  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.

[63]  D. Limón,et al.  Input-to-state stable MPC for constrained discrete-time nonlinear systems with bounded additive uncertainties , 2002, Proceedings of the 41st IEEE Conference on Decision and Control, 2002..

[64]  Heejo Lee,et al.  This article has been accepted for inclusion in a future issue of this journal. Content is final as presented, with the exception of pagination. INVITED PAPER Cyber–Physical Security of a Smart Grid Infrastructure , 2022 .

[65]  Paulo Tabuada,et al.  Guest Editorial Special Issue on Control of Cyber-Physical Systems , 2014, IEEE Trans. Autom. Control..

[66]  Ivan Stojmenovic,et al.  Guest Editorial Special Issue on Wireless Sensor and Actuator Networks , 2011 .

[67]  Rolf Findeisen,et al.  On efficient predictive control of linear systems subject to quadratic constraints using condensed, structure-exploiting interior point methods , 2013, 2013 European Control Conference (ECC).

[68]  Alberto Bemporad,et al.  Min-max control of constrained uncertain discrete-time linear systems , 2003, IEEE Trans. Autom. Control..

[69]  Rolf Findeisen,et al.  Efficient stochastic model predictive control based on polynomial chaos expansions for embedded applications , 2015, 2015 54th IEEE Conference on Decision and Control (CDC).

[70]  F. Allgöwer,et al.  Nonlinear Model Predictive Control: From Theory to Application , 2004 .

[71]  Carlo Ratti,et al.  Real-Time Urban Monitoring Using Cell Phones: A Case Study in Rome , 2011, IEEE Transactions on Intelligent Transportation Systems.

[72]  Daniel E. Quevedo,et al.  A Stochastic Model Predictive Controller for Systems with Unreliable Communications , 2015 .

[73]  Daniel E. Quevedo,et al.  Sequence-Based Anytime Control , 2013, IEEE Transactions on Automatic Control.

[74]  Heinz Schättler,et al.  Time-stamped model predictive control: an algorithm for control of processes with random delays , 2004, Comput. Chem. Eng..

[75]  Rolf Findeisen,et al.  Event-based model predictive control for Networked Control Systems , 2009, Proceedings of the 48h IEEE Conference on Decision and Control (CDC) held jointly with 2009 28th Chinese Control Conference.

[76]  Daniel E. Quevedo,et al.  Maximum Hands-Off Control: A Paradigm of Control Effort Minimization , 2014, IEEE Transactions on Automatic Control.

[77]  Geir E. Dullerud,et al.  On the cost of differential privacy in distributed control systems , 2014, HiCoNS.

[78]  Daniel E. Quevedo,et al.  Input-to-State Stability of Packetized Predictive Control Over Unreliable Networks Affected by Packet-Dropouts , 2011, IEEE Transactions on Automatic Control.

[79]  Stephen P. Boyd,et al.  Code generation for embedded second-order cone programming , 2013, 2013 European Control Conference (ECC).

[80]  Kostas J. Kyriakopoulos,et al.  A self-triggered Model Predictive Control framework for the cooperation of distributed nonholonomic agents , 2013, 52nd IEEE Conference on Decision and Control.

[81]  Jürgen Pannek,et al.  Robustness of Prediction Based Delay Compensation for Nonlinear Systems , 2011, ArXiv.

[82]  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.

[83]  Rolf Findeisen,et al.  Self-triggered, prediction-based control of Lipschitz nonlinear systems , 2015, 2015 European Control Conference (ECC).

[84]  Rolf Findeisen,et al.  Efficient stochastic model predictive control for embedded systems based on second-order cone programs , 2016, 2016 European Control Conference (ECC).

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

[86]  Jan Lunze,et al.  Control theory of digitally networked dynamic systems , 2014 .

[87]  Neri Merhav,et al.  On universal simulation of information sources using training data , 2004, IEEE Transactions on Information Theory.

[88]  Daniel E. Quevedo,et al.  State Estimation Over Sensor Networks With Correlated Wireless Fading Channels , 2013, IEEE Transactions on Automatic Control.

[89]  A. Bemporad,et al.  Model Predictive Control Design: New Trends and Tools , 2006, Proceedings of the 45th IEEE Conference on Decision and Control.

[90]  Eric C. Kerrigan,et al.  Optimization over state feedback policies for robust control with constraints , 2006, Autom..

[91]  Dimos V. Dimarogonas,et al.  Novel event-triggered strategies for Model Predictive Controllers , 2011, IEEE Conference on Decision and Control and European Control Conference.

[92]  Gian Luca Foresti,et al.  Ambient Intelligence: A Novel Paradigm , 2004 .

[93]  Frank Allgöwer,et al.  Computational Delay in Nonlinear Model Predictive Control , 2004 .

[94]  W. P. M. H. Heemels,et al.  Robust self-triggered MPC for constrained linear systems , 2014, 2014 European Control Conference (ECC).

[95]  Takacs Gergely,et al.  Efficiency and performance of embedded model predictive control for active vibration attenuation , 2016 .

[96]  Bo Wahlberg,et al.  An ADMM algorithm for solving ℓ1 regularized MPC , 2012, 2012 IEEE 51st IEEE Conference on Decision and Control (CDC).

[97]  Jonathan Currie,et al.  Opti: Lowering the Barrier Between Open Source Optimizers and the Industrial MATLAB User , 2012 .

[98]  Jonathan P. How,et al.  Robust distributed model predictive control , 2007, Int. J. Control.

[99]  Marcello Farina,et al.  Distributed predictive control: A non-cooperative algorithm with neighbor-to-neighbor communication for linear systems , 2012, Autom..

[100]  Olivier Bournez,et al.  Approximate Reachability Analysis of Piecewise-Linear Dynamical Systems , 2000, HSCC.

[101]  Daniel E. Quevedo,et al.  Predictive control in the era of networked control and communication: A perspective , 2015 .

[102]  Stephen J. Wright,et al.  Cooperative distributed model predictive control , 2010, Syst. Control. Lett..

[103]  M. Diehl,et al.  Nominal stability of real-time iteration scheme for nonlinear model predictive control , 2005 .

[104]  Alberto Bemporad,et al.  Stabilizing Linear Model Predictive Control Under Inexact Numerical Optimization , 2014, IEEE Transactions on Automatic Control.

[105]  Jan M. Maciejowski,et al.  ℓasso MPC: Smart regulation of over-actuated systems , 2012, 2012 American Control Conference (ACC).

[106]  W. P. M. H. Heemels,et al.  Periodic Event-Triggered Control for Linear Systems , 2013, IEEE Trans. Autom. Control..

[107]  Manuel Mazo,et al.  An ISS self-triggered implementation of linear controllers , 2009, Autom..

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

[109]  Panganamala Ramana Kumar,et al.  Abstractions, Architecture, Mechanisms, and a Middleware for Networked Control , 2009, IEEE Transactions on Automatic Control.

[110]  Rolf Findeisen,et al.  μAO-MPC: A free code generation tool for embedded real-time linear model predictive control , 2013, 2013 American Control Conference.

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

[112]  Tor Arne Johansen,et al.  Hardware Synthesis of Explicit Model Predictive Controllers , 2007, IEEE Transactions on Control Systems Technology.

[113]  Jakob Stoustrup.  Plug & play control: Control technology towards new challenges , 2009 .

[114]  William B. Dunbar,et al.  Distributed Receding Horizon Control of Dynamically Coupled Nonlinear Systems , 2007, IEEE Transactions on Automatic Control.

[115]  Rolf Findeisen,et al.  Stabilization of inexact MPC schemes , 2014, 53rd IEEE Conference on Decision and Control.

[116]  Anders Rantzer,et al.  Distributed control of positive systems , 2011, IEEE Conference on Decision and Control and European Control Conference.

[117]  Xiaofeng Wang,et al.  Self-Triggering Under State-Independent Disturbances , 2010, IEEE Transactions on Automatic Control.

[118]  Jan Lunze,et al.  A state-feedback approach to event-based control , 2010, Autom..

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

[120]  John A. Stankovic,et al.  Research Directions for the Internet of Things , 2014, IEEE Internet of Things Journal.

[121]  Alberto Bemporad,et al.  A survey on explicit model predictive control , 2009 .

[122]  Dimos V. Dimarogonas,et al.  Self-triggered Model Predictive Control for nonholonomic systems , 2013, 2013 European Control Conference (ECC).

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

[124]  Paulo Tabuada,et al.  Event-Triggered Real-Time Scheduling of Stabilizing Control Tasks , 2007, IEEE Transactions on Automatic Control.

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

[126]  Rolf Findeisen,et al.  Robust output feedback predictive control with self-triggered measurements , 2015, 2015 54th IEEE Conference on Decision and Control (CDC).

[127]  Rolf Findeisen,et al.  On self-triggered reduced-attention control for constrained systems , 2014, 53rd IEEE Conference on Decision and Control.

[128]  John Lygeros,et al.  Mean-square boundedness of stochastic networked control systems with bounded control inputs , 2010, 49th IEEE Conference on Decision and Control (CDC).

[129]  Alberto Bemporad,et al.  Scenario-based model predictive control of stochastic constrained linear systems , 2009, Proceedings of the 48h IEEE Conference on Decision and Control (CDC) held jointly with 2009 28th Chinese Control Conference.

[130]  Alberto Bemporad,et al.  A Model Predictive Control Approach for Stochastic Networked Control Systems , 2010 .

[131]  Michael Cw Kintner-Meyer.  Opportunities of Wireless Sensors and Controls for Building Operation , 2005 .

[132]  Martin Mönnigmann,et al.  Optimal and suboptimal event-triggering in linear model predictive control , 2015, 2015 European Control Conference (ECC).

[133]  Mo-Yuen Chow,et al.  Networked Control System: Overview and Research Trends , 2010, IEEE Transactions on Industrial Electronics.

[134]  Frank Allgöwer,et al.  Optimal and optimal-linear control over lossy, distributed networks , 2011 .

[135]  T. Başar,et al.  Dynamic Noncooperative Game Theory , 1982 .

[136]  L. Grüne,et al.  Nonlinear Model Predictive Control : Theory and Algorithms. 2nd Edition , 2011 .

[137]  Martin Mönnigmann,et al.  New Approaches for the Computation and Fast Evaluation of Explicit Model Predictive Control Laws , 2012 .

[138]  Tamer Basar,et al.  Stochastic Networked Control Systems: Stabilization and Optimization under Information Constraints , 2013 .

[139]  Eduardo Camponogara,et al.  Distributed model predictive control , 2002 .

[140]  Karl-Erik Årzén,et al.  A simple event-based PID controller , 1999 .

[141]  Daniel E. Quevedo,et al.  Smart energy-aware sensors for event-based control , 2012, 2012 IEEE 51st IEEE Conference on Decision and Control (CDC).

[142]  Tamer Basar,et al.  Optimal control of LTI systems over unreliable communication links , 2006, Autom..

[143]  Eric C. Kerrigan,et al.  Number Representation in Predictive Control , 2012 .

[144]  Moritz Diehl,et al.  Handling uncertainty in economic nonlinear model predictive control: A comparative case study , 2014 .

[145]  Rolf Findeisen,et al.  Robust suboptimal control over lossy networks using extended input schemes , 2011, 2011 IEEE International Symposium on Computer-Aided Control System Design (CACSD).

[146]  Gerhard Goos,et al.  Ambient Intelligence , 2015, Lecture Notes in Computer Science.

[147]  Huiping Li,et al.  Event-triggered robust model predictive control of continuous-time nonlinear systems , 2014, Autom..

[148]  Rudy R. Negenborn,et al.  Distributed Model Predictive Control Made Easy , 2013 .

[149]  Stephen P. Boyd,et al.  Fast Model Predictive Control Using Online Optimization , 2010, IEEE Transactions on Control Systems Technology.

[150]  Daniel E. Quevedo,et al.  Robust stability of packetized predictive control of nonlinear systems with disturbances and Markovian packet losses , 2012, Autom..

[151]  Rolf Findeisen,et al.  Contract-based Predictive Control of Distributed Systems with Plug and Play Capabilities , 2015 .

[152]  Bart De Schutter,et al.  Linear model predictive control based on approximate optimal control inputs and constraint tightening , 2013, 52nd IEEE Conference on Decision and Control.

[153]  A. M. Sahlodin,et al.  Convex/concave relaxations of parametric ODEs using Taylor models , 2011, Comput. Chem. Eng..

[154]  Rolf Findeisen,et al.  Fast predictive control of linear, time-invariant systems using an algorithm based on the fast gradient method and augmented Lagrange multipliers , 2011, 2011 IEEE International Conference on Control Applications (CCA).