Cyber–Physical Systems: A Perspective at the Centennial

Cyber-physical systems (CPSs) are the next generation of engineered systems in which computing, communication, and control technologies are tightly integrated. Research on CPSs is fundamentally important for engineered systems in many important application domains such as transportation, energy, and medical systems. We overview CPS research from both a historical point of view in terms of technologies developed for early generations of control systems, as well as recent results on CPSs in many relevant research domains such as networked control, hybrid systems, real-time computing, real-time networking, wireless sensor networks, security, and model-driven development. We outline the potential for CPSs in many societally important application domains.

[1]  Alvaro A. Cárdenas,et al.  Attacks against process control systems: risk assessment, detection, and response , 2011, ASIACCS '11.

[2]  Thomas A. Henzinger,et al.  The Algorithmic Analysis of Hybrid Systems , 1995, Theor. Comput. Sci..

[3]  Xiaofeng Wang,et al.  Self-Triggered Feedback Control Systems With Finite-Gain ${\cal L}_{2}$ Stability , 2009, IEEE Transactions on Automatic Control.

[4]  Ran Raz,et al.  Super-logarithmic depth lower bounds via direct sum in communication complexity , 1991, [1991] Proceedings of the Sixth Annual Structure in Complexity Theory Conference.

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

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

[7]  A. Girard,et al.  Reachability analysis of linear systems using support functions , 2010 .

[8]  Randy Cogill,et al.  Convexity of optimal control over networks with delays and arbitrary topology , 2010 .

[9]  Olaf Stursberg,et al.  Verification of Hybrid Systems Based on Counterexample-Guided Abstraction Refinement , 2003, TACAS.

[10]  W. Evans Control system synthesis by Root Locus method , 1950, Electrical Engineering.

[11]  Kang G. Shin,et al.  Real-time dynamic voltage scaling for low-power embedded operating systems , 2001, SOSP.

[12]  R. Kálmán Mathematical description of linear dynamical systems , 1963 .

[13]  Theodore P. Baker,et al.  Stack-based scheduling of realtime processes , 1991, Real-Time Systems.

[14]  P. R. Kumar,et al.  Distributed scheduling based on due dates and buffer priorities , 1991 .

[15]  Ian M. Mitchell,et al.  Level Set Methods for Computation in Hybrid Systems , 2000, HSCC.

[16]  Piyush Gupta,et al.  Critical Power for Asymptotic Connectivity in Wireless Networks , 1999 .

[17]  Panganamala Ramana Kumar,et al.  Utility Maximization for Delay Constrained QoS in Wireless , 2009, 2010 Proceedings IEEE INFOCOM.

[18]  J.P. Hespanha,et al.  Designing an observer-based controller for a network control system , 2005, Proceedings of the 44th IEEE Conference on Decision and Control.

[19]  Lui Sha,et al.  On task schedulability in real-time control systems , 1996, 17th IEEE Real-Time Systems Symposium.

[20]  John Baillieul,et al.  Feedback Designs for Controlling Device Arrays with Communication Channel Bandwidth Constraints , 1999 .

[21]  Dong Yue,et al.  STATE FEEDBACK CONTROLLER DESIGN OF NETWORKED CONTROL SYSTEMS WITH PARAMETER UNCERTAINTY AND STATE‐DELAY , 2006 .

[22]  Thierry Gautier,et al.  Programming real-time applications with SIGNAL , 1991, Proc. IEEE.

[23]  JAMAL N. AL-KARAKI,et al.  Routing techniques in wireless sensor networks: a survey , 2004, IEEE Wireless Communications.

[24]  Daniel Liberzon,et al.  Switching in Systems and Control , 2003, Systems & Control: Foundations & Applications.

[25]  Giorgio C. Buttazzo,et al.  Rate Monotonic Analysis: The Hyperbolic Bound , 2003, IEEE Trans. Computers.

[26]  J. Jubin,et al.  The DARPA packet radio network protocols , 1987, Proceedings of the IEEE.

[27]  Kyoung-Dae Kim,et al.  Design and experimental verification of real-time mechanisms for middleware for networked control , 2010, Proceedings of the 2010 American Control Conference.

