2012

file

Visible to the public CitiSense – A Participatory Air Quality Sensing System for Real-Time User Feedback

Recent revelations about the impacts of air pollution on our health are troubling, yet air pollution and the risks it poses to us are largely invisible. Today, the infrastructure of our regulatory institutions is inadequate for the cause: sensors are few, often far from where we live, and the results are slow to come to us. What about the air quality on your jogging route or commute? Can you be told when it matters most? Advances in computing technologies can allow us to answer these questions.

file

Visible to the public Input-Output Robustness of Software Systems

Abstract

A robust system is one that only modestly deviates from the nominal correct behavior upon the occurrence of small disturbances. Although it is accepted that engineered systems should be robust, it is less clear how to define robustness for Cyber-Physical Systems.

file

Visible to the public Efficient Control Synthesis and Learning in Distributed Cyber-Physical Systems

Abstract

Scientific challenges. How can multiple cyber-physical systems be enabled and coordinated to accomplish complex tasks in unknown and adversarial environments?