Abstract: Overview. The fundamental challenge in cyber-physical systems is the confluence of distinct scientific and engineering models, methods, and tools for cyber and physical systems. Cyber systems are primarily about processing information, formally modeled as patterns of bits. Physical systems are primarily about structure and dynamics, the evolution of the state of the system in time. There are certainly connections between these models, methods, and tools.

Abstract:

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: This project develops an integrated design and simulation environment for the creation of miniature capsule robots (MCRs). An MCR is a biocompatible Cyber-Physical System (CPS) designed to operate in the human body to accomplish diagnostic or therapeutic tasks (e.g., colonoscopy, abdominal surgery, etc.). A typical MCR has to fulfill three main constraints: safety, low power operation and small size. Advances in miniaturization of electronic devices have made MCRs a reality.

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.

Abstract: In this project, we are working on the broad problem of maximizing the penetration of renewables in smart grid. To that end, we are developing strategies for optimal demand response, operation, and real-time pricing. In particular, we propose theory for optimal operation for the independent system operator (ISO), and for the load serving entity (LSE).

Abstract: