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.

When dealing with safety-critical programmed molecular systems, it is essential to be able to observe the behavior of a system. The capability to  log the states of a system over time, for later observation, is critical to help determine when and how faults have occurred.

Automation is being increasingly introduced into every man-made system. The thrust to achieve trustworthy autonomous systems, which can attain goals independently in the presence of significant uncertainties and for long periods of time without any human intervention, has always been enticing. Significant progress has been made in the avenues of both software and hardware for meeting these objectives. However, technological challenges still exist and particularly in terms of decision making under uncertainty.

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.

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.

This project develops a theoretical framework as well as software tools to support testing and verification of a Cyber-Physical System (CPS) within a Model-Based Design (MBD) process. The theoretical bases of the framework are stochastic optimization methods, and robustness notions of formal specification languages.

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.