CS557: Cyber-Physical Systems: Networking and Algorithms (Fall 2013)

Technical Papers to be Presented, and the Group Information for Term Project

EACH student has to do one technical paper presentation. The paper is selected from the list of papers provided by me (you can also suggest some really good papers to present, but this needs to be approved by the instructor before you can present this paper). The selection of the paper from the list is first-come-first-service. No TWO students are allowed to select the SAME paper. Send me your selection of the paper no later than September 16th, 2013.

For each student, you also have to send instructor and TA the PPT or the PDF file of your presentation 1 week before your presentation. You should upload this to Blackboard (name your file using your name and class number). I would like to comment on it so that you have time to revise your presentation if needed.



Paper Title


PDF file,  PPT

Overview of CPS and WSN


Opportunities and Obligations for Physical Computing Systems, J. Stankovic, I. Lee, A. Mok, R. Rajkumar. IEEE Computer, Nov. 2005




Cyber Physical Systems: Design Challenges ,
Edward A. Lee, EECS Department, University of California, Berkeley, Technical Report No. UCB/EECS-2008-8, January 23, 2008.

Cyber-Physical Systems Executive Summary, CPS Steering Group, 2008.




Towards a Science of Cyber-Physical Systems Design, Paul Bogdan and Radu Marculescu, ACM/IEEE ICCPS 2011




Insup Lee et al., High-Confidence Medical Device Software and Systems , IEEE Computer, April 2006.




D. Culler, D. Estrin, M. Srivastava. Overview of Sensor Networks. IEEE Computer Magazine, August 2004




X. Jiang, M. Van Ly, J. Taneja, P. Dutta, and D. Culler, Experiences with A High-Fidelity Wireless Building Energy Auditing Network, Seventh ACM Conference on Embedded Networked Sensor Systems (SenSys 09), Nov. 4-6, 2009.









C.-J. M. Liang, J. Liu, L. Luo, A. Terzis, F. Zhao, RACNet: A High-Fidelity Data Center Sensing Network, Seventh ACM Conference on Embedded Networked Sensor Systems (SenSys 09), Nov. 4-6, 2009.




Nericell: Rich Monitoring of Road and Traffic Conditions using Mobile Smartphones. P. Mohan, V. Padmanabhan, R. Ramjee, SenSys, Nov. 2008.


WSN Hardware


J. Polastre, R. Szewczyk, C. Sharp, D. Culler, The Mote Revolution: Low Power Wireless Sensor Network Devices,  in Proceedings of Hot Chips 16: A Symposium on High Performance Chips. August 22-24, 2004




J. Polastre, R. Szewczyk, D. Culler, Telos: Enabling Ultra-Low Power Wireless Research  IPSN/SPOTS 2005




Wireless mesh networks: a survey I.F Akyildiz, X Wang- Computer networks, 2005 - Elsevier




J. Hill, R. Szewczyk, A. Woo, S.  Hollar, D. Culler, and K.  Pister,  System Architecture Directions for Networked Sensors, ASPLOS 2000









D. Gay, P. Levis, R. v. Behren, M.Welsh, E. Brewer, and D. Culler, The nesC Language: A Holistic Approach to Networked Embedded Systems, PLDI 2003


Link/Network Layer


Predictable 802.11 Packet Delivery from Wireless Channel Measurements, Daniel Halperin, Wenjun Hu, Anmol Shethy, and David Wetherall, SIGCOMM, 2010.




Link Layer Behavior of Body Area Networks at 2.4 GHz, Anirudh Natarajan, Buddhika De Silva, Kok Kiong Yap, Mehul Motani, ACM MobiCom 2009.





X-MAC: a Short Preamble MAC Protocol for Duty-Cycled Wireless Sensor Networks, M. Buettner, G.V. Yee, E. Anderson and R. Han, ACM Conference on Embedded Networked Sensor Systems (SenSys), November 2006.



Radio and Interference


G. Zhou, T. He, S. Krishnamurthy, and J. A. Stankovic, Impact of Radio Irregularity on Wireless Sensor Networks , Mobisys 2005 




Surviving Wi-Fi Interference in Low Power ZigBee Networks, Chieh-Jan Mike Liang, Nissanka B. Priyantha, Jie Liu, Andreas Terzis, SenSys, 2010.









