Survey of Recent Progress in Networked Control Systems

Abstract With the rapid development of sensing, information processing, and communication technologies, the research in the emerging area of networked control systems (NCSs) has attracted considerable attention in the research community. The purpose of this survey is to provide a review of the state-of-the-art of such research. We particularly discuss various network conditions required for different control purposes, such as the minimum rate coding for stabilizability of linear systems in the presence of time-varying channel capacity, the critical packet loss condition for stability of the Kalman filter with intermittent observations, network topology for coordination of networked multi-agent systems, as well as event-based sampling for energy and communication efficiency. The common goal of discussion on these topics is to reveal the effect of the communication network on the operation of the networked systems.

[1]  John S. Baras,et al.  Convergence Results for the Linear Consensus Problem under Markovian Random Graphs , 2013, SIAM J. Control. Optim..

[2]  Shengyuan Xu,et al.  Necessary and sufficient conditions for mean square consensus under Markov switching topologies , 2013, Int. J. Syst. Sci..

[3]  Randy A. Freeman,et al.  Multi-Agent Coordination by Decentralized Estimation and Control , 2008, IEEE Transactions on Automatic Control.

[4]  Lihua Xie,et al.  Necessary and Sufficient Conditions for Stability of Kalman Filtering with Markovian Packet Losses , 2011 .

[5]  Tao Li,et al.  Sampled-data based average consensus with measurement noises: convergence analysis and uncertainty principle , 2009, Science in China Series F: Information Sciences.

[6]  Keyou You,et al.  Linear quadratic Gaussian control with quantised innovations Kalman filter over a symmetric channel , 2011 .

[7]  Jie Huang,et al.  Stability of a Class of Linear Switching Systems with Applications to Two Consensus Problems , 2011, IEEE Transactions on Automatic Control.

[8]  Ji-Feng Zhang,et al.  Necessary and Sufficient Conditions for Consensusability of Linear Multi-Agent Systems , 2010, IEEE Transactions on Automatic Control.

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

[10]  Nicola Elia,et al.  Stabilization of linear systems with limited information , 2001, IEEE Trans. Autom. Control..

[11]  Seif Haridi,et al.  Distributed Algorithms , 1992, Lecture Notes in Computer Science.

[12]  Charles R. Johnson,et al.  Matrix analysis , 1985, Statistical Inference for Engineers and Data Scientists.

[13]  Lihua Xie,et al.  The sector bound approach to quantized feedback control , 2005, IEEE Transactions on Automatic Control.

[14]  V. Borkar,et al.  Asymptotic agreement in distributed estimation , 1982 .

[15]  Ling Shi,et al.  Event-Based Sensor Data Scheduling: Trade-Off Between Communication Rate and Estimation Quality , 2013, IEEE Transactions on Automatic Control.

[16]  R. Larson,et al.  Optimum quantization in dynamic systems , 1967, IEEE Transactions on Automatic Control.

[17]  Tamer Basar,et al.  Minimum Rate Coding for LTI Systems Over Noiseless Channels , 2006, IEEE Transactions on Automatic Control.

[18]  Gordon F. Royle,et al.  Algebraic Graph Theory , 2001, Graduate texts in mathematics.

[19]  Alireza Tahbaz-Salehi,et al.  Consensus Over Ergodic Stationary Graph Processes , 2010, IEEE Transactions on Automatic Control.

[20]  YangQuan Chen,et al.  High-Order Consensus Algorithms in Cooperative Vehicle Systems , 2006, 2006 IEEE International Conference on Networking, Sensing and Control.

[21]  Sekhar Tatikonda,et al.  Control under communication constraints , 2004, IEEE Transactions on Automatic Control.

[22]  Yingmin Jia,et al.  Consensus of second-order discrete-time multi-agent systems with nonuniform time-delays and dynamically changing topologies , 2009, Autom..

