Abstract: Many practical barriers continue to exist for a blind individual who strives to live an independent and active life, despite decades of development of assistive technologies. This project addresses the following two most prominent challenges: (1) disparity in information-sharing among people with visual impairment and its limited understanding by the research community; and (2) lack of methods and tools for effectively addressing the disparity.

Abstract: The ongoing research aims to develop rules to study and methods to coordinate a network of fully and partially self-driving vehicles, interacting with conventional vehicles driven by people on a complex road grid, so that overall safety and efficiency of the traffic system can be improved.

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.

Abstract:  While driving on your favorite route to your destination, have you ever wondered why the technology you are seeing as far as traffic management is concerned is so antiquated? My answer to that is the people and organization that manage the traffic are not “cyber-physicists” and Google does not run our traffic lights.

Abstract: The electric power CPS faces an alarmingly high risk of catastrophic damage from cyber-­‐attacks.   However, modeling cyber-­‐attacks, evaluating consequences, and developing appropriate countermeasures require a detailed, realistic, and tractable model of electric power CPS operations. The primary barrier is the lack of access to models for the complex legacy proprietary systems that the  electric power grid has relied on for decades.

Abstract: As self‐driving cars are introduced into road networks, the overall safety and efficiency of the resulting traffic system must be established and guaranteed. Numerous critical software‐related recalls of existing automotive systems indicate that current design practices are not yet up to this challenge. This project seeks to address this problem, by developing methods to analyze and coordinate networks of fully and partially self‐driving vehicles that interact with conventional human‐driven vehicles on roads.

Abstract: The objective of the project is to demonstrate the synergistic use of a cyber-physical infrastructure consisting of smart-phone devices; cloud computing, wireless communication, and intelligent transportation systems to manage vehicles in the complex urban network – through the use of traffic controls, route advisories and road pricing – to jointly optimize drivers’ mobility and the sustainability goals of reducing energy usage and improving air quality.

Abstract: Many practical barriers continue to exist for a blind individual who strives to live an independent and active life, despite decades of development of assistive technologies. This project addresses the following two most prominent challenges: (1) disparity in information-sharing among people with visual impairment and its limited understanding by the research community; and (2) lack of methods and tools for effectively addressing the disparity.