Uncertainty Quantification for Recursive Estimation in Adaptive Safety-Critical Control.

Max H. Cohen Makai Mann Kevin Leahy Calin Belta

Published in: CoRR (2023)

Keyphrases

safety critical
adaptive systems
safety analysis
control system
formal methods
nuclear power plant
embedded systems
agent architecture
regulatory requirements
object oriented
learning systems
fault tolerant
support systems