[23]  Munther A. Dahleh,et al.  Feedback stabilization of uncertain systems in the presence of a direct link , 2006, IEEE Transactions on Automatic Control.

[24]  Minyue Fu,et al.  Identification of ARMA models using intermittent and quantized output observations , 2011, 2011 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP).

[25]  João Pedro Hespanha,et al.  A Survey of Recent Results in Networked Control Systems , 2007, Proceedings of the IEEE.

[26]  Luc Moreau,et al.  Stability of multiagent systems with time-dependent communication links , 2005, IEEE Transactions on Automatic Control.

[27]  K. Åström,et al.  Comparison of Periodic and Event Based Sampling for First-Order Stochastic Systems , 1999 .

[28]  D. Delchamps Stabilizing a linear system with quantized state feedback , 1990 .

[29]  Reza Olfati-Saber,et al.  Consensus and Cooperation in Networked Multi-Agent Systems , 2007, Proceedings of the IEEE.

[30]  A. Ōkubo Dynamical aspects of animal grouping: swarms, schools, flocks, and herds. , 1986, Advances in biophysics.

[31]  Andrey V. Savkin,et al.  Shannon zero error capacity in the problems of state estimation and stabilization via noisy communication channels , 2007, Int. J. Control.

[32]  Lihua Xie,et al.  Network Topology and Communication Data Rate for Consensusability of Discrete-Time Multi-Agent Systems , 2011, IEEE Transactions on Automatic Control.

[33]  Giorgio Battistelli,et al.  Model-free Adaptive Switching Control of Uncertain Time-Varying Plants , 2011 .

[34]  Lihua Xie,et al.  Consensusability of discrete-time multi-agent systems over directed graphs , 2011, Proceedings of the 30th Chinese Control Conference.

[35]  M. Egerstedt,et al.  On the regularization of Zeno hybrid automata , 1999 .

[36]  H. Nyquist,et al.  The Regeneration Theory , 1954, Journal of Fluids Engineering.

[37]  James Moyne,et al.  Performance evaluation of control networks: Ethernet, ControlNet, and DeviceNet , 2001 .

[38]  Arkalgud Ramaprasad,et al.  On the definition of feedback , 1983 .

[39]  Zhiqiang Li,et al.  A Distributed Consensus-Based Cooperative Spectrum-Sensing Scheme in Cognitive Radios , 2010, IEEE Transactions on Vehicular Technology.

[40]  Lihua Xie,et al.  Distributed Consensus With Limited Communication Data Rate , 2011, IEEE Transactions on Automatic Control.

[41]  A. Matveev,et al.  Estimation and Control over Communication Networks , 2008 .

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

[43]  R. Saeks,et al.  The analysis of feedback systems , 1972 .

[44]  Bruno Sinopoli,et al.  A characterization of the critical value for Kalman filtering with intermittent observations , 2008, 2008 47th IEEE Conference on Decision and Control.

[45]  Robin J. Evans,et al.  Stabilizability of Stochastic Linear Systems with Finite Feedback Data Rates , 2004, SIAM J. Control. Optim..

[46]  Yilin Mo,et al.  Towards Finding the Critical Value for Kalman Filtering with Intermittent Observations , 2010, 1005.2442.

[47]  Mario di Bernardo,et al.  Synchronizability and Synchronization Dynamics of Weighed and Unweighed Scale Free Networks with Degree Mixing , 2007, Int. J. Bifurc. Chaos.

[48]  Jie Huang,et al.  Two consensus problems for discrete-time multi-agent systems with switching network topology , 2012, Autom..

[49]  J. Baillieul Feedback coding for information-based control: operating near the data-rate limit , 2002, Proceedings of the 41st IEEE Conference on Decision and Control, 2002..

[50]  Michael J. Fischer,et al.  The Consensus Problem in Unreliable Distributed Systems (A Brief Survey) , 1983, FCT.

