Abstract: The objective of this research is to develop methods and tools for a multimodal and multi-sensor assessment and rehabilitation system called CPLAY to help children with Cerebral Palsy (CP). CPLAY collects and processes multiple types of stimulation and performance data while a child is playing in different types of therapy games simulating traditional therapy sessions.

Abstract:  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.

Abstract: We describe the process towards the design of a safe, reliable, and intuitive emergency treatment unit to facilitate a higher degree of safety and situational awareness for medical staff, leading to an increased level of patient care during an epidemic outbreak in an unprepared, underdeveloped, or disaster stricken area.

Abstract: Following Smart Cities Initiative from White House, this project was aimed to address urban transportation challenges through ridership sharing in both time and space across different transportation modes. Our research project is uniquely built upon large-scale urban infrastructure systems across different cities in the world, including NYC, Washington D.C., San Francisco, Rome, Beijing, Shanghai and Shenzhen.

Transforming the traditional, single-vehicle-based safety and efficiency control, next-generation vehicles are expected to form platoons for optimizing roadway usage and fuel efficiency while ensuring transportation safety. Two basic enablers of vehicle platooning are vehicular wireless networking and platoon control.

Abstract: This project addresses the safety and security issues that arise when giving users remote-access to a multi-robot research test-bed, where mobile robots can coordinate their behaviors in a collaborative manner. Through a public interface, users are able to schedule, and subsequently upload, their own code and run their experiements, while being provided with the scientific data produced through the experiment.

Abstract: KeYmaera X is a theorem prover for specifying and verifying correctness properties of hybrid systems (systems that mix discrete and continuous dynamics). KeYmaera X implements differential dynamic logic (dL) and provides a high degree of control over automated proof search.

Abstract:  Wireless sensor-actuator networks (WSAN) are systems consisting of numerous sensing and actuation devices that interact with the environment and coordinate their activities over a wireless communication network. WSANs represent an important class of cyber-physical system (CPS) found in our national civil infrastructure. This project addresses the issue of resilience in WSANs.

Abstract: The project is to develop an Executable Medical Best Practice Guidance (EMBG) system to assist the adherence of stroke patient care at a rural hospital to the best medical practice as if the patient care is at a regional hospital. The EMBG system is adaptive to the changing needs of stroke patients and physical resource availability, similar to a GPS-enabled navigation system that can adapt to driver’s preference and accommodate road condition changes.

Abstract:  With the increasing popularity of mobile computing, cyber physical systems are merging into major mobile systems of our society, such as public transportation, supply chain systems, health and wellness, and taxi networks. Mobile CPSs interact with phenomena of interest at different locations and environments, and where the context information (e.g., network availability and connectivity) about these physical locations might not be available.