Abstract: Medical devices are typically developed as stand-alone units. Current industrial Verification and Validation (V&V) techniques primarily target stand-alone systems. Moreover, the US Food and Drug Administration’s (FDA) regulatory clearance processes are designed to approve such devices that are integrated by a single manufacturer with complete control over all components.

Abstract: This project is to develop dynamical models of distributed computation systems that are resilient to noise, unreliable communication and other source uncertainty. The key idea is centered on the development of optimization systems. These are dynamical systems that (solve) stabilize around the optimal solution of a (static) convex optimization problem. If the optimization problem is separable, then the designed dynamic system decomposes into a set of locally interacting dynamic systems.

Abstract: The CrAVES project seeks to lay down intellectual foundations for credible autocoding of embedded systems, by which model-level control system specifications that satisfy given open-loop and closed-loop properties are automatically transformed into source code guaranteed to satisfy the same properties. The goal is that the correctness of these codes can be easily and independently verified by dedicated proof checking systems.

Abstract: The realization of a robust infrastructure that enables simultaneous transport of many micron and smaller sized particles will have a transformative impact on a vast range of areas such as medicine, drug development, electronics, and bio-materials.

Abstract: Success of numerous long-term robotic network missions in space, air, ground, and water is measured by the ability of the robots to operate for extended time in highly dynamic and potentially hazardous operating environments. The proposed work responds to the urgency for development of innovative mobile power distribution systems that lower deployment and operating costs, while simultaneously increasing mission efficiency, and supporting the network’s need to be responsive to changing physical conditions.

Abstract:

Abstract: We developed a systematic analytical and computational framework for the vulnerability analysis and mitigation of data integrity attacks on Phasor Measurement Units (PMUs) employed for wide area monitoring and control of power system. The analytical framework is based on the stability theory of stochastic dynamical system and it allows one to systematically determine the PMUs most critical to power network security.

Abstract: People with upper extremity disabilities are gaining increased independence through the use of assistive robotic arms, but performing tasks that require many small precise movements remains difficult. In fact, a confounding factor is that the more severe a person’s motor impairment, the more limited are the control interfaces available to them to operate the system.

Abstract: During the development process of CPS, an analysis of whether the system operates safely in its target environment is of utmost importance. For many applications of CPS research such as the transportation industry, this implies interconnected research in formal verification of CPS with research on knowledge representation and reasoning in multi-agent systems. The need for such research has become tragically clear in transportation accidents, one notorious case being the Air France 447 flight incident.

Abstract: The objective of this research is to develop the theory, hardware and computational infrastructure that will enable automatically transforming user-defined, high-level tasks into correct, low-level perception informed control and configurations for modular robots.