[51]  Frank L. Lewis,et al.  Consensusability of Discrete-Time Dynamic Multiagent Systems , 2012, IEEE Transactions on Automatic Control.

[52]  Ling Shi,et al.  Probabilistic performance of state estimation across a lossy network , 2008, Autom..

[53]  Lihua Xie,et al.  Consensus for general multi-agent systems over random graphs , 2011, ICCA.

[54]  Li Xie Stochastic Comparison, Boundedness, Weak Convergence, and Ergodicity of a Random Riccati Equation with Markovian Binary Switching , 2012, SIAM J. Control. Optim..

[55]  J. A. Farrell,et al.  Quantizer effects on steady-state error specifications of digital feedback control systems , 1988, Proceedings of the 27th IEEE Conference on Decision and Control.

[56]  Sandro Zampieri,et al.  Anytime reliable transmission of real-valued information through digital noisy channels , 2008, Allerton 2008.

[57]  Anton Cervin,et al.  Event-Based Control over Networks: Some Research Questions and Preliminary Results , 2006 .

[58]  S. Sahai,et al.  The necessity and sufficiency of anytime capacity for control over a noisy communication link , 2004, 2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601).

[59]  Ozan Demir,et al.  Cooperative control of multi-agent systems with event-based communication , 2012, 2012 American Control Conference (ACC).

[60]  J. Lygerosy,et al.  On the Regularization of Zeno Hybrid Automata , 1999 .

[61]  Jonathan H. Manton,et al.  Stochastic Consensus Seeking With Noisy and Directed Inter-Agent Communication: Fixed and Randomly Varying Topologies , 2010, IEEE Transactions on Automatic Control.

[62]  S. Strogatz Exploring complex networks , 2001, Nature.

[63]  Ba Di Ya,et al.  Matrix Analysis , 2011 .

[64]  A. B. Lees,et al.  Communication Channels. , 1961, Science.

[65]  Danny Dolev,et al.  On the minimal synchronism needed for distributed consensus , 1983, 24th Annual Symposium on Foundations of Computer Science (sfcs 1983).

[66]  Tai C Yang,et al.  Networked control system: a brief survey , 2006 .

[67]  Robin J. Evans,et al.  Feedback Control Under Data Rate Constraints: An Overview , 2007, Proceedings of the IEEE.

[68]  Keyou You,et al.  Minimum Data Rate for Mean Square Stabilizability of Linear Systems With Markovian Packet Losses , 2011, IEEE Transactions on Automatic Control.

[69]  Daniel Liberzon,et al.  Quantized feedback stabilization of linear systems , 2000, IEEE Trans. Autom. Control..

[70]  Jie Lin,et al.  Coordination of groups of mobile autonomous agents using nearest neighbor rules , 2003, IEEE Trans. Autom. Control..

[71]  Sang Joon Kim,et al.  A Mathematical Theory of Communication , 2006 .

[72]  Minyue Fu,et al.  Lack of Separation Principle for Quantized Linear Quadratic Gaussian Control , 2012, IEEE Transactions on Automatic Control.

[73]  L. Meier Estimation and control with quantized measurements , 1971 .

[74]  Massimo Franceschetti,et al.  Stabilization Over Markov Feedback Channels: The General Case , 2013, IEEE Transactions on Automatic Control.

[75]  Richard M. Murray,et al.  Consensus problems in networks of agents with switching topology and time-delays , 2004, IEEE Transactions on Automatic Control.

[76]  Wei-Yong Yan,et al.  Stability robustness of networked control systems with respect to packet loss , 2007, Autom..

[77]  Soummya Kar,et al.  Kalman Filtering With Intermittent Observations: Weak Convergence to a Stationary Distribution , 2009, IEEE Transactions on Automatic Control.

[78]  Lihua Xie,et al.  Finite-Level Quantized Feedback Control for Linear Systems , 2009, IEEE Transactions on Automatic Control.

[79]  F. Allgöwer,et al.  On consensus in multi-agent systems with linear high-order agents , 2008 .

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

