CS595: Foundations of Cyber-Physical Systems (Fall 2011)

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 29th, 2011.

For each student, you also have to send me the PPT or the PDF file of your presentation 1 week before your presentation. 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

Neeraj Sharma




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.

PengQian Hu




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

YanJie Wang




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

Yi Zhang




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

Kwadwo Anane




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.

Abiodun Iwayemi









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.

JunZe Han




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

Cheng Bo


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

 Liang Qu




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

Chen-Hui Li




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

Karthik Gajam




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

Nitin Duggal









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

Hao Bian


Link/Network Layer


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

Sagar Raheja




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.

Boli xu



Radio and Interference


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

YiTian Pan




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

C. Murti


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

C. Murti




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.

Kaihe Xu




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

XiaoHua Xu


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.

Chang Guo




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

Xiao Jia Zhang









Multi-Agent Systems

Fouad Teymour




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

Shaojie Tang




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.

Arthur Baudry





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

Xiang zhang




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

YiFan Zhu


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

Siddharth Shankar




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.

Yunlong Qiu









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.

Jia Cui




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

ShuFan Wang




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

Wei Wang



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

C. Murti




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

Miao Song




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

Chuxiong Ning




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.

RaviKiran Paladugu














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 CS595. 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



Yanjie Wang, Yunlong Qiu and Xiaojia, Zhang.



Wei Wang, Yifan Zhu and Pengqian Hu



liang Qu,  Yi Zhang, chenhui Li



Yitian Pan, Xiang Zhang and Chang Guo































The following students need to form group with others


Karthik Gajam


https://mail.google.com/mail/images/cleardot.gifBaudry Arthur







Updated by XiangYang Li, August 2011