[28]  Deborah Estrin,et al.  An energy-efficient MAC protocol for wireless sensor networks , 2002, Proceedings.Twenty-First Annual Joint Conference of the IEEE Computer and Communications Societies.

[29]  Hongwei Zhang,et al.  Reliable bursty convergecast in wireless sensor networks , 2005, MobiHoc '05.

[30]  Panganamala Ramana Kumar,et al.  Optimizing controller location in networked control systems with packet drops , 2008, IEEE Journal on Selected Areas in Communications.

[31]  Mathew D. Penrose,et al.  Random Geometric Graphs , 2003 .

[32]  Noga Alon,et al.  Source coding and graph entropies , 1996, IEEE Trans. Inf. Theory.

[33]  P.R. Kumar,et al.  Distributed Clock Synchronization over Wireless Networks: Algorithms and Analysis , 2006, Proceedings of the 45th IEEE Conference on Decision and Control.

[34]  Girish Baliga,et al.  A middleware framework for networked control systems , 2005 .

[35]  Panganamala Ramana Kumar,et al.  Computing bounded ε-reach set with finite precision computations for a class of linear hybrid automata , 2011, HSCC '11.

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

[37]  Gabor Karsai,et al.  Model-integrated development of embedded software , 2003, Proc. IEEE.

[38]  Yashodhan Kanoria,et al.  A tight lower bound for parity in noisy communication networks , 2008, SODA '08.

[39]  Chung Laung Liu,et al.  Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment , 1989, JACM.

[40]  E. Blum,et al.  The Mathematical Theory of Optimal Processes. , 1963 .

[41]  David Park,et al.  Concurrency and Automata on Infinite Sequences , 1981, Theoretical Computer Science.

[42]  Linda Bushnell,et al.  Stability analysis of networked control systems , 1999, Proceedings of the 1999 American Control Conference (Cat. No. 99CH36251).

[43]  Pravin Varaiya,et al.  Stochastic Systems: Estimation, Identification, and Adaptive Control , 1986 .

[44]  W. Marsden I and J , 2012 .

[45]  Ralph Johnson,et al.  design patterns elements of reusable object oriented software , 2019 .

[46]  Israel Cidon,et al.  One-way delay estimation using network-wide measurements , 2006, IEEE Transactions on Information Theory.

[47]  Nancy A. Lynch,et al.  The Theory of Timed I/o Automata , 2003 .

[48]  Dragan Nesic,et al.  Input-output stability properties of networked control systems , 2004, IEEE Transactions on Automatic Control.

[49]  Nicola Elia,et al.  Remote stabilization over fading channels , 2005, Syst. Control. Lett..

[50]  Lui Sha,et al.  Real-time communication and coordination in embedded sensor networks , 2003, Proc. IEEE.

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

[52]  Jay K. Strosnider,et al.  The Deferrable Server Algorithm for Enhanced Aperiodic Responsiveness in Hard Real-Time Environments , 1987, IEEE Trans. Computers.

[53]  Dragoslav D. Šiljak,et al.  Decentralized control of complex systems , 2012 .

[54]  David A. Mindell,et al.  Between Human and Machine: Feedback, Control, and Computing before Cybernetics , 2002 .

[55]  Norman M. Abramson,et al.  THE ALOHA SYSTEM: another alternative for computer communications , 1899, AFIPS '70 (Fall).

[56]  Kang G. Shin,et al.  Adaptive control of virtualized resources in utility computing environments , 2007, EuroSys '07.

[57]  Gyula Simon,et al.  The flooding time synchronization protocol , 2004, SenSys '04.

[58]  Stuart Bennett CONTROL AND THE DIGITAL COMPUTER: THE EARLY YEARS , 2002 .

[59]  Jehoshua Bruck,et al.  Covering Algorithms, Continuum Percolation, and the Geometry of Wireless Networks. , 2003 .

[60]  Uwe Brinkschulte,et al.  A microkernel middleware architecture for distributed embedded real-time systems , 2001, Proceedings 20th IEEE Symposium on Reliable Distributed Systems.