[81]  Manuel Barbosa,et al.  An overview of controller area network , 1999 .

[82]  Don Anderson FireWire System Architecture: IEEE 1394A , 1998 .

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

[84]  S. Bennett,et al.  A brief history of automatic control , 1996 .

[85]  Lihua Xie,et al.  Kalman filtering with scheduled measurements - Part I: Estimation framework , 2012, Proceedings of the 10th World Congress on Intelligent Control and Automation.

[86]  E. Yaz Linear Matrix Inequalities In System And Control Theory , 1998, Proceedings of the IEEE.

[87]  Tao Li,et al.  Consensus Conditions of Multi-Agent Systems With Time-Varying Topologies and Stochastic Communication Noises , 2010, IEEE Transactions on Automatic Control.

[88]  Frank L. Lewis,et al.  Cooperative observers and regulators for discrete‐time multiagent systems , 2013 .

[89]  Stephen P. Boyd,et al.  Future directions in control in an information-rich world , 2003 .

[90]  Ling Shi,et al.  Kalman Filtering Over a Packet-Dropping Network: A Probabilistic Perspective , 2010, IEEE Transactions on Automatic Control.

[91]  Keyou You,et al.  Coordination of discrete‐time multi‐agent systems via relative output feedback , 2011 .

[92]  Frank L. Lewis,et al.  Synchronization of discrete-time multi-agent systems on graphs using Riccati design , 2012, Autom..

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

[94]  Wing Shing Wong,et al.  Systems with finite communication bandwidth constraints. II. Stabilization with limited information feedback , 1999, IEEE Trans. Autom. Control..

[95]  Minyue Fu,et al.  Kalman filtering for a class of degenerate systems with intermittent observations , 2011, IEEE Conference on Decision and Control and European Control Conference.

[96]  Josef Weigmann,et al.  Decentralization with PROFIBUS-DP: Architecture and Fundamentals, Configuration and Use with SIMATIC S7 , 2000 .

[97]  E.M. Atkins,et al.  A survey of consensus problems in multi-agent coordination , 2005, Proceedings of the 2005, American Control Conference, 2005..

[98]  Andrey V. Savkin,et al.  Comments on "Control over noisy channels" and relevant negative results , 2005, IEEE Trans. Autom. Control..

[99]  Jan C. Willems,et al.  The Analysis of Feedback Systems , 1971 .

[100]  Hyungbo Shim,et al.  Output Consensus of Heterogeneous Uncertain Linear Multi-Agent Systems , 2011, IEEE Transactions on Automatic Control.

[101]  Richard L. Tweedie,et al.  Markov Chains and Stochastic Stability , 1993, Communications and Control Engineering Series.

[102]  Francesco Bullo,et al.  Coordination and Geometric Optimization via Distributed Dynamical Systems , 2003, SIAM J. Control. Optim..

[103]  Yu-Ping Tian,et al.  Maximum Allowable Loss Probability for Consensus of Multi-Agent Systems Over Random Weighted Lossy Networks , 2012, IEEE Transactions on Automatic Control.

[104]  Z. Duan,et al.  Complex network synchronizability: analysis and control. , 2007, Physical review. E, Statistical, nonlinear, and soft matter physics.

[105]  Karl Henrik Johansson,et al.  Event-based broadcasting for multi-agent average consensus , 2013, Autom..

[106]  Lihua Xie,et al.  Stability Analysis of Networked Sampled-Data Linear Systems With Markovian Packet Losses , 2009, IEEE Transactions on Automatic Control.

[107]  John N. Tsitsiklis,et al.  Distributed Asynchronous Deterministic and Stochastic Gradient Optimization Algorithms , 1984, 1984 American Control Conference.

[108]  Guanrong Chen,et al.  Consensus of Discrete-Time Linear Multi-Agent Systems with Observer-Type Protocols , 2011, ArXiv.

