Abstract: Success of numerous autonomous and unmanned missions in space, air, ground, and water is measured by the ability of the robots to usefully operate for extended time in highly dynamic and potentially hazardous environments. Persistent operation in unstructured environments hinges on active resource utilization, an example of which is collective power management.

Abstract: We will introduce SOlSTICe, a software synthesis framework that addresses the timing challenges in CPS by quantitatively exploring timing constraints for multiple conflicting design metrics and across multiple abstraction layers, and using these timing constraints to drive the design space exploration.

Saurabh Amin is the Robert N. Noyce Career Development Assistant Professor in the Department of Civil and Environmental Engineering, Massachusetts Institute of Technology (MIT). His research focuses on the design and implementation of high confidence network control algorithms for infrastructure systems. He works on robust diagnostics and control problems that involve using networked systems to facilitate the monitoring and control of large-scale critical infrastructures, including transportation, water, and energy distribution systems.