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: Stochastic hybrid systems are a class of stochastic models that incorporates both continuous- and discretestate dynamics. They have wide applications in modeling various processes, such as communication networks [4] and biochemical reactions [6]. In this work, we focus on continuous-time stochastic hybrid systems (CTSHS); specifically, we propose a framework using Metric Interval Temporal Logic (MITL) [1] to describe the systems’ behavior and verifying the MITL formulas via model reduction and sampling.

Abstract: Existing platforms are built with a static network connecting microprocessor, radio, clock system, and other components. This static configuration prevents researchers from experimentally validating the trade-offs between the way that clocks are conditioned and distributed, and the performance of the embedded system. In particular, such design decisions have major impact on time synchronization.

Abstract: Episodic brain disorders such as epilepsy have a considerable impact on a patient’s productivity and quality of life and may be life-threatening when seizures cannot be controlled with medications. We will create a second generation brain-implantable sensing and stimulating device (BISSD) based on CPS principles and practice.

Abstract:  The project seeks to develop cyber-enabled exercise machines (CEEMs), which will be characterized by: i. intrinsic safety, ii. an extended use of sensing and estimation of biomechanical data, iii. real-time adaptation and guidance to the user to achieve optimal exercise. The project will develop optimality criteria on the basis of collective activation of target muscle groups.

Abstract: Modern distributed cyber-physical systems (CPSs) encounter a large variety of physical faults and cyber anomalies and in many cases, they are vulnerable to catastrophic fault propagation scenarios due to strong connectivity among the sub-systems.

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.

Abstract: Cyber-Physical Systems (CPS) that modify themselves to improve performance or repair damage often recast the modular relationships among system components that enable Verification and Validation (V&V). We focus on in-flight control adaptation of damaged Flapping-Wing Micro Air Vehicles (FW-MAV).

Abstract: This project addresses the safety and security issues that arise when giving users remote-access to a multi-robot research test-bed, where mobile robots can coordinate their behaviors in a collaborative manner. Through a public interface, users are able to schedule, and subsequently upload, their own code and run their experiments, while being provided with the scientific data produced through the experiment.

Abstract:  This project addresses urgent challenges in high confidence validation and verification of automotive vehicles due to on-going and anticipated introduction of advanced, connected and autonomous vehicles into mass production. Since such vehicles operate across both physical and cyber domains, faults can occur in traditional physical components, in cyber components (i.e., algorithms, processors, networks, etc.), or in both.