[61]  Panganamala Ramana Kumar,et al.  Provable Systemwide Safety in Intelligent Intersections , 2011, IEEE Transactions on Vehicular Technology.

[62]  Lui Sha,et al.  An implicit prioritized access protocol for wireless sensor networks , 2002, 23rd IEEE Real-Time Systems Symposium, 2002. RTSS 2002..

[63]  Johan Nilsson,et al.  Analysis of real-time control systems with time delays , 1996, Proceedings of 35th IEEE Conference on Decision and Control.

[64]  Calin Belta,et al.  Controlling a Class of Nonlinear Systems on Rectangles , 2006, IEEE Transactions on Automatic Control.

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

[66]  Bran Selic,et al.  The Pragmatics of Model-Driven Development , 2003, IEEE Softw..

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

[68]  Gang Zhou,et al.  VigilNet: An integrated sensor network system for energy-efficient surveillance , 2006, TOSN.

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

[70]  André Platzer,et al.  Logical Analysis of Hybrid Systems - Proving Theorems for Complex Dynamics , 2010 .

[71]  Panganamala Ramana Kumar,et al.  The Spatial Smoothing Method of Clock Synchronization in Wireless Networks , 2011, Theoretical Aspects of Distributed Computing in Sensor Networks.

[72]  Panganamala Ramana Kumar,et al.  Optimal computation of symmetric Boolean functions in tree networks , 2010, 2010 IEEE International Symposium on Information Theory.

[73]  Aaas News,et al.  Book Reviews , 1893, Buffalo Medical and Surgical Journal.

[74]  J.A. Stankovic,et al.  Misconceptions about real-time computing: a serious problem for next-generation systems , 1988, Computer.

[75]  Raymond Klefstad,et al.  RTZen: Highly Predictable, Real-Time Java Middleware for Distributed and Embedded Systems, , 2005, Middleware.

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

[77]  Eyal Kushilevitz,et al.  Computation in noisy radio networks , 2005, SODA '98.

[78]  Nicola Elia,et al.  Limitations of Linear Control Over Packet Drop Networks , 2011, IEEE Transactions on Automatic Control.

[79]  Jay K. Strosnider,et al.  ENHANCED APERIODIC RESPONSIVENESS IN HARD REAL-TIME ENVIRONMENTS. , 1987, RTSS 1987.

[80]  L. Dries,et al.  Geometric categories and o-minimal structures , 1996 .

[81]  Pravin Varaiya,et al.  What's decidable about hybrid automata? , 1995, STOC '95.

[82]  R. E. Kalman,et al.  New Results in Linear Filtering and Prediction Theory , 1961 .

[83]  Jack Greenfield,et al.  Software factories: assembling applications with patterns, models, frameworks and tools , 2004, OOPSLA '03.

[84]  V. Borkar,et al.  LQG Control with Communication Constraints , 1997 .

[85]  Bruce H. Krogh,et al.  Computational techniques for hybrid system verification , 2003, IEEE Trans. Autom. Control..

[86]  S. Shreve,et al.  Real-time queues in heavy traffic with earliest-deadline-first queue discipline , 2001 .

[87]  H. O. Fattorini,et al.  Infinite dimensional linear control systems : the time optimal and norm optimal problems , 2005 .

[88]  Paulo Tabuada,et al.  Verification and Control of Hybrid Systems - A Symbolic Approach , 2009 .

[89]  Charles Steinhorn,et al.  Tame Topology and O-Minimal Structures , 2008 .

[90]  Wei Zhang,et al.  Stability of networked control systems , 2001 .

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

[92]  R. Srikant,et al.  Distributed Symmetric Function Computation in Noisy Wireless Sensor Networks , 2007, IEEE Transactions on Information Theory.

[93]  David Angeli,et al.  A Lyapunov approach to incremental stability properties , 2002, IEEE Trans. Autom. Control..

[94]  Thomas A. Henzinger,et al.  The theory of hybrid automata , 1996, Proceedings 11th Annual IEEE Symposium on Logic in Computer Science.

[95]  Uriel Feige,et al.  Finding OR in a noisy broadcast network , 2000, Inf. Process. Lett..

