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.

Topics

Date

Paper Title

Presenter

PDF file,  PPT

Overview of CPS and WSN

9/30,1

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

 

 

9/30,2

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.

 

 

9/30,3

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

 

 

9/30,4

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

 

 

9/30,5

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

 

Applications

9/30,6

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.

 

 

 

 

 

 

 

10/14,1

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.

 

 

10/14,2

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

 

WSN Hardware

10/14,3

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

 

 

10/14,4

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

 

 

10/14,5

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

 

OS/Programming

10/14,6

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

 

 

 

 

 

 

 

10/21,1

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

10/21,2

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

 

 

10/21,3

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

 

 

 

10/21,4

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

10/21,5

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

 

 

10/21,6

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

 

 

 

 

 

 

 

10/28

CPS on waste water processing

 

Routing and Fusion

11/4,1

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

 

 

11/4,2

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. 

 

 

 

11/4,3

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

 

 

11/4,4

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

 

Learning, inference, Synchronization

11/4,5

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.

 

 

11/4,6

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

 

 

 

 

 

 

 

11/11

Multi-Agent Systems

 

 

11/11,1

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

 

 

11/11,2

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.

 

 

 

11/11,3

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

 

 

11/11,4

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

11/11,5

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

 

 

11/11,6

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.

 

 

 

 

 

 

 

11/18,1

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.

 

 

11/18,2

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

 

 

11/18,3

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

 

 

11/18,4

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

 

 

11/18,5

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

 

 

11/18,6

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

1

 

2

 

3

 

4

 

5

 

 

6

 

 

7

 

 

8

 

 

9

 

 

10

 

 

11

 

 

12

 

 

13

 

 

14

 

 

The following students need to form group with others

Name

Email

 

 

 

 

 

 

Updated by XiangYang Li, August 2013