Abstract: Designing software that can properly and safely interact with the physical world is an important cyber-‐physical systems design challenge. The proposed work includes the development of a novel approach to designing planning and control algorithms for high‐performance cyber physical systems. The new approach was inspired by statistical mechanics and stochastic geometry.

Abstract: The objective of this research is an injection of new modeling techniques into the area of Cyber-Physical Systems (CPSs). The approach is to design new architectures for domain- specific modeling tools in order to permit feedback from analysis, validation, and verification engines to influence how CPSs are designed. This project outlines new research into the integration of existing, heterogeneous modeling languages in order to address problems in CPS design, rather than a single language used to design any CPS.

Abstract: Combining simulations with formal analysis can improve the design, verification, and validation processes for embedded and cyberphysical systems. In this poster presentation, I will present an overview of the algorithms we have developed to derive bounded-time formal guarantees from numerical simulations and static analysis of models. These algorithms are targeted for hybrid models of distributed and cyberphysical systems and they require either implicit or explicit annotations.

Abstract: Shared hardware resources like caches and translation look aside buffers (TLBs) introduce timing unpredictability for real-time systems. We propose techniques to mitigate unpredictabil- ity for multicore systems. The TLB improves the performance of the system by caching the virtual page to physical frame mapping. But TLBs present a source of unpredictability for real-rime systems. Standard heap allocated regions do not provide guarantees on the TLB set that will hold a particular page translation.

Abstract: The Boolean Microgrid (BM) emulates the Internet by supplying discrete power and discrete data over a network link that follows Boolean logic and is not continuous as in a conventional 60-Hz-ac or dc microgrid. BM is thus a highly integrated cyber-physical system (CPS) that features the convergence of control, communication and the physical plant.

Recent years have seen medical devices go from being monolithic to a collection of integrated systems. Modern medical device systems have thus become a distinct class of cyber-physical systems called Medical Cyber Physical Systems (MCPS), featuring complex and close interaction of sophisticated treatment algorithms with the physical aspects of the system, and especially thepatient whose safety is of the utmost concern. The goal of this project is to develop a new paradigm for the design and implementation of safe, secure, and reliable MCPS, which includes:

Abstract: A primary objective of this research is to establish a foundational framework for smart grids that enables significant penetration of renewable DERs and facilitates flexible deployments of plug-and-play applications.  Under this common theme, the PIs have taken  a  data  analytics  perspective  to  explore  rigorous  approaches  in  modeling, optimization, and control of wind generation integration.

Abstract: The current project, collaboration between the MIT and the University of Michigan, concerns the development of complex models to describe driver decision making at intersections.  MIT is focused on modeling and Michigan on data collection and method development. Two experiments have been conducted so far (24 subjects/experiment) using a NADS MiniSim driving simulator for which extensive programming was required.  Subjects drove through 2 sets of 70 intersections following a lead vehicle (and being followed).

Abstract: Motivation: Energy infrastructure is a critical underpinning of modern society. To ensure its reliable operation, a nation-­‐wide or continent-­‐wide situational awareness system is essential to provide high-­‐resolution understanding of the system dynamics such that proper actions can be taken in real-­‐time in response to power system disturbances and to avoid cascading blackouts. The power grid represents a typical highly dynamic cyber-­‐physical system (CPS).