Models having two kinds of components that produce the same or similar results.
file
Abstract:
The objective of this research is to develop new principles for creating and comparing models of skilled human activities, and to apply those models to systems for teaching, training and assistance of humans performing these activities. The models investigated will include both hybrid systems and language-based models. The research will focus on modeling surgical manipulations during robotic minimally invasive surgery. Models for expert performance of surgical tasks will be derived from recorded motion and video data.
file
Abstract:
The research is along two directions and a number of results have been published or submitted. Physical side: Algorithms have been developed to detect isotopes based on the ideas of group positive Lasso and the total least squares. Two papers have been either published or to appear in Radiation Measurements. Cyber-side: The research focused on detection of unknown sources.
file
Abstract:
The goal of this project is to develop fundamental theory, computationally efficient algorithms, and real- world experiments for the analysis and design of safety-critical cyber-physical transportation systems with human operators. We envision a nearby future in which roads will be populated by networks of smart vehicles that will cooperate with each other, with the surrounding infrastructure, and with their drivers to make transportation safer, more enjoyable, and more efficient.
file
Abstract:
The objective of this research is to develop a theory of "ActionWebs", that is, networked embedded sensor-rich systems, which can be tasked to coordinate multiple decision- makers. The approach is to first identify models of ActionWebs using stochastic hybrid systems, an interlinking of continuous dynamical physical models with discrete state representations of interconnection and computation. Second, algorithms will be designed for tasking individual sensors, based on information objectives for the entire system.
file
Abstract:
The project aims to establish a Cyber-Physical Infrastructure for urban environments and address fundamental problems that involve data collection, resource allocation, real-time decision making, safety, and security.
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:
The project pursues two major goals addressing the verification of cyber-physical systems. Firstly, one goal of this project is to develop theory, practice, and applications of verification techniques for distributed hybrid systems with flexible system structures that can change by reconfiguring the system.
file
Logical Foundations of Cyber-Physical Systems
CPS are Multi-dynamical Systems
Dynamic Logic of Multi-dynamical Systems
Proofs for CPS
Theory of CPS
Soundness and Completeness
Differential Invariants
Applications
Summary
