
NSF Org: |
CNS Division Of Computer and Network Systems |
Recipient: |
|
Initial Amendment Date: | August 9, 2017 |
Latest Amendment Date: | August 24, 2021 |
Award Number: | 1739333 |
Award Instrument: | Standard Grant |
Program Manager: |
Ralph Wachter
rwachter@nsf.gov (703)292-8950 CNS Division Of Computer and Network Systems CSE Directorate for Computer and Information Science and Engineering |
Start Date: | September 1, 2017 |
End Date: | August 31, 2021 (Estimated) |
Total Intended Award Amount: | $800,000.00 |
Total Awarded Amount to Date: | $800,000.00 |
Funds Obligated to Date: |
|
History of Investigator: |
|
Recipient Sponsored Research Office: |
1001 EMMET ST N CHARLOTTESVILLE VA US 22903-4833 (434)924-4270 |
Sponsor Congressional District: |
|
Primary Place of Performance: |
1001 N Emmet Street Charlottesville VA US 22904-4195 |
Primary Place of
Performance Congressional District: |
|
Unique Entity Identifier (UEI): |
|
Parent UEI: |
|
NSF Program(s): | CPS-Cyber-Physical Systems |
Primary Program Source: |
|
Program Reference Code(s): |
|
Program Element Code(s): |
|
Award Agency Code: | 4900 |
Fund Agency Code: | 4900 |
Assistance Listing Number(s): | 47.070 |
ABSTRACT
The age of autonomous mobile systems is dawning -- from autonomous cars to household robots to aerial drones -- and they are expected to transform multiple industries and have significant impact on the US economy. Through wireless coordination, these systems create a whole that is greater than the sum of its parts. For example, vehicle "platoons" increase both highway throughput and fuel efficiency by traveling nearly bumper-to-bumper, using a wireless coupling to brake and accelerate simultaneously. Similarly, vehicles or drones can speed around blind corners using the sensing capabilities of the agents ahead of them. However, wireless communication is still considered too unreliable for safety-critical operations like these. This research is creating new techniques for safe wirelessly coordinated mobility, which is becoming increasingly important with the proliferation of autonomous mobile systems.
The approach is to develop a framework for joint modeling and analysis of motion and communication in order to find provably safe coordination paths. This includes new models that can predict the effect of motion paths on the wireless channel, together with new formal methods that can use these models in a tractable manner to synthesize control strategies with provable guarantees. The key innovations include new methods to assess the validity of a Radio Frequency model, new methods for tractable probabilistic reasoning over complex models of the wireless channel and protocols, and new control strategies that achieve provable safety guarantees for states that would have been unsafe without wireless coordination. If successful, this research will allow mobile systems to realize the performance benefits of wireless coordination while preserving the ability to provide provable safety guarantees. The focus is not on improving the wireless channel reliability; instead, the aim is to provide safety guarantees on the entire mobile system by modeling and analyzing the channel's dynamic properties in a rapidly changing environment.
PUBLICATIONS PRODUCED AS A RESULT OF THIS RESEARCH
Note:
When clicking on a Digital Object Identifier (DOI) number, you will be taken to an external
site maintained by the publisher. Some full text articles may not yet be available without a
charge during the embargo (administrative interval).
Some links on this page may take you to non-federal websites. Their policies may differ from
this site.
PROJECT OUTCOMES REPORT
Disclaimer
This Project Outcomes Report for the General Public is displayed verbatim as submitted by the Principal Investigator (PI) for this award. Any opinions, findings, and conclusions or recommendations expressed in this Report are those of the PI and do not necessarily reflect the views of the National Science Foundation; NSF has not approved or endorsed its content.
Intellectual Merit.
The outcomes of this project research contribute to new approaches that guarantee the safety of cyber-physical systems such as connected vehicles, accounting for the uncertainty of wireless networks. Traditional techniques for analyzing and developing control laws in safety-critical applications usually require a precise mathematical model of the system. However, there are many control applications where such precise, analytical models cannot be derived or are not readily available. Increasingly, data-driven approaches from machine learning are used in conjunction with sensor or simulation data in order to address these cases. Such approaches can be used to identify unmodeled dynamics with high accuracy. However, an objective that is increasingly prevalent in the literature involves merging or complementing the analytical approaches from control theory with techniques from machine learning. Cyber-physical systems such as self-driving vehicles, distributed sensor networks, aerial drones, and agile robots, need to interact with their environments that are ever-changing and difficult to model. These and many other applications motivate the use of data-driven decision-making and control together. However, if data-driven systems are to be applied in these new settings, it is critical that they be accompanied by guarantees of safety and reliability, as failures could be catastrophic. This project addresses problems in which there are interactions between model-based and data-driven systems and develops learning-based control strategies for the entire system that guarantees safety and optimality. Applications of these systems can be sought in autonomous networked mobile systems that are quickly making their way into the marketplace and are soon expected to serve a wide range of new tasks including package delivery, cooperatively fighting wildfires, and search and rescue after a natural disaster. As the number of these systems increases, their performance and capabilities can be greatly enhanced through wireless coordination. Wireless channel extremely contributes to the optimality and safety of the whole system, but it is a data-driven factor and there is no explicit mathematical model for it to be involved in the model-based part, that is mostly model predictive controller. This project develops novel approaches that integrates data-driven and model-driven control, while accounting for the uncertainty of wireless communication. In the end, the developed algorithms are applied to the motion planning of two connected autonomous vehicles with linear and nonlinear dynamics. The results illustrate that the controller can create a safe trajectory that not only is optimal in terms of control effort and highway capacity usage but also results in a more stable wireless channel with maximum packet delivery rate.
Broader Impacts.
This project outcomes are likely to have a societal impact on the future development of connected vehicles, enabling the performance benefits promised by wirelessly coordinated mobility while providing safety guarantees. The project team has presented the technical results widely to scientific and general audiences at venues such as ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS), IEEE International Intelligent Transportation Systems Conference (ITSC), Conference on Neural Information Processing Systems (NeurIPS). In addition, this project has provided research training opportunities for multiple PhD students at the University of Virginia. The PIs have also integrated the project findings into new educational materials for graduate courses, which have been shared with faculty at other institutions to use.
Last Modified: 11/30/2021
Modified by: Lu Feng
Please report errors in award information by writing to: awardsearch@nsf.gov.