Optimal Safety-Critical Control of Epidemics.

Brooks A. Butler Philip E. Paré

Published in: IEEE Control. Syst. Lett. (2023)

Keyphrases

safety critical
control system
safety analysis
formal methods
fault tolerant
embedded systems
agent architecture
support systems
expert systems
nuclear power plant
regulatory requirements
real time
public health
management system
data model
user interface
decision making