[96]  Anthony Rowe,et al.  Nano-RK: an energy-aware resource-centric RTOS for sensor networks , 2005, 26th IEEE International Real-Time Systems Symposium (RTSS'05).

[97]  Vivek S. Borkar,et al.  A Theory of QoS for Wireless , 2009, IEEE INFOCOM 2009.

[98]  Insup Lee,et al.  Compositional real-time scheduling framework , 2004, 25th IEEE International Real-Time Systems Symposium.

[99]  Tamer Basar Control System Synthesis by Root Locus Method , 2001 .

[100]  Alon Orlitsky,et al.  Coding for computing , 1995, Proceedings of IEEE 36th Annual Foundations of Computer Science.

[101]  Manuel Mazo,et al.  PESSOA: A Tool for Embedded Controller Synthesis , 2010, CAV.

[102]  Insup Lee,et al.  Compositional real-time scheduling framework with periodic model , 2008, TECS.

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

[104]  M. L. Chambers The Mathematical Theory of Optimal Processes , 1965 .

[105]  T. Henzinger The theory of hybrid automata , 1996, LICS 1996.

[106]  Rajeev Alur,et al.  A Theory of Timed Automata , 1994, Theor. Comput. Sci..

[107]  Shuichi Oikawa,et al.  Resource kernels: a resource-centric approach to real-time and multimedia systems , 2001, Electronic Imaging.

[108]  Alon Orlitsky,et al.  Coding for computing , 2001, IEEE Trans. Inf. Theory.

[109]  John P. Lehoczky,et al.  Real-time queueing theory , 1996, 17th IEEE Real-Time Systems Symposium.

[110]  Hai Lin,et al.  Stability and Stabilizability of Switched Linear Systems: A Survey of Recent Results , 2009, IEEE Transactions on Automatic Control.

[111]  Sanjoy K. Baruah,et al.  Algorithms and complexity concerning the preemptive scheduling of periodic, real-time tasks on one processor , 1990, Real-Time Systems.

[112]  Song Han,et al.  WirelessHART: Applying Wireless Technology in Real-Time Industrial Process Control , 2008, 2008 IEEE Real-Time and Embedded Technology and Applications Symposium.

[113]  Chenyang Lu,et al.  SPEED: a stateless protocol for real-time communication in sensor networks , 2003, 23rd International Conference on Distributed Computing Systems, 2003. Proceedings..

[114]  Hong Ye,et al.  Scheduling of networked control systems , 2001 .

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

[116]  Stephen P. Boyd,et al.  Control of asynchronous dynamical systems with rate constraints on events , 1999, Proceedings of the 38th IEEE Conference on Decision and Control (Cat. No.99CH36304).

[117]  Michael Gastpar,et al.  Computation Over Multiple-Access Channels , 2007, IEEE Transactions on Information Theory.

[118]  Daniel P. Schrage,et al.  An open platform for reconfigurable control , 2001 .

[119]  H. W. Bode,et al.  Network analysis and feedback amplifier design , 1945 .

[120]  Lui Sha,et al.  Dynamic clustering for acoustic target tracking in wireless sensor networks , 2003, IEEE Transactions on Mobile Computing.

[121]  Nancy A. Lynch,et al.  Hybrid I/O automata , 2003, Inf. Comput..

[122]  H. S. WITSENHAUSEN,et al.  The zero-error side information problem and chromatic numbers (Corresp.) , 1976, IEEE Trans. Inf. Theory.

[123]  Manfred Broy,et al.  Challenges in automotive software engineering , 2006, ICSE.

[124]  Insup Lee,et al.  Cyber-physical systems: The next computing revolution , 2010, Design Automation Conference.

[125]  Lui Sha,et al.  Dynamic Clustering for Acoustic Target Tracking in Wireless Sensor Networks , 2004, IEEE Trans. Mob. Comput..

[126]  G. Dullerud,et al.  A Course in Robust Control Theory: A Convex Approach , 2005 .

[127]  Robert G. Gallager,et al.  Finding parity in a simple broadcast network , 1988, IEEE Trans. Inf. Theory.

[128]  Stuart E. Schechter,et al.  Fast Detection of Scanning Worm Infections , 2004, RAID.

[129]  Björn Wittenmark,et al.  Stochastic Analysis and Control of Real-time Systems with Random Time Delays , 1999 .

[130]  Antoine Girard,et al.  SpaceEx: Scalable Verification of Hybrid Systems , 2011, CAV.

[131]  David E. Culler,et al.  Calibration as parameter estimation in sensor networks , 2002, WSNA '02.

[132]  Donald L. Snyder,et al.  How to track a swarm of fireflies by observing their flashes (Corresp.) , 1975, IEEE Trans. Inf. Theory.

[133]  Wang Yi,et al.  Uppaal in a nutshell , 1997, International Journal on Software Tools for Technology Transfer.

[134]  Linda Bushnell,et al.  Stability analysis of networked control systems , 2002, IEEE Trans. Control. Syst. Technol..

[135]  Johan Nilsson,et al.  Analysis of Real-Time Control Systems with Time Delays , 1996 .

[136]  S. Graham,et al.  Time in general-purpose control systems: the Control Time Protocol and an experimental evaluation , 2004, 2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601).

