Sample-Based Bounds for Coherent Risk Measures: Applications to Policy Synthesis and Verification
Abstract
The dramatic increase of autonomous systems subject to variable environments has given rise to the pressing need to consider risk in both the synthesis and verification of policies for these systems. This paper aims to address a few problems regarding risk-aware verification and policy synthesis, by first developing a sample-based method to bound the risk measure evaluation of a random variable whose distribution is unknown. These bounds permit us to generate high-confidence verification statements for a large class of robotic systems. Second, we develop a sample-based method to determine solutions to non-convex optimization problems that outperform a large fraction of the decision space of possible solutions. Both sample-based approaches then permit us to rapidly synthesize risk-aware policies that are guaranteed to achieve a minimum level of system performance. To showcase our approach in simulation, we verify a cooperative multi-agent system and develop a risk-aware controller that outperforms the system's baseline controller. We also mention how our approach can be extended to account for any g-entropic risk measure - the subset of coherent risk measures on which we focus.
Additional Information
Attribution 4.0 International (CC BY 4.0) This work was supported by the AFOSR Test and Evaluation Program, grant FA9550-19-1-0302.Attached Files
Submitted - 2204.09833.pdf
Files
Name | Size | Download all |
---|---|---|
md5:cd6591c8b947f578582abb594a29ccb8
|
1.2 MB | Preview Download |
Additional details
- Eprint ID
- 115563
- Resolver ID
- CaltechAUTHORS:20220714-194303859
- FA9550-19-1-0302
- Air Force Office of Scientific Research (AFOSR)
- Created
-
2022-07-15Created from EPrint's datestamp field
- Updated
-
2023-06-02Created from EPrint's last_modified field