Difference between revisions of "Seminar Summer 2013"

From Cyber-Physical Systems Laboratory
Jump to navigationJump to search
(Created page with "=== 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, ...")
 
Line 33: Line 33:
  
 
Presentation: [[Media:Homeos-nsdi-slides.pptx ]]
 
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.

Revision as of 18:14, 22 August 2013

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 22, 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.