[137]  S. Shankar Sastry,et al.  O-Minimal Hybrid Systems , 2000, Math. Control. Signals Syst..

[138]  Sayan Mitra,et al.  A verification framework for hybrid systems , 2007 .

[139]  Thomas A. Henzinger,et al.  Automatic symbolic verification of embedded systems , 1993, 1993 Proceedings Real-Time Systems Symposium.

[140]  H. Witsenhausen Separation of estimation and control for discrete time systems , 1971 .

[141]  Pravin Varaiya,et al.  Ellipsoidal Techniques for Reachability Analysis of Discrete-Time Linear Systems , 2007, IEEE Transactions on Automatic Control.

[142]  Gérard Berry,et al.  The Esterel Synchronous Programming Language: Design, Semantics, Implementation , 1992, Sci. Comput. Program..

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

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

[145]  Douglas C. Schmidt,et al.  The design of the TAO real-time object request broker , 1998, Comput. Commun..

[146]  Panganamala Ramana Kumar,et al.  Admission control and scheduling for QoS guarantees for variable-bit-rate applications on wireless channels , 2009, MobiHoc '09.

[147]  Goran Frehse PHAVer: Algorithmic Verification of Hybrid Systems Past HyTech , 2005, HSCC.

[148]  David E. Culler,et al.  Transmission of IPv6 Packets over IEEE 802.15.4 Networks , 2007, RFC.

[149]  David E. Culler,et al.  TinyOS: Operating System Design for Wireless Sensor Networks , 2006 .

[150]  Thomas A. Henzinger,et al.  HYTECH: a model checker for hybrid systems , 1997, International Journal on Software Tools for Technology Transfer.

[151]  Paulo Tabuada,et al.  Verification and Control of Hybrid Systems , 2009 .

[152]  David E. Culler,et al.  Lessons from a Sensor Network Expedition , 2004, EWSN.

[153]  R. Kálmán On the general theory of control systems , 1959 .

[154]  Paulo Tabuada,et al.  Linear Time Logic Control of Discrete-Time Linear Systems , 2006, IEEE Transactions on Automatic Control.

[155]  Panganamala Ramana Kumar,et al.  Optimal strategies for computing symmetric Boolean functions in collocated networks , 2010, 2010 IEEE Information Theory Workshop on Information Theory (ITW 2010, Cairo).

[156]  Yanjun Li,et al.  Wireless Sensor Network Design for Wildfire Monitoring , 2006, 2006 6th World Congress on Intelligent Control and Automation.

[157]  Nancy A. Lynch,et al.  Self-stabilizing robot formations over unreliable networks , 2009, TAAS.

[158]  Chenyang Lu,et al.  RAP: a real-time communication architecture for large-scale wireless sensor networks , 2002, Proceedings. Eighth IEEE Real-Time and Embedded Technology and Applications Symposium.

[159]  Thomas A. Henzinger,et al.  Giotto: a time-triggered language for embedded programming , 2001, Proc. IEEE.

