Abstract: Cyber-Physical Systems (CPS) encompass a large variety of systems including example future energy systems (e.g. smart grid), homeland security and emergency response, smart medical technologies, smart cars and air transportation. One of the most important challenges in the   design and deployment of Cyber-Physical Systems is how to formally guarantee that they are amenable to effective human control.

Abstract: The objective of this research is an injection of new modeling techniques into the area of Cyber-Physical Systems (CPSs). The approach is to design new architectures for domain- specific modeling tools in order to permit feedback from analysis, validation, and verification engines to influence how CPSs are designed. This project outlines new research into the integration of existing, heterogeneous modeling languages in order to address problems in CPS design, rather than a single language used to design any CPS.

Abstract: Despite their importance within the energy sector, buildings have not kept pace with technological improvements and particularly  the evolution of intelligent features. A primary obstacle  in enabling intelligent buildings is their highly distributed and diverse nature.

Abstract: A hybrid system is a dynamical model that describes the coupled evolution of both continuous‐ valued variables and discrete patterns. A prime example of such a system is a power electronic circuit, where the semiconductor transistors behave as ideal switches whose switching actions effectively change the circuit topology (i.e., the discrete pattern) that in turn defines the dynamics of currents and voltages (i.e., the continuous variables) and hence the switching actions.

Abstract: Transforming the traditional, single-vehicle-based safety and efficiency control, next-generation vehicles are expected to form platoons for optimizing roadway usage and fuel efficiency while ensuring transportation safety. Two basic enablers of vehicle platooning are vehicular wireless networking and platoon control.

Abstract: Motivation: Reliable and resilient operation of cyber-physical systems (CPS) of societal importance such as Smart Electric Grids is critical. Efficient models and tools to perform timely fault diagnostics and prognostics are needed for curtailing systemic failures such as power blackouts. Varying system state caused by the fluctuating power consumption, dynamic control actions, physical component degradation, and interactions with possible software anomalies make the failure analysis, prediction, and mitigation difficult.

Abstract: This project focuses on the formal design of semi-autonomous automotive Cyber Physical Systems (CPS). Rather than disconnecting the driver from the vehicle, the goal is to obtain a vehicle where the degree of autonomy is continuously changed in real-time as a function of certified uncertainty ranges in driver behavior and environment reconstruction.

Abstract: Critical infrastructure systems – electricity grids, transportation networks, gas and water distribution networks – serve the needs of millions of people with extraordinary reliability. These large-scale systems comprise 106 − 108 individual elements (humans and hardware) whose actions are inconsequential in isolation but profoundly important in aggregate. This proposal focuses on coordination of these elements in smart infrastructure systems with integrated ubiquitous sensing, communications, computation, and control.

Abstract: A primary objective of this research is to establish a foundational framework for smart grids that enables significant penetration of renewable DERs and facilitates flexible deployments of plug-and-play applications.  Under this common theme, the PIs have taken a data analytics perspective to explore rigorous approaches in modeling, optimization, and control of wind generation integration.

Abstract: Growing demands on our civil infrastructure have heightened the need for smart structural components and systems whose behavior and performance can be controlled under a variety of loading scenarios such as high winds and earthquakes.