Session 6

file

Visible to the public Underwater Power Distribution System for Continuous Operation

Submitted by NinaM on Wed, 11/02/2016 - 7:53pm. Contributor:

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.

file

Visible to the public SOISTICe: Software Synthesis with Timing Contracts for Cyber-Physical Systems

Submitted by qizhu on Wed, 11/02/2016 - 7:38pm. Contributor:

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.

file

Visible to the public Resilient Design of Networked Infrastructure Systems: Models, Validation, and Synthesis

Submitted by saurabh on Wed, 11/02/2016 - 7:38pm. Contributor:

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.