2013

file

Visible to the public Identification of Human Feedforward Control in a Cyber Grasp and Twist Task

Submitted by James Freudenberg on Thu, 10/24/2013 - 2:13pm. Contributors:

Abstract:

When mechanical linkages are replaced by electronic communication and control systems, certain undesirable phenomena can arise that may be difficult to anticipate. In simple cases the lack of dissipativity in the cyber link unmasks instabilities that were present but suppressed in the system with a mechanical (physical) link. In more complex cases, there may be no simple physical equivalent to the system containing the cyber link, and a damping coefficient or dissipative element may not be identifiable.

file

Visible to the public An Architectural Approach to Heterogeneous Modeling and Verification of CPS

Submitted by ivan on Thu, 10/24/2013 - 1:59pm. Contributors:

Abstract:

Current methods for design and verification of cyber-physical systems (CPS) lack a unifying framework due to the complexity and heterogeneity of the constituent elements and their interactions. Heterogeneous models describe different aspects of a CPS at varying levels of abstraction and using different formal languages. This prevents engineers from detecting inconsistencies among models and reasoning at the system level to verify specifications at design time.

file

Visible to the public Assuring the Safety, Security and Reliability of Medical Device Cyber Physical Systems

Submitted by Insup Lee on Thu, 10/24/2013 - 12:29pm. Contributor:

Abstract:

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 the patient 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:

file

Visible to the public Secure Telerobotics

Submitted by chizeck on Thu, 10/24/2013 - 12:11pm. Contributors:

Abstract:

Telerobotic systems, such as those used in rescue operations, remotely-operated vehicles or the next-generation robotic surgery, human operators interact with robots through a communi- cation network.

file

Visible to the public Efficient Control Synthesis and Learning in Distributed Cyber-Physical Systems

Submitted by Herbert Tanner on Thu, 10/24/2013 - 12:03pm. Contributors:

Abstract:

Scientific challenges: How can multiple cooperative cyber-physical systems communicate and coor- dinate to accomplish complex high-level tasks within unknown, dynamic and adversarial environments?

file

Visible to the public Towards Neural-controlled Artificial Legs using High-Performance Embedded Computers

Submitted by helenhehuang on Thu, 10/24/2013 - 11:58am. Contributors:

Abstract:

The objective of this study is to develop a high-performance and robust neural-machine interface (NMI) for artificial legs, which can accurately and reliably identify user intent in real-time.

file

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

Submitted by Hairong Qi on Thu, 10/24/2013 - 11:43am. 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).

file

Visible to the public Holistic Design Methodology for Automated Implementation of Human-in-the-Loop Cyber-Physical Systems

Submitted by schirner on Thu, 10/24/2013 - 11:33am. Contributors:

Abstract:

Our overarching goal is to develop a framework for design automation of cyber-physical systems that augment human-in-the-loop inference and interaction by complex systems operating at the interface of computation and physical environment.

file

Visible to the public Language Of Surgery – Human Motion Modeling

Submitted by gdhager on Thu, 10/24/2013 - 11:23am. Contributors:

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.