[160]  Indra Widjaja,et al.  IEEE 802.11 Wireless Local Area Networks , 1997, IEEE Commun. Mag..

[161]  Babak Hassibi,et al.  Anytime reliable codes for stabilizing plants over erasure channels , 2011, IEEE Conference on Decision and Control and European Control Conference.

[162]  Bruno Sinopoli,et al.  Challenges for Securing Cyber Physical Systems , 2009 .

[163]  Prakash Ishwar,et al.  Two-terminal distributed source coding with alternating messages for function computation , 2008, 2008 IEEE International Symposium on Information Theory.

[164]  André Platzer,et al.  Quantified differential invariants , 2011, HSCC '11.

[165]  Panganamala Ramana Kumar,et al.  Scheduling Heterogeneous Real-Time Traffic Over Fading Wireless Channels , 2014, IEEE/ACM Transactions on Networking.

[166]  Paulo Tabuada,et al.  Approximately bisimilar symbolic models for nonlinear control systems , 2007, Autom..

[167]  Frank Kelly,et al.  Rate control for communication networks: shadow prices, proportional fairness and stability , 1998, J. Oper. Res. Soc..

[168]  Abbas El Gamal Reliable Communication of Highly Distributed Information , 1987 .

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

[170]  Anees Shaikh,et al.  ARMADA Middleware and Communication Services , 1999, Real-Time Systems.

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

[172]  Rafail Ostrovsky,et al.  Error-correcting codes for automatic control , 2005, 46th Annual IEEE Symposium on Foundations of Computer Science (FOCS'05).

[173]  John Anderson,et al.  Wireless sensor networks for habitat monitoring , 2002, WSNA '02.

[174]  Chenyang Lu,et al.  A utilization bound for aperiodic tasks and priority driven scheduling , 2004, IEEE Transactions on Computers.

[175]  Paulo Tabuada An Approximate Simulation Approach to Symbolic Control , 2008, IEEE Transactions on Automatic Control.

[176]  Robin Milner,et al.  Communication and concurrency , 1989, PHI Series in computer science.

[177]  Christoph M. Kirsch,et al.  Giotto: a time-triggered language for embedded programming , 2003 .

[178]  R. Evans,et al.  Stabilization with data-rate-limited feedback: tightest attainable bounds , 2000 .

[179]  Sean R Eddy,et al.  What is dynamic programming? , 2004, Nature Biotechnology.

[180]  Lihua Xie,et al.  Minimum Data Rate for Mean Square Stabilizability of Linear Systems With Markovian Packet Losses , 2011, IEEE Trans. Autom. Control..

[181]  Alessandro Astolfi,et al.  Stability of Dynamical Systems - Continuous, Discontinuous, and Discrete Systems (by Michel, A.N. et al.; 2008) [Bookshelf] , 2007, IEEE Control Systems.

[182]  André Platzer,et al.  Adaptive Cruise Control: Hybrid, Distributed, and Now Formally Verified , 2011, FM.

[183]  Andrew Chi-Chih Yao,et al.  Some complexity questions related to distributive computing(Preliminary Report) , 1979, STOC.

[184]  Ashish Tiwari,et al.  Abstractions for hybrid systems , 2008, Formal Methods Syst. Des..

[185]  Matt Welsh,et al.  Deploying a wireless sensor network on an active volcano , 2006, IEEE Internet Computing.

[186]  Chung Shue Chen,et al.  Real-time QoS support in wireless sensor networks: a survey , 2007 .

[187]  K. Åström,et al.  Comparison of Riemann and Lebesgue sampling for first order stochastic systems , 2002, Proceedings of the 41st IEEE Conference on Decision and Control, 2002..

[188]  Panganamala Ramana Kumar,et al.  Computing and communicating functions over sensor networks , 2005, IEEE Journal on Selected Areas in Communications.

[189]  Jill Slay,et al.  Lessons Learned from the Maroochy Water Breach , 2007, Critical Infrastructure Protection.

[190]  Giorgio C. Buttazzo,et al.  Resource Reservation in Dynamic Real-Time Systems , 2004, Real-Time Systems.

[191]  Alexandre M. Bayen,et al.  Guaranteed Overapproximations of Unsafe Sets for Continuous and Hybrid Systems: Solving the Hamilton-Jacobi Equation Using Viability Techniques , 2002, HSCC.

[192]  George M. Siouris,et al.  Applied Optimal Control: Optimization, Estimation, and Control , 1979, IEEE Transactions on Systems, Man, and Cybernetics.

[193]  Panganamala Ramana Kumar,et al.  Optimal ordering of transmissions for computing Boolean threshold functions , 2010, 2010 IEEE International Symposium on Information Theory.

[194]  Christos G. Cassandras,et al.  Introduction to Discrete Event Systems , 1999, The Kluwer International Series on Discrete Event Dynamic Systems.

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

[196]  A. Michel,et al.  Stability of Dynamical Systems — Continuous , Discontinuous , and Discrete Systems , 2008 .

[197]  Piyush Gupta,et al.  Information-theoretic bounds for multiround function computation in collocated networks , 2009, 2009 IEEE International Symposium on Information Theory.

[198]  Panganamala Ramana Kumar,et al.  Utility-optimal scheduling in time-varying wireless networks with delay constraints , 2010, MobiHoc '10.

[199]  N. Elia,et al.  Limitations of linear remote control over packet drop networks , 2004, 2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601).