[109]  Rodolphe Sepulchre,et al.  Synchronization in networks of identical linear systems , 2009, Autom..

[110]  Gene F. Franklin,et al.  Feedback Control of Dynamic Systems , 1986 .

[111]  Robin J. Evans,et al.  Topological feedback entropy and Nonlinear stabilization , 2004, IEEE Transactions on Automatic Control.

[112]  W. Rudin Real and complex analysis, 3rd ed. , 1987 .

[113]  Thomas M. Cover,et al.  Elements of Information Theory: Cover/Elements of Information Theory, Second Edition , 2005 .

[114]  Israel Bar-David,et al.  Capacity and coding for the Gilbert-Elliot channels , 1989, IEEE Trans. Inf. Theory.

[115]  Lihua Xie,et al.  Attainability of the minimum data rate for stabilization of linear systems via logarithmic quantization , 2011, Autom..

[116]  Lihua Xie,et al.  Minimum Data Rate for Mean Square Stabilization of Discrete LTI Systems Over Lossy Channels , 2010, IEEE Trans. Autom. Control..

[117]  Nancy A. Lynch,et al.  Impossibility of distributed consensus with one faulty process , 1985, JACM.

[118]  Francesco Bullo,et al.  On Kalman Filtering for Detectable Systems With Intermittent Observations , 2009, IEEE Transactions on Automatic Control.

[119]  Sekhar Tatikonda,et al.  Stochastic linear control over a communication channel , 2004, IEEE Transactions on Automatic Control.

[120]  Minyue Fu,et al.  Kalman filtering with intermittent observations: Bounds on the error covariance distribution , 2011, IEEE Conference on Decision and Control and European Control Conference.

[121]  Anant Sahai,et al.  The Necessity and Sufficiency of Anytime Capacity for Stabilization of a Linear System Over a Noisy Communication Link—Part I: Scalar Systems , 2006, IEEE Transactions on Information Theory.

[122]  Tao Li,et al.  Mean square average-consensus under measurement noises and fixed topologies: Necessary and sufficient conditions , 2009, Autom..

[123]  Konrad Reif,et al.  Stochastic Stability of the Extended Kalman Filter With Intermittent Observations , 2010, IEEE Transactions on Automatic Control.

[124]  Andrey V. Savkin,et al.  Multirate Stabilization of Linear Multiple Sensor Systems via Limited Capacity Communication Channels , 2005, SIAM J. Control. Optim..

[125]  Mauricio Barahona,et al.  Synchronization in small-world systems. , 2002, Physical review letters.

[126]  Sonia Martínez,et al.  Coverage control for mobile sensing networks , 2002, IEEE Transactions on Robotics and Automation.

[127]  Lin Huang,et al.  Consensus of Multiagent Systems and Synchronization of Complex Networks: A Unified Viewpoint , 2016, IEEE Transactions on Circuits and Systems I: Regular Papers.

[128]  Hyungbo Shim,et al.  Consensus of high-order linear systems using dynamic output feedback compensator: Low gain approach , 2009, Autom..

[129]  Richard M. Murray,et al.  INFORMATION FLOW AND COOPERATIVE CONTROL OF VEHICLE FORMATIONS , 2002 .

[130]  Nancy A. Lynch,et al.  Impossibility of distributed consensus with one faulty process , 1983, PODS '83.

[131]  Lihua Xie,et al.  Mean square stability for Kalman filtering with Markovian packet losses , 2011, Autom..

[132]  Solomon Lefschetz,et al.  Stability by Liapunov's Direct Method With Applications , 1962 .

[133]  Bruno Sinopoli,et al.  Optimal linear LQG control over lossy networks without packet acknowledgment , 2008 .

[134]  Sandro Zampieri,et al.  Randomized consensus algorithms over large scale networks , 2007 .

