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.

Abstract: Until now, the "cyber" component of automobiles has consisted of control algorithms and associated software for vehicular subsystems designed to achieve one or more performance, efficiency, reliability, comfort, or safety (PERCS) goals, primarily based on short-­term intrinsic vehicle sensor data. However, there exist many extrinsic factors that can affect the degree to which these goals can be achieved.

Abstract: Many practical barriers continue to exist for a blind individual who strives to live an independent and active life, despite decades of development of assistive technologies. This project addresses the following two most prominent challenges: (1) disparity in information-sharing among people with visual impairment and its limited understanding by the research community; and (2) lack of methods and tools for effectively addressing the disparity.

Abstract: Cyber-physical systems regulating critical infrastructures, such as electrical grids and water networks, are increasingly geographically distributed, necessitating communication between remote sensors, actuators and controllers. The combination of networked computational and physical sub- systems leads to new security vulnerabilities that adversaries can exploit with devastating consequences.

Abstract: Cyber-Physical Systems (CPS) are being increasingly deployed in critical infrastructures such as electric-power, water, transportation, and other networks. These deployments are facilitating real-time monitoring and closed-loop control by exploiting the advances in wireless sensor-actuator networks, the internet of “everything,” data-driven analytics, and machine-to-machine interfaces. CPS operations depend on the synergy of computational and physical components.

Abstract: This project explores balancing performance considerations and power consumption in cyber-physical systems, through algorithms that switch among different modes of operation (e.g., low-power/high-power, on/off, or mobile/static) in response to environmental conditions. The main theoretical contribution is a computational, hybrid optimal control framework that is connected to a number of relevant target applications where physical modeling, control design, and software architectures all constitute important components.

Abstract: The goal of this research is to investigate and demonstrate the capabilities of hybrid computers, combining both discrete and continuous computation, in the context of cyber-physical systems.

Abstract: Cyber-physical system (CPS) applications for urban systems often involve sophisticated interaction and coordination between physical and computational resources with a large number of sensing and actuation devices that share information communication networks.

Abstract: During the development process of CPS, an analysis of whether the system operates safely in its target environment is of utmost importance. This entails two interconnected research goals in the research areas of system design and system verification, which tie together research in formal verification of CPS with research on knowledge representation and reasoning in multi-agent systems:

Abstract: Effective response and adaptation to the physical world, and rigorous management of such behaviors, are mandatory features of cyber-physical systems (CPS). However, achieving such capabilities across diverse application requirements surpasses the current state of the art in system platforms and tools. Existing systems do not support the expression, integration, and enforcement of such properties that span cyber and physical domains.