[200]  Aloysius K. Mok,et al.  Resource partition for real-time systems , 2001, Proceedings Seventh IEEE Real-Time Technology and Applications Symposium.

[201]  Yashodhan Kanoria,et al.  On Distributed Computation in Noisy Random Planar Networks , 2007, 2007 IEEE International Symposium on Information Theory.

[202]  R. Srikant,et al.  Optimal Scheduling for Fair Resource Allocation in Ad Hoc Networks With Elastic and Inelastic Traffic , 2011, IEEE/ACM Transactions on Networking.

[203]  SahaiA.,et al.  The Necessity and Sufficiency of Anytime Capacity for Stabilization of a Linear System Over a Noisy Communication Link—Part I , 2006 .

[204]  Antoine Girard,et al.  Reachability of Uncertain Linear Systems Using Zonotopes , 2005, HSCC.

[205]  Lui Sha,et al.  Priority Inheritance Protocols: An Approach to Real-Time Synchronization , 1990, IEEE Trans. Computers.

[206]  Marco Spuri,et al.  Scheduling aperiodic tasks in dynamic priority systems , 1996, Real-Time Systems.

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

[208]  Karl-Erik Årzén,et al.  A Component-Based Approach to the Design of Networked Control Systems , 2007, Eur. J. Control.

[209]  R E Kalman,et al.  CANONICAL STRUCTURE OF LINEAR DYNAMICAL SYSTEMS. , 1962, Proceedings of the National Academy of Sciences of the United States of America.

[210]  Panganamala Ramana Kumar,et al.  Scheduling Automated Traffic on a Network of Roads , 2006, IEEE Transactions on Vehicular Technology.

[211]  Bernhard Rumpe,et al.  Model-driven Development of Complex Software : A Research Roadmap , 2007 .

[212]  Shankar P. Bhattacharyya,et al.  Linear Control Theory , 2009 .

[213]  Shreyas Sundaram,et al.  The Wireless Control Network: Synthesis and robustness , 2010, 49th IEEE Conference on Decision and Control (CDC).

[214]  Lui Sha,et al.  Solutions for Some Practical Problems in Prioritized Preemptive Scheduling , 1986, RTSS.

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

[216]  George J. Pappas,et al.  Discrete abstractions of hybrid systems , 2000, Proceedings of the IEEE.

[217]  Michael Athans,et al.  Survey of decentralized control methods for large scale systems , 1978 .

[218]  P. Olver Nonlinear Systems , 2013 .

[219]  M. Branicky Stability of hybrid systems: state of the art , 1997, Proceedings of the 36th IEEE Conference on Decision and Control.

[220]  Richard M. Karp,et al.  Global Synchronization in Sensornets , 2004, LATIN.

