In this project we consider the development of a Cyber Physical Freight Transportation System for load balancing in multimodal transportation networks. We use on line simulation models to capture the nonlinear and complex dynamical characteristics of the transportation networks. The simulation models generate the states of the network that are used to solve an optimization problem which finds the optimum routes.

Cyber-physical systems (CPS) may be targeted by multiple simultaneous attacks, with the goal of disrupting availability, safety, and performance of the CPS.  This project aims to develop a passivity-based framework for modeling, composing, and mitigating attacks on CPS, as well as verifying the models and mitigation.  Passivity is an energy dissipation property of dynamical systems that provides basic rules for composition and analysis of interconnected systems.

The project is developing novel architectures for control and diagnosis of complex cyber-­‐physical  systems  subject to stringent performance  requirements  in  terms  of safety, resilience, and adaptivity. These ever-­‐increasing demands necessitate the use of    formal    model-­‐based    approaches    to    synthesize    provably-­‐correct    feedback controllers.

This project is developing theoretical foundations and computational algorithms for synthesizing higher-level supervisory and information-acquisition control logic in cyber-physical systems that expend or replenish their resources while interacting with the environment. On the one hand, qualitative requirements capture the safety requirements that are imposed on the system as it operates. On the other hand, quantitative requirements capture resource constraints in the context of energy- aware systems.

Visual identification of structural flaws is quite valuable not only to predict an imminent collapse of a bridge, but also to determine effective precautionary measures and repairs.

This project is developing tools for traffic management and control using formal methods. By applying techniques such as model-checking and correct-byconstruction synthesis, we ensure that traffic flow satisfies high-level objectives expressed using temporal logics that guarantee desirable behavior such as avoiding congestion, maintaining high throughput, ensuring fairness of ramp metering strategies, and reacting to incidents or unexpected conditions.

This project aims to investigate energy and delay sensitive sensing, communication, decision-making and control in the context of cyber physical systems. We particularly focus on systems where sensors with varying accuracy observe heterogeneous source signals that must be processed and communicated and used for inference and decision-making purposes.