Seminar Summer 2013
Contents
June 27, 2013 - Chengjie Wu and Jing Li
Practice talks.
July 4, 2013 - N/A
Canceled due to Independence Day.
July 11, 2013 - Bo Li
Mehdi Maasoumy, Qi Zhu, Cheng Li, Forrest Meggers and Alberto Sangiovanni-Vincentelli, "Co-design of Control Algorithm and Embedded Platform for HVAC Systems", The 4th ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS 2013), Philadelphia, USA. Paper
July 18, 2013 - Lanshun Nie
Patricia Derler, Edward A. Lee, Martin Torngren and Stavros Tripakis. "Cyber-Physical System Design Contracts". ICCPS '13: ACM/IEEE 4th International Conference on Cyber-Physical Systems, 10, April, 2013. Paper
August 1, 2013 - Sisu Xi
Practice talk for proposal defense.
August 8, 2013 - Mo Sha
Practice talk for proposal defense.
August 15, 2013 - Rahav Dor
A talk by Rahav Dor on: An Operating System for the Home.
Based on a paper by Colin Dixon (IBM Research) Ratul Mahajan Sharad Agarwal A.J. Brush Bongshin Lee Stefan Saroiu Paramvir Bahl.
Abstract: Network devices for the home such as re- motely controllable locks, lights, thermostats, cameras, and motion sensors are now readily available and inex- pensive. In theory, this enables scenarios like remotely monitoring cameras from a smartphone or customizing climate control based on occupancy patterns. However, in practice today, such smarthome scenarios are limited to expert hobbyists and the rich because of the high over- head of managing and extending current technology.
We present HomeOS, a platform that bridges this gap by presenting users and developers with a PC-like ab- straction for technology in the home. It presents network devices as peripherals with abstract interfaces, enables cross-device tasks via applications written against these interfaces, and gives users a management interface de- signed for the home environment. HomeOS already has tens of applications and supports a wide range of devices. It has been running in 12 real homes for 4–8 months, and 42 students have built new applications and added sup- port for additional devices independent of our efforts.
Paper: Media:Homeos.pdf
Presentation: Media:Homeos-nsdi-slides.pptx
August 22, 2013 - Rahav Dor
A talk by Rahav Dor on: An Operating System for the Home.
See last week for details.
