Applications of CPS technologies essential for the functioning of a society and economy.
file
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.
file
As self-driving cars are being introduced into road networks, the overall safety and efficiency of the resulting traffic system must be established and it must be guaranteed. This project develops methods to analyze and coordinate networks of fully and partially self-driving vehicles that interact with conventional human-driven vehicles on road grids. The outcomes of the research add to the understanding of more general systems with reconfigurable hierarchical structures and they help create designs with minimal computation and communication delay.
file
This project combines Cyber Physical Systems (CPS) and gigabit networks to address major health concerns due to air pollution. A wide range of health outcomes are affected by air pollution. In March 2014 the World Health Organization (WHO) released a report that in 2012 alone, a staggering 7 million people died as a result of air pollution exposure, one in eight of the total global deaths. A major component of this pollution is airborne particulate matter. Approximately 50 million Americans have allergic diseases.
file
Executable Medical Best Practice Guidance (EMBG) system is designed to prevent unjustified deviation from medical best practice guidance across a hospital network, consisting of rural hospitals, regional center hospital and ambulance service.
Like a GPS-enabled navigation system, EMBG provides patient state by state treatment advises based on dynamic patients' conditions and clinical environment. The safety of the EMBG system is built upon formal theoretical verifications and clinical validations in collaboration with medical professionals.
file
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.
file
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.
file
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.
