Safety-Critical Online Control with Adversarial Disturbances.

Bhaskar Ramasubramanian Baicen Xiao Linda Bushnell Radha Poovendran

Published in: CoRR (2020)

Keyphrases

safety critical
formal methods
real time
fault tolerant
control system
safety analysis
embedded systems
control method
nuclear power plant
databases
learning process
support systems