Abstract: Project Description

Abstract: Rapid industrialization and increased pollution impose severe threats to the availability and quality of water resources worldwide. Currently, many wastewater treatment plants are discharging treated wastewater containing significant amounts of nutrients, such as nitrogen, ammonium, and phosphate ions, directly into the water system, posing significant threats to the environment. Finding a solution for effective treatment and safe discharge of wastewater has become an urgent and challenging task.

Abstract: The main goal of this project is to lay down the foundations of a novel approach based on opportunistic statetriggered aperiodic control for networked cyberphysical systems that leverages their cooperative nature. Most networked controllers are not implementable over embedded digital computer systems because they rely on continuous time or synchronous executions that are costly to enforce.

Abstract: Despite the contributions of automation to vehicular (aircraft, automobile, etc.) safety and efficiency, the problems associated with technology-centered rather than human-centered automation are well known: decreased operator situation awareness, deterioration of manual control skills, difficulties operators experience when trying to jump into the loop when needed, and so forth.

Abstract: The objective of this research is to design a semi-automated, efficient, and secure emergency response system to reduce the time it takes emergency vehicles to reach their destinations, while increasing the safety of non-emergency vehicles and emergency vehicles alike. Providing route and maneuver guidance to emergency vehicles and non-emergency vehicles will make emergency travel safer and enable police and other first responders to reach and transport those in need, in less time.

Abstract: This project develops an integrated framework of communications, computation and control for understanding wide-area power system performance in the face of unpredictable disturbances. The power system is chosen as a particularly challenging cyber physical system (CPS) due to its extreme dimension, geographic reach and high reliability requirements.

Abstract: The ongoing research aims to develop rules to study and methods to coordinate a network of fully and partially self-driving vehicles, interacting with conventional vehicles driven by people on a complex road grid, so that overall safety and efficiency of the traffic system can be improved.

Abstract: Many practical systems can be categorized as cyber physical systems (CPSs), such as smart grid, unmanned aerial vehicles (UAVs) and robotic networks. A typical CPS consists of physical dynamics, sensors, communication network and controllers. The communication network is of key importance in CPS, since it mimics the nerve system in the human body. Hence, it is critical to study how the communication network in CPS should be analyzed and designed.

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.

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.