A technical operation or procedure that consists of determination of one or more characteristics of a given product, process or service according to a specified procedure.
file
Abstract:
A more recent thrust of our work in this project focuses on continuous control tasks performed by a human operator. Tracking random-appearing and oscillatory signals is a human in the loop task that has been used in many areas such as piloting of vehicles, rehabilitation engineering, and neuroscience. Understanding the control strategies in a human operator for these tracking tasks is of great importance in these areas.
file
Abstract:
Growing demands on our civil infrastructure have heightened the need for smart structural components and systems whose behavior and performance can be controlled under a variety of loading scenarios such as high winds and earthquakes.
file
Abstract:
This project addresses highly dynamic Cyber-Physical Systems (CPSs) understood as systems where a computing delay of a few milliseconds or an incorrectly computed response to a disturbance can lead to catastrophic consequences. Such is the case of advanced safety systems on passenger cars, unmanned air vehicles performing critical maneuvers such as landing, or disaster and rescue response bipedal robots rushing through the rubble to collect information or save human lives.
file
Abstract:
Large-scale critical infrastructure systems, including energy and transportation networks, comprise millions of individual elements (human, software and hardware) whose actions may be inconsequential in isolation but profoundly important in aggregate. The focus of this project is on the coordination of these elements via ubiquitous sensing, communications, computation, and control, with an emphasis on the electric grid.
file
Abstract:
Cyber--physical systems (CPS) have become increasingly prevalent in applications including health care, energy, and transportation. The tight coupling between cyber and physical components of CPS implies that cyber--attacks can degrade the safety, availability, and performance of physical components. The cyber components also introduce multiple entry points to the CPS, lowering the cost of attacks compared to purely physical systems.
file
Abstract:
This project's overall objective is to enable assertion-driven development and debugging of cyberphysical systems (CPS). As opposed to traditional uses of assertions in software engineering, CPS demand a tight coupling of the cyber with the physical, especially to aid system validation. This project will show how physical system models can be used to create and apply assertions to help produce methods and tools that will facilitate verification and validation of cyberphysical systems.In the first year of this project, an emp
file
Abstract:
Our objective is to engineer vehicles that can collaborate on the use of a roadway. The protocols that define the collaboration must be provably safe, and the implementations of the protocols by different manufacturers must be guaranteed to inter-operate. As an example we are using a collaborative merge protocol, that assists a driver merging between two vehicles in an adjacent lane.
file
Abstract:
This project develops a theoretical framework as well as software tools to support testing and verification of a Cyber-Physical System (CPS) within a Model-Based Design (MBD) process. The theoretical bases of the framework are stochastic optimization methods, and robustness notions of formal specification languages.
file
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.
