Large scale deployment of connected and automated vehicles is impeded by significant technical and scientific gaps, especially when it comes to achieving real-time and high accuracy situational awareness for cooperating vehicles. This CAREER project aims at closing these gaps through developing fundamental information networking methodologies for coordinated control of automated systems. These methodologies are based on the innovative concept of modeled knowledge propagation. The approach is to utilize the novel concepts of model communication and its derived multi-resolution networking.

Energy storage and power distribution comprise an integral part of the engineered systems that play critical roles in people’s everyday lives, including transportation, utility, health, and security. However, in today’s cyber-physical platforms, the generation, storage, allocation, and distribution of energy among modules is often managed in a haphazard and rigid manner that is fixed at the system design stage.

Overview: The goal of this project is to devise computational methods for the optimal coordination of autonomous mobility-on-demand (AMoD) systems, with a central focus on accounting for the couplings between the power and transportation networks. AMoD is a rapidly developing mode of transportation wherein self-driving, electric vehicles transport passengers on demand in a given environment (similar to an Uber system, but with self-driving, electric vehicles).

Cyber-physical systems (CPS), particularly those within the safety-critical domain, must continually ensure that their requirements are being satisfied. To support online requirements satisfaction, a CPS can be modeled with self-adaptive characteristics (SA-CPS) to enable the system to self-reconfigure as uncertainty manifests in both the environment and the system itself.

Parking can take up a significant amount of the trip costs (time and money) in urban travel. As such, it can considerably influence travelers' choices of modes, locations, and time of travel. The advent of smart sensors, wireless communications, social media and big data analytics offers a unique opportunity to tap parking's influence on travel to make the transportation system more efficient, cleaner, and more resilient. A cyber-physical social system for parking is proposed to realize parking's potential in achieving the above goals.

Our research addresses urgent challenges in high confidence testing of automotive systems due to on-going and anticipated introduction of advanced, connected, and autonomous vehicle technologies.  We have pursued the development of tools for maneuver and data optimization to determine test trajectories and scenarios to facilitate vehicle testing.   Our approaches exploit game theoretic traffic interaction modeling to inform in-traffic relevant trajectories, model-free optimization to identify trajectories falsifying time domain specifications, and the development of Smart Bla