An Overview and Some Challenges in Cyber-Physical Systems

Technological advances in computing, communications, andcontrol, have set the stage for a next generation of engineered systems,called cyber-physical systems (CPS). These systems can potentially beimportant in overcoming many challenges in energy, environment, transportation,and health care. In this paper, we discuss some of these grandchallenges that necessitate further advances in CPS. We also provide apartial survey of some important research issues, and an overview of severalresearch efforts that have been undertaken toward the developmentof CPS.

[1]  Gordon Ellis,et al.  Grand challenges for engineering , 2009, IEEE Engineering Management Review.

[2]  Ragunathan Rajkumar,et al.  Real-Time Operating Systems , 2004, Real-Time Systems.

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

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

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

[6]  Thomas Brihaye,et al.  On O-Minimal Hybrid Systems , 2004, HSCC.

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

[8]  Peter F. Al-Hokayem.  Stability Analysis of Networked Control Systems , 2003 .

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

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

[11]  I-Hong Hou.  Scheduling Heterogeneous Real-Time Traffic Over Fading Wireless Channels , 2014, IEEE/ACM Transactions on Networking.

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

[13]  Edward A. Lee,et al.  Modeling Cyber–Physical Systems , 2012, Proceedings of the IEEE.

[14]  Kyoung-Dae Kim.  Collision free autonomous ground traffic: A model predictive control approach , 2013, 2013 ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS).

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

[16]  Edward A. Lee,et al.  Taming heterogeneity - the Ptolemy approach , 2003, Proc. IEEE.

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

[18]  Bruno Sinopoli,et al.  A Cyber–Physical Systems Approach to Data Center Modeling and Control for Energy Efficiency , 2012, Proceedings of the IEEE.

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

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

[21]  By Radha Poovendran.  Cyber – Physical Systems : Close Encounters Between Two Parallel Worlds , 2010 .

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

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

[24]  Emily Beth Devine,et al.  The impact of computerized provider order entry on medication errors in a multispecialty group practice , 2010, J. Am. Medical Informatics Assoc..

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

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

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

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

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

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

[31]  Insup Lee,et al.  Challenges and Research Directions in Medical Cyber–Physical Systems , 2012, Proceedings of the IEEE.

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

[33]  James W. Layland,et al.  Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment , 1989, JACM.

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

[35]  Edward A. Lee,et al.  Distributed Real-Time Software for Cyber–Physical Systems , 2012, Proceedings of the IEEE.

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

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

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

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

[40]  Edward A. Lee.  Cyber-physical Systems -are Computing Foundations Adequate? Position Paper for Nsf Workshop on Cyber-physical Systems: Research Motivation, Techniques and Roadmap , 1998 .

[41]  Radha Poovendran,et al.  Cyber-Physical Systems: Close Encounters Between Two Parallel Worlds [Point of View] , 2010, Proc. IEEE.

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

[43]  Siddharth Sridhar,et al.  Cyber–Physical System Security for the Electric Power Grid , 2012, Proceedings of the IEEE.

[44]  David E. Culler,et al.  Versatile low power media access for wireless sensor networks , 2004, SenSys '04.

[45]  Peter J Pronovost,et al.  Reducing medical errors and adverse events. , 2012, Annual review of medicine.

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

[47]  Paul C. Westcott,et al.  Long-Term Prospects for Agriculture Reflect Growing Demand for Food, Fiber, and Fuel , 2012 .

[48]  Ketil Stølen,et al.  What is model driven architecture , 2003 .

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

[50]  Lui Sha,et al.  Cyber-Physical Systems: A New Frontier , 2008, 2008 IEEE International Conference on Sensor Networks, Ubiquitous, and Trustworthy Computing (sutc 2008).

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

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

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

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

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

[56]  George W. Arnold,et al.  Challenges and Opportunities in Smart Grid: A Position Article , 2011, Proceedings of the IEEE.

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

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

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

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

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

[62]  Panganamala Ramana Kumar,et al.  Cyber–Physical Systems: A Perspective at the Centennial , 2012, Proceedings of the IEEE.

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

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

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

[66]  Wayne H. Wolf,et al.  Cyber-physical Systems , 2009, Computer.

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

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

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

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

[71]  Axel Uhl,et al.  Model-Driven Architecture , 2002, OOIS Workshops.

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

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

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

[75]  Panganamala Ramana Kumar,et al.  Zero-error function computation in sensor networks , 2009, Proceedings of the 48h IEEE Conference on Decision and Control (CDC) held jointly with 2009 28th Chinese Control Conference.

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

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

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

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

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