Safety-Critical Online Control with Adversarial Disturbances.

Bhaskar Ramasubramanian Baicen Xiao Linda Bushnell Radha Poovendran

Published in: CDC (2020)

Keyphrases

safety critical
formal methods
real time
fault tolerant
agent architecture
safety analysis
cooperative
embedded systems
nuclear power plant
control system
open source
support systems
multi agent
case based reasoning
object oriented