[221]  Alan Burns,et al.  Applying new scheduling theory to static priority pre-emptive scheduling , 1993, Softw. Eng. J..

[222]  Pravin Varaiya,et al.  Scalar estimation and control with noisy binary observations , 2004, IEEE Transactions on Automatic Control.

[223]  Massimo Franceschetti,et al.  Stabilization over Markov feedback channels , 2011, IEEE Conference on Decision and Control and European Control Conference.

[224]  K. Shin,et al.  Performance Guarantees for Web Server End-Systems: A Control-Theoretical Approach , 2002, IEEE Trans. Parallel Distributed Syst..

[225]  Florian Dörfler,et al.  Cyber-physical attacks in power networks: Models, fundamental limitations and monitor design , 2011, IEEE Conference on Decision and Control and European Control Conference.

[226]  Edmund M. Clarke,et al.  Model Checking , 1999, Handbook of Automated Reasoning.

[227]  Edward A. Lee Computing needs time , 2009, CACM.

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

[229]  Chenyang Lu,et al.  ControlWare: a middleware architecture for feedback control of software performance , 2002, Proceedings 22nd International Conference on Distributed Computing Systems.

[230]  Giorgio Buttazzo,et al.  Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications , 1997 .

[231]  Massimo Franceschetti,et al.  Time and Energy Complexity of Function Computation Over Networks , 2011, IEEE Transactions on Information Theory.

[232]  Massimo Franceschetti,et al.  Network Coding for Computing: Cut-Set Bounds , 2009, IEEE Transactions on Information Theory.

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

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

[235]  Aniruddha S. Gokhale,et al.  Developing applications using model-driven design environments , 2006, Computer.

[236]  Panos J. Antsaklis,et al.  Control and Communication Challenges in Networked Real-Time Systems , 2007, Proceedings of the IEEE.

[237]  Dr. Clifford Neuman Challenges in Security for Cyber-Physical Systems , 2009 .

[238]  Rajeev Alur,et al.  Predicate abstraction for reachability analysis of hybrid systems , 2006, TECS.

[239]  Panos J. Antsaklis,et al.  On the model-based control of networked systems , 2003, Autom..

[240]  Paulo Tabuada,et al.  Secure state-estimation for dynamical systems under active adversaries , 2011, 2011 49th Annual Allerton Conference on Communication, Control, and Computing (Allerton).

[241]  Taylor T. Johnson,et al.  Safe and Stabilizing Distributed Cellular Flows , 2010, 2010 IEEE 30th International Conference on Distributed Computing Systems.

[242]  Wei Zhang,et al.  Stability of networked control systems: explicit analysis of delay , 2000, Proceedings of the 2000 American Control Conference. ACC (IEEE Cat. No.00CH36334).

[243]  Leonard J. Schulman Coding for interactive communication , 1996, IEEE Trans. Inf. Theory.

[244]  Nicola Elia,et al.  When bode meets shannon: control-oriented feedback communication schemes , 2004, IEEE Transactions on Automatic Control.

[245]  J. G. Ziegler,et al.  Optimum Settings for Automatic Controllers , 1942, Journal of Fluids Engineering.

[246]  Alan Burns,et al.  Real Time Scheduling Theory: A Historical Perspective , 2004, Real-Time Systems.

[247]  Michael A. Arbib,et al.  Automata theory and control theory - A rapprochement , 1966, Autom..

[248]  H.S. Black Stabilized feed-back amplifiers , 1934, Electrical Engineering.

[249]  Thomas A. Henzinger,et al.  Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems , 1992, Hybrid Systems.

[250]  Gabor Karsai,et al.  Model-Integrated Computing , 1997, Computer.

[251]  David E. Culler,et al.  TinyOS: An Operating System for Sensor Networks , 2005, Ambient Intelligence.

[252]  Antoine Girard,et al.  Approximation Metrics for Discrete and Continuous Systems , 2006, IEEE Transactions on Automatic Control.

[253]  Colin Atkinson,et al.  Model-Driven Development: A Metamodeling Foundation , 2003, IEEE Softw..

[254]  H. Witsenhausen A Counterexample in Stochastic Optimum Control , 1968 .