Cyber–Physical Systems: A Perspective at the Centennial
Top Cited Papers
Open Access
- 3 April 2012
- journal article
- research article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in Proceedings of the IEEE
- Vol. 100 (Special Ce), 1287-1308
- https://doi.org/10.1109/jproc.2012.2189792
Abstract
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.Keywords
This publication has 191 references indexed in Scilit:
- PHAVer: algorithmic verification of hybrid systems past HyTechInternational Journal on Software Tools for Technology Transfer, 2008
- An open platform for reconfigurable controlIEEE Control Systems, 2001
- Coding for computingIEEE Transactions on Information Theory, 2001
- Finding OR in a noisy broadcast networkInformation Processing Letters, 2000
- HYTECH: a model checker for hybrid systemsInternational Journal on Software Tools for Technology Transfer, 1997
- The algorithmic analysis of hybrid systemsTheoretical Computer Science, 1995
- A theory of timed automataTheoretical Computer Science, 1994
- Applying new scheduling theory to static priority pre-emptive schedulingSoftware Engineering Journal, 1993
- Distributed scheduling based on due dates and buffer prioritiesIEEE Transactions on Automatic Control, 1991
- Priority inheritance protocols: an approach to real-time synchronizationIEEE Transactions on Computers, 1990