[135]  Richard M. Murray,et al.  Flocking with obstacle avoidance: cooperation with limited communication in mobile networks , 2003, 42nd IEEE International Conference on Decision and Control (IEEE Cat. No.03CH37475).

[136]  B. Anderson,et al.  Optimal Filtering , 1979, IEEE Transactions on Systems, Man, and Cybernetics.

[137]  Le Yi Wang,et al.  State Observability and Observers of Linear-Time-Invariant Systems Under Irregular Sampling and Sensor Limitations , 2011, IEEE Transactions on Automatic Control.

[138]  James Lam,et al.  Stabilization of linear systems over networks with bounded packet loss , 2007, Autom..

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

[140]  Ιωαννησ Τσιτσικλησ,et al.  PROBLEMS IN DECENTRALIZED DECISION MAKING AND COMPUTATION , 1984 .

[141]  Massimo Franceschetti,et al.  Data Rate Theorem for Stabilization Over Time-Varying Feedback Channels , 2009, IEEE Transactions on Automatic Control.

[142]  A. Sahai,et al.  Intermittent Kalman filtering: Eigenvalue cycles and nonuniform sampling , 2011, Proceedings of the 2011 American Control Conference.

[143]  Randal W. Beard,et al.  Consensus seeking in multiagent systems under dynamically changing interaction topologies , 2005, IEEE Transactions on Automatic Control.

[144]  Vicsek,et al.  Novel type of phase transition in a system of self-driven particles. , 1995, Physical review letters.

[145]  Andrea Censi,et al.  Kalman Filtering With Intermittent Observations: Convergence for Semi-Markov Chains and an Intrinsic Performance Measure , 2011, IEEE Transactions on Automatic Control.

[146]  Sekhar Tatikonda,et al.  Control over noisy channels , 2004, IEEE Transactions on Automatic Control.

[147]  Stephen P. Boyd,et al.  Linear Matrix Inequalities in Systems and Control Theory , 1994 .

[148]  Wolfhard Lawrenz,et al.  CAN system engineering - from theory to practical applications , 1997 .

[149]  J.P. Hespanha,et al.  Estimation under uncontrolled and controlled communications in Networked Control Systems , 2005, Proceedings of the 44th IEEE Conference on Decision and Control.

[150]  Soummya Kar,et al.  Distributed Consensus Algorithms in Sensor Networks With Imperfect Communication: Link Failures and Channel Noise , 2007, IEEE Transactions on Signal Processing.

[151]  Subhrakanti Dey,et al.  Stability of Kalman filtering with Markovian packet losses , 2007, Autom..

[152]  Andrey V. Savkin,et al.  An Analogue of Shannon Information Theory for Detection and Stabilization via Noisy Discrete Communication Channels , 2007, SIAM J. Control. Optim..

[153]  Lihua Xie,et al.  Stability of a random Riccati equation with Markovian binary switching , 2007, 2007 46th IEEE Conference on Decision and Control.

[154]  V. Borkar,et al.  Optimal sequential vector quantization of Markov sources , 2001, Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No.01CH37228).

[155]  Richard M. Murray,et al.  Optimal LQG control across packet-dropping links , 2007, Syst. Control. Lett..

[156]  Bruno Sinopoli,et al.  Kalman Filtering With Intermittent Observations: Tail Distribution and Critical Value , 2012, IEEE Transactions on Automatic Control.

[157]  J. Farrell,et al.  Quantizer effects on steady-state error specifications of digital feedback control systems , 1989 .

[158]  C. E. SHANNON,et al.  A mathematical theory of communication , 1948, MOCO.

[159]  Nancy A. Lynch,et al.  Distributed Algorithms , 1992, Lecture Notes in Computer Science.

[160]  J. Murray,et al.  Fractional representation, algebraic geometry, and the simultaneous stabilization problem , 1982 .

[161]  Karl Henrik Johansson,et al.  Distributed Event-Triggered Control for Multi-Agent Systems , 2012, IEEE Transactions on Automatic Control.