CPS on waste water processing


Routing and Fusion


Yu Gu and Tian He, Data Forwarding in Extremely Low Duty-Cycle Sensor Networks with Unreliable Communication Links. in ACM Sensys, 2007



Johansson, K.H.; Lygeros, J.; Jun Zhang; Sastry, S.; , "Hybrid automata: a formal paradigm for heterogeneous modeling," Computer-Aided Control System Design, 2000. CACSD 2000. IEEE International Symposium on , vol., no., pp.123-128, 2000


Branicky, M.S.; , "Stability of switched and hybrid systems," Decision and Control, 1994., Proceedings of the 33rd IEEE Conference on , vol.4, no., pp.3498-3503 vol.4, 14-16 Dec 1994




Shuo Guo, Yu Gu, Bo Jiang, and Tian He. Opportunistic Flooding in Low-Duty-Cycle Wireless Sensor Networks with Unreliable Links. In The 15th Annual International Conference on Mobile Computing and Networking (MobiCom), 2009, September 2009. 





Detection and Estimation with Compressive Measurements, Mark A. Davenport, Michael B. Wakin, and Richard G. Baraniuk, Rice University, Tech. Report.




Compressed Sensing: A Tutorial, IEEE Statistical Signal Processing Workshop, Madison, Wisconsin, August 26, 2007


Learning, inference, Synchronization


Activity Recognition in the Home Using Simple and Ubiquitous Sensors, E. M. Tapia, S. S. Intille, and K. Larson. Lecture Notes in Computer Science, Vol. 3001, pp. 158-175, 2004.




M. Maroti, B. Kusy, G. Simon, A. Ledeczi, The Flooding Time Synchronization Protocol, Sensys 2004









Multi-Agent Systems




Ziguo Zhong and Tian He, Achieving Range-Free Localization Beyond Connectivity, In SenSys 2009




WISP: A Passively Powered UHF RFID Tag with Sensing and Computation, Daniel J. Yeager, Alanson P. Sample, Joshua R. Smith in S.A. Ahson, M. Ilyas Eds. RFID Handbook: Applications, Technology, Security, and Privacy, CRC Press.





  A. Perrig, J. Stankovic, and D. Wagner, Security in Wireless Sensor Networks, CACM, Vol. 47, No. 6, June 2004.




Q. Cao, T. Abdelzaher, J. Stankovic, K. Whitehouse, and L. Luo. Declarative Tracepoints: A Programmable and Application Independent Debugging System for Wireless Sensor Networks, In SenSys 2008


Real-Times Systems, control theory


Introduction to Control Theory and its Application to Computing Systems,  Tarek Abdelzaher, Yixin Diao, Joseph L. Hellerstein, Chenyang Lu, and Xiaoyun Zhu, SIGMETRICS Tutorial, Annapolis, MD, June 2008




Feedback Performance Control in Software Services, T. Abdelzaher, J. Stankovic, C. Lu, R. Zhang, and Y. Lu. Control Systems Magazine, Vol. 23, Issue 3, pp. 74-90, 2003.









Achieving Real-Time Target Tracking Using Wireless Sensor Networks, T. He, P. Vicaire, T. Yan, L. Luo, L. Gu, G. Zhou, R. Stoleru, Q. Cao, J. Stankovic and T. Abdelzaher. RTAS 2006.




Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment, C. L. Liu and J. W. Layland, Journal of ACM 1973




Compositional Real-Time Scheduling Framework with Periodic Model", Insik Shin and Insup Lee, ACM TECS 2008



Prajna, S.; Papachristodoulou, A.; , "Analysis of switched and hybrid systems - beyond piecewise quadratic methods," American Control Conference, 2003. Proceedings of the 2003 , vol.4, no., pp. 2779- 2784 vol.4, 4-6 June 2003




"Priority Inheritance Protocols: An Approach to Real-Time Synchronization", Lui Sha, Ragunathan Rajkumar, and John P. Lehoczky, IEEE Transactions on Computers, 39 (9): 1175C1185, September 1990.




Dan Henriksson, et al., On Dynamic Real-Time Scheduling of Medel Predictive Controllers, CDC, Dec 2002.




Green: A Framework for Supporting Energy-Conscious Programming using Controlled Approximation,
W. Baek and T. Chilimbi,
ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 10), Toronto, Canada, June 2010.














Some additional Readings


Paper Title


"Embedded, Everywhere: A Research Agenda for Networked Systems of Embedded Computers,"

Committee on Networked Systems of Embedded Computers, National Academy Press, 2001


Design and deployment of industrial sensor networks: experiences from a semiconductor plant and the north sea, Lakshman Krishnamurthy,  Robert Adler ,  Phil Buonadonna ,  Jasmeet Chhabra ,  Mick Flanigan ,  Akishore Kushalnagar ,  Lama Nachman ,  Mark Yarvis, SenSys, 2005.


At the Flick of a Switch: Detecting and Classifying Unique Electrical Events on the Residential Power Line, S. N. Patel, T. Robertson, J. A. Kientz, M. S. Reynolds, and G. D. Abowd. UbiComp 2007, LNCS 4717, pp. 271-288, 2007.


IP is Dead, Long Live IP for Wireless Sensor Networks, Jonathan W. Hui and David E. Culler. Proceedings of SenSys  08, Nov. 2008


Designing High Performance Enterprise Wi-Fi Networks, Rohan Murty, Jitendra Padhye, Ranveer Chandra, Alec Wolman, and Brian Zill, 5th USENIX Symposium on Network Design and Implementation (NSDI), 2008.


Pedestrian localization in indoor environments, Oliver Woodman and Robert  Harle. Ubicomp 08.


An Empirical Study of UHF RFID Performance, Michael Buettner and David Wetherall, MobiCom 2008.


Johan Benstsson and Wang Yi, Timed automata: Semantics, Algorithms and Tools


Anna Philippou and Oleg Sokolsky, Process-Algebraic Analysis of Timing and Schedulability Properties July 12, 2006.


Lui Sha et al. "Real Time Scheduling Theory: A Historical Perspective," Journal of Real-time Systems, December 2004.


Sebastian Fischmeister and Insup Lee, Temporal Control in Real-time Systems: Langauge and Systems, Oct 2006.


Christoph M. Kirsch and Raja Sengupta, The Evoluation of Real-Time Programming, Oct 2006.


Towards a Distributed, Service-Oriented Control Infrastructure for Smart Grid
Muhammad Umer Tariq, Santiago Grijalva, and Marilyn Wolf (Georgia Institute of Technology), ACM/IEEE ICCPS 2011


Programming Support for Distributed Optimization and Control in Cyber-Physical Systems
Rahul Balani, Lucas Wanner, Jonathan Friedman, Mani Srivastava (University of California at Los Angeles), Kaisen Lin, and Rajesh Gupta (University of California at San Diego) ACM/IEEE ICCPS 2011


See following links for more readings

1.       http://www.cs.rutgers.edu/~uli/cs671/fall10/

2.       http://www-users.cselabs.umn.edu/classes/Fall-2010/csci8211/index.php?page=Reading%20List

3.       http://www.cse.msu.edu/~glxing/891/

4.       http://locust.kaist.ac.kr/cs744-cps/CS744.html

5.       http://www.seas.upenn.edu/~lee/10cis541/reading.html

6.       http://www.public.asu.edu/~gfaineko/courses/cse591/2010/schedule.html

7.       http://precise.seas.upenn.edu/events/iccps11/Program.html

Paper Presentation guidelines

Each presentation will last 25 minutes (20 minutes for presentation and there are additional 5 minutes for Q&A). Thus, each day can host at most 6 presentations.

For Remote Students: If you are remote student and can only do the individual term project, your presentation will be played on the empty slots that are not reserved by other students or groups. If you do individual term project that mainly focuses on research questions without implementing CPS systems, you need to do three presentations in total in the semester, and your three presentations will be composed of presenting THREE different technical papers related to your research.

Group Information: the following table summarizes the group information for this course. If you did form a group and could not find your group info here, please send me an email to inform your group information ASAP.

Group Number

Presentation timeslots

Group members







































The following students need to form group with others









Updated by XiangYang Li, August 2013