Independent procedures that are used together for checking that a product, service, or system meets requirements and specifications and that it fulfills its intended purpose.
Submitted by Suhas Diggavi on November 6th, 2014
Submitted by Jessy Grizzle on November 6th, 2014
Submitted by Scott Smolka on November 6th, 2014
Submitted by Eric Feron on November 6th, 2014
Abstract:
As devices in the world around us are increasingly connected, the possibilities about how to use these devices and the data have exploded. Many of these scenarios such as home automation and office productivity require software tools beyond data visualizations, to express user intents, check for bugs, and ensure interactions do not cause harm to the users and physical world.
Submitted by Feng Zhao on November 6th, 2014
File
Autonomy Protocols - From Human Behavioral Modeling to Correct-By-Construction, Scalable Control
Submitted by Behcet Acikmese on November 6th, 2014
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:
Submitted by Oleg Sokolsky on November 6th, 2014
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.
Submitted by Junshan Zhang on November 6th, 2014
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).
Submitted by Hairong Qi on November 6th, 2014
Abstract:
The objective of this research is the development of a framework for assessing the reliability and safety of robotic surgery systems during development, field testing, and general deployment. The framework uses accurate simulations to assess pre-clinical reliability before deployment. After deployment, the framework uses data collection through online monitoring of the system as it is being used in the field, followed by analysis to obtain assessments of operational reliability and safety.
Submitted by M. Cenk Cavusoglu on November 6th, 2014