The document was issued by academy or academy organization.
file
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.
file
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.
file
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.
file
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.
file
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.
file
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.
file
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.
file
Abstract:
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.
file
Abstract:
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.
file
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.
