Risk-sensitive safety analysis using Conditional Value-at-Risk.
Margaret P. ChapmanRiccardo BonalliKevin M. SmithInsoon YangMarco PavoneClaire J. TomlinPublished in: CoRR (2021)
Keyphrases
- risk sensitive
- safety analysis
- nuclear power plant
- optimal control
- safety critical
- utility function
- control system
- fault model
- markov decision processes
- symbolic model checking
- model free
- control policies
- reliability analysis
- optimality criterion
- expected utility
- markov decision problems
- average cost
- artificial intelligence
- condition monitoring
- decision theoretic
- control strategy
- formal methods
- infinite horizon
- agent architecture
- dynamic programming
- cooperative
- decision making