Traffic control management strategies have been largely focused on improving vehicular traffic flows on highways and freeways but arterials have not been used properly and pedestrians are mostly ignored. New urban arterial designs encourage modal shifts which gives further impetus to devise novel traffic control strategies to more quickly respond to changing conditions and salient events, while balancing safety and efficiency for all users.

Assistive machines such as robotic arms and powered wheelchairs promote independence and ability in those with severe motor impairments. As the field of assistive robotics progresses rapidly, these devices are becoming more capable and dextrous and as a result, higher dimensional and harder to control. The dimensionality mismatch between high-dimensional robots and low-dimensional control interfaces requires the control space to be partitioned into control modes. For full control of the robot the user switches between these partitions and this is known as mode switching.

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.

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.

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.