Abstract

file

Visible to the public Tumor and Organs at Risk Motion: An Opportunity for Better DMLC IMRT Delivery Systems

Submitted by Ovidiu Daescu on Mon, 11/10/2014 - 1:17pm. Contributors:

Abstract:

Intensity modulated radiation therapy (IMRT) requires tight coordination between computational systems and the physical devices that deliver the prescribed treatment plan, making it a perfect example of cyber-physical system. The current approach to addressing tumor motion in radiation therapy is to treat it as a problem and not as a therapeutic opportunity. Existing treatment planning methods attempt to create dose distributions that are at best dosimetrically equivalent to the static case.

file

Visible to the public Towards Secure Networked Cyber-Physical Systems: A Theoretic Framework with Bounded Rationality

Submitted by saad.walid on Mon, 11/10/2014 - 1:17pm. Contributors:

Securing critical networked cyber-physical systems (NCPSs) such as the power grid or transportation systems has emerged as a major national and global priority. The networked nature of such systems renders them vulnerable to a range of attacks both in cyber and physical domains as corroborated by recent threats such as the Energetic Bear virus.

file

Visible to the public CAREER: Fundamental Limits and Practical Algorithms for Complex Cyber­‐Physical Systems

Submitted by karaman on Fri, 11/07/2014 - 1:26pm. Contributor:

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.

file

Visible to the public C2E2 Verification Tool

Submitted by mitras on Fri, 11/07/2014 - 1:13pm. Contributor:

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.

file

Visible to the public Bringing the Multicore Revolution to Safety-Critical Cyber-Physical Systems

Submitted by namhoonk on Fri, 11/07/2014 - 12:54pm. Contributors:

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.

file

Visible to the public Boolean Microgrid

Submitted by mazumder on Thu, 11/06/2014 - 4:11pm. Contributors:

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.

file

Visible to the public Architecture and Distributed Management for Reliable Mega-scale Smart Grids

Submitted by Junshan Zhang on Thu, 11/06/2014 - 3:46pm. Contributors:

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.

file

Visible to the public Advances in Driving Research - Models, Data, and New Methods

Submitted by Paul Green on Thu, 11/06/2014 - 3:42pm. Contributors:

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).

file

Visible to the public Achieving High-Resolution Situational Awareness in Ultra-Wide-Area Cyber-Physical Systems

Submitted by Hairong Qi on Thu, 11/06/2014 - 3:35pm. Contributors:

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).