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.
|
Topics |
Date |
Paper Title |
Presenter |
PDF file, PPT |
|
Overview of
CPS and WSN |
10/05/2011,1 |
Opportunities
and Obligations for Physical Computing Systems, J. Stankovic, |
Neeraj Sharma |
|
|
|
10/05/2011,2 |
Cyber Physical
Systems: Design Challenges , Cyber-Physical Systems Executive Summary, CPS Steering Group, 2008. |
PengQian Hu |
|
|
|
10/05/2011,3 |
Towards
a Science of Cyber-Physical Systems Design, Paul Bogdan and Radu Marculescu,
ACM/IEEE ICCPS 2011 |
YanJie Wang |
|
|
|
10/05/2011,4 |
Insup Lee et al., High-Confidence
Medical Device Software and Systems , IEEE Computer, April 2006. |
Yi Zhang |
|
|
|
10/05/2011,5 |
D. Culler, D. Estrin,
M. Srivastava. Overview
of Sensor Networks. IEEE Computer Magazine, August 2004 |
Kwadwo
Anane |
|
|
Applications |
10/05/2011,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. |
Abiodun Iwayemi |
|
|
|
|
|
|
|
|
|
10/12/2011,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. |
JunZe Han |
|
|
|
10/12/2011,2 |
Nericell:
Rich Monitoring of Road and Traffic Conditions using Mobile Smartphones. P.
Mohan, V. Padmanabhan, R. Ramjee, SenSys, Nov. 2008. |
Cheng Bo |
|
|
WSN Hardware |
10/12/2011,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 |
Liang Qu |
|
|
|
10/12/2011,4 |
J. Polastre, R. Szewczyk, D. Culler, Telos:
Enabling Ultra-Low Power Wireless Research IPSN/SPOTS 2005 |
Chen-Hui Li |
|
|
|
10/12/2011,5 |
Wireless
mesh networks: a survey I.F Akyildiz, X Wang- Computer networks, 2005 -
Elsevier
|
Karthik Gajam |
|
|
OS/Programming |
10/12/2011,6 |
J. Hill, R. Szewczyk, A.
Woo, S. Hollar, D. Culler, and K. Pister, System
Architecture Directions for Networked Sensors, ASPLOS 2000 |
Nitin Duggal |
|
|
|
|
|
|
|
|
|
10/19/2011,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 |
Hao Bian |
|
|
Link/Network
Layer |
10/19/2011,2 |
Predictable
802.11 Packet Delivery from Wireless Channel Measurements, Daniel
Halperin, Wenjun Hu, Anmol Shethy, and David Wetherall, SIGCOMM, 2010. |
Sagar Raheja |
|
|
|
10/19/2011,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/19/2011,4 |
X-MAC: a Short
Preamble MAC Protocol for Duty-Cycled Wireless Sensor Networks, M.
Buettner, G.V. Yee, |
Boli xu |
|
|
Radio and
Interference |
10/19/2011,5 |
G. Zhou, T. He, S.
Krishnamurthy, and J. A. Stankovic, Impact
of Radio Irregularity on Wireless Sensor Networks , Mobisys 2005 |
YiTian Pan |
|
|
|
10/19/2011,6 |
Surviving
Wi-Fi Interference in Low Power ZigBee Networks, Chieh-Jan Mike Liang,
Nissanka B. Priyantha, Jie Liu, Andreas Terzis, SenSys, 2010. |
|
|
|
|
|
|
|
|
|
10/26 |
CPS on waste
water processing |
Catherine |
|
|
|
Routing and
Fusion |
10/26/2011,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 |
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 |
|
||
|
|
10/26/2011,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. |
|
|
|
|
10/26/2011,3 |
Detection
and Estimation with Compressive Measurements, Mark A. Davenport, Michael
B. Wakin, and Richard G. Baraniuk, Rice University, Tech. Report. |
Kaihe Xu |
|
|
|
10/26/2011,4 |
Compressed
Sensing: A Tutorial, IEEE Statistical Signal Processing Workshop, |
XiaoHua Xu |
|
|
Learning, inference,
Synchronization |
10/26/2011,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. |
Chang Guo |
|
|
|
10/26/2011,6 |
M. Maroti, B. Kusy, G. Simon, A.
Ledeczi, The
Flooding Time Synchronization Protocol, Sensys 2004 |
Xiao Jia Zhang |
|
|
|
|
|
|
|
|
|
11/9 |
Multi-Agent Systems |
Fouad Teymour |
|
|
|
11/09/2011,1 |
Ziguo Zhong and Tian
He, Achieving
Range-Free Localization Beyond Connectivity, In SenSys 2009 |
Shaojie Tang |
|
|
|
11/09/2011,2 |
WISP: A
Passively Powered UHF RFID Tag with Sensing and Computation, Daniel J.
Yeager, Alanson P. Sample, Joshua R. Smith in |
Arthur
Baudry |
|
|
|
11/09/2011,3 |
A. Perrig, J. Stankovic, and D. Wagner, Security in Wireless Sensor Networks, CACM, Vol. 47, No. 6, June 2004. |
Xiang zhang |
|
|
|
11/09/2011,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 |
YiFan Zhu |
|
|
Real-Times
Systems, control theory |
11/09/2011,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 |
Siddharth
Shankar |
|
|
|
11/09/2011,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. |
Yunlong Qiu |
|
|
|
|
|
|
|
|
|
11/16/2011,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. |
Jia Cui |
|
|
|
11/16/2011,2 |
¡±Scheduling
Algorithms for Multiprogramming in a Hard-Real-Time Environment¡±,
C. L. Liu and J. W. Layland, Journal of ACM 1973 |
ShuFan Wang |
|
|
|
11/16/2011,3 |
¡°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 |
|
|
|
|
11/16/2011,4 |
"Priority Inheritance Protocols: An
Approach to Real-Time Synchronization", Lui Sha, Ragunathan
Rajkumar, and John P. Lehoczky, IEEE Transactions on Computers, 39 (9):
1175¨C1185, September 1990. |
Miao Song |
|
|
|
11/16/2011,5 |
Dan Henriksson, et al.,
On
Dynamic Real-Time Scheduling of Medel Predictive Controllers, CDC, Dec
2002. |
Chuxiong Ning |
|
|
|
11/16/2011,6 |
Green:
A Framework for Supporting Energy-Conscious Programming using Controlled
Approximation, |
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, |
|
|
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 |
|
|
Programming Support for Distributed Optimization and
Control in Cyber-Physical Systems |
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 |
|
1 |
|
Yanjie Wang, Yunlong Qiu and Xiaojia,
Zhang. |
|
2 |
|
Wei Wang, Yifan Zhu and Pengqian Hu |
|
3 |
|
liang Qu, Yi Zhang, chenhui Li |
|
4 |
|
Yitian Pan, Xiang Zhang and Chang Guo |
|
5 |
|
|
|
6 |
|
|
|
7 |
|
|
|
8 |
|
|
|
9 |
|
|
|
10 |
|
|
|
11 |
|
|
|
12 |
|
|
|
13 |
|
|
|
14 |
|
|
The following students need to form group with
others
|
kgajam@hawk.iit.edu |
Karthik Gajam |
|
arthur.baudry@gmail.com |
|
|
|
|
|
|
|
Updated by XiangYang Li, August 2011