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.
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.
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.
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.
Sustainable energy systems of the future will no longer be able to rely on the current paradigm that energy supply follows demand. Many of the renewable energy resources do not produce power on demand, and therefore there is a need for new market structures that motivate sustainable behaviors by participants.
Design of cyber-physical systems today relies on executable models. Designers develop models, simulate them, nd defects, and improve their designs before the system is built, thus greatly reducing the design costs.
Submitted by John Stankovic on Fri, 12/18/2015 - 4:38pm
Abstract:
Millions of mobile applications (apps) are being developed in domains such as energy, health, security, and entertainment. The US FDA expects that there will be 500 million smart phone users downloading healthcare related apps by the end of 2015. Many of these apps will perform interventions to control human physiological parameters such as blood pressure and heart rate.
