List of papers/articles related to this course (recommended reading)
(for Assisted Living)
Research on cyber-physical systems is driven by the nature of their interaction with the physical world. Such systems are part physical and hence have new attributes that play a major role in system design, development, and execution. These attributes include physical location (of system components), real time, physical energy consumption, external context, and distribution (including the need for composition of global properties from multiple interacting components). Research in cyber-physical systems usually addresses the effects of one or more of these attributes on system design tools, protocols, middleware, operating systems, languages, computing abstractions, simulators, debugging tools, and analytic foundations. This course will follow recent literature on research surrounding the stated attributes.
Observe that there is a large spectrum of cyber-physical applications from the very low end, such as sensor networks, to the very high-end, such as the total shipboard computing environment designed to run battleships. The emphasis of research typically depends on the application class under consideration.
In low-end systems, featuring a multitude of small components, distribution challenges and consequently location-related challenges are dominant. In high-end systems, featuring a smaller number of larger and more expensive components, real-time predictability and reliable composition challenges are dominant. Finally, energy challenges have been addressed in a very broad spectrum of applications from the very low end to the high-end.
Part I: Background (Sensor Networks and CPS Visions)
Background (optional reading):
Committee on Networked Systems
of Embedded Computers,
2. Edward A. Lee (UC Berkeley), "Cyber-Physical Systems - Are Computing Foundations Adequate?" presented at the NSF Workshop on Cyber-Physical Systems, October 16, 2006. (Also see Extended Technical Report)
3. John A. Stankovic et al., Challenges and Opportunities of Physical Computing Systems , IEEE Computer, Nov 2005.
4. Insup Lee et al., High-Confidence Medical Device Software and Systems , IEEE Computer, April 2006.
Below we explore examples of cyber-physical applications that motivate emphasis on physical location (the spatial attribute), real time, physical energy consumption, external context, and distribution respectively.
1. Maxim A. Batalin, Mohammad Rahimi, Yan Yu, Duo Liu, Aman Kansal, Gaurav S. Sukhatme, William J. Kaiser, Mark Hansen, Gregory J. Pottie, Mani Srivastava, and Deborah Estrin, "Call and Response: Experiments in Sampling the Environment," ACM Sensys 2004.
2. Ting Liu, Christopher M. Sadler, Pei Zhang, and Margaret Martonosi, "Implementing Software on Resource-constrained Mobile Sensors: Experiences with Impala and ZebraNet," ACM Mobisys 2004.
1. J. Liu, M. Chu, J. E. Reich, "Multitarget
2. Nisheeth Shrivastava, Raghuraman Mudumbai, Upamanyu Madhow, Subhash Suri, "Target Tracking with Binary Proximity Sensors: Fundamental Limits, Minimal Descriptions, and Algorithms," ACM Sensys 2006.
4. L. Gu, D. Jia, P. Vicaire, T. Yan, L. Luo, A. Tirumala, Q. Cao, J. A. Stankovic, T. Abdelzaher, and B. Krogh, "Lightweight Detection and Classification for Wireless Sensor Networks in Realistic Environments," ACM Sensys 2005.
5. Leo Selavo, Anthony Wood, Qiuhua Cao, Tamim Sookoor, Hengchang Liu, Aravind Srinivasan, Yafeng Wu, Woochul Kang, John Stankovic, Don Young, John Porter, "Luster: Wireless Sensor Network for Environmental Research," ACM Sensys 2007.
6. Jude Allred, Ahmad Bilal Hasan, Saroah Panichsakul, William Pisano, Peter Gray, Jyh Huang, Richard Han, Dale Lawrence, Kamran Mohseni, "SensorFlock: An Airborne Wireless Sensor Network of Micro-Air Vehicles," ACM Sensys 2007.
3. Tarek Abdelzaher, Gautam Thaker, Patrick Lardieri, "A Feasible Region for Meeting Aperiodic End-to-end Deadlines in Resource Pipelines," IEEE ICDCS, Tokyo, Japan, March 2004. (No summary requested for papers co-authored by UIUC faculty)
4. Praveen Jayachandran and Tarek Abdelzaher, "A Delay Composition Theorem for Real-Time Pipelines," Euromicro Conference on Real-Time Systems, Pisa, Italy, July 2007. (No summary requested for papers co-authored by UIUC faculty)
2. Sathish Gopalakrishnan, Marco Caccamo, Chi-Sheng Shih, Chang-Gun Lee, and Lui Sha, "Finite-horizon scheduling of radar dwells with online template construction," Journal of Real-Time Systems, Volume 33, No. 3, July, 2006. (No summary requested for papers co-authored by UIUC faculty)
2. E. Munguia Tapia, S. S. Intille, and K. Larson, "Activity recognition in the home setting using simple and ubiquitous sensors," in Proceedings of PERVASIVE 2004, vol. LNCS 3001, A. Ferscha and F. Mattern, Eds. Berlin Heidelberg: Springer-Verlag, 2004, pp. 158-175.
3. B. Logan, J. Healey, Matthai Philipose, E. Munguia Tapia, and S. Intille, "A long-term evaluation of sensing modalities for activity recognition," in Proceedings of the International Conference on Ubiquitious Computing, vol. LNCS 4717. Berlin Heidelberg: Springer-Verlag, 2007, pp. 483�500.
3. Bret Hull, Vladimir Bychkovsky, Kevin Chen, Michel Goraczko, Allen Miu, Eugene Shih, Yang Zhang, Hari Balakrishnan, and Samuel Madden, "CarTel: A Distributed Mobile Sensor Computing System," in Proc. ACM SenSys, 2006. Check out the CarTel portal.
4. Shane B. Eisenman, Emiliano Miluzzo, Nicholas D. Lane, Ronald A. Peterson, Gahng-Seop Ahn, Andrew T. Campbell, "The BikeNet Mobile Sensing System for Cyclist Experience Mapping", Proc. of Fifth ACM Conference on Embedded Networked Sensor Systems (SenSys 2007), Sydney, Australia, Nov. 6-9, 2007. Check out the BikeNet portal bikeView.
Below we explore examples of service that enable cyber-physical applications. Such services support application discovery, awareness, or exploitation of physical location (the spatial attribute), real time constraints, physical energy consumption, external context, and distribution respectively.
2. Lui Sha, Tarek Abdelzaher, Karl-Eric Arzen, Anton Cervin, Theodore Baker, Alan Burns, Giorgio Buttazzo, Marco Caccamo, John Lehoczky, Aloysius K. Mok, "Real Time Scheduling Theory: A Historical Perspective," Journal of Real-time Systems, December 2004. (Warning: Long paper. Will cover over two classes)
1. Dan Henriksson, Anton Cervin, Johan Akesson, Karl-Erik Arzen "Feedback Scheduling of Model Predictive Controllers," In Proc. 8th IEEE Real-Time and Embedded Technology and Applications Symposium,� San Jose, CA, September 2002.
1. Tibor Horvath, Tarek Abdelzaher, Kevin Skadron, and Xue Liu, "Dynamic Voltage Scaling in Multi-tier Web Servers with End-to-end Delay Control,'' IEEE Transactions on Computers, Vol. 56, No. 4, pp. 444-458, April 2007
2. Tarek Abdelzaher, Yixin Diao, Joseph L. Hellerstein, Chenyang Lu, and Xiaoyun Zhu, "Introduction to Control Theory and its Application to Computing Systems," SIGMETRICS Tutorial, Annapolis, MD, June 2008.
1. Chen Lee, John Lehoczky, Raj Rajkumar and Dan Siewiorek "On Quality of Service Optimization with Discrete QoS Options," in Proceedings of the IEEE Real-time Technology and Applications Symposium, June 1999.
1. What is normal accident theory? This very interesting book by Charles Perrow explains why some catastrophic accidents are inevitable (and hence "normal") by system design despite taking significant safety precautions, employing redundancy, and following safety protocols correctly:
Crenshaw, Elsa Gunter, C. L. Robinson, Lui Sha and P. R. Kumar, "The
Simplex Reference Model: Limiting Fault-Propagation due to Unreliable
Components in Cyber-Physical System Architectures," IEEE
Real-time Systems Symposium,�
Abdelzaher et al., "EnviroTrack: Towards an Environmental Computing
Paradigm for Distributed Sensor Networks," IEEE International Conference
on Distributed Computing Systems,
Harold Abelson, Don Allen, Daniel Coore, Chris Hanson, George Homsy, Thomas F. Knight, Radhika Nagpal, Erik Rauch, Gerald Jay Sussman, and Ron Weiss, �Amorphous Computing,� Communications of the ACM, Volume 43 Issue 5, May 2000.