Safety-Critical Control of Active Interventions for COVID-19 Mitigation.

Aaron D. Ames Tamás G. Molnár Andrew W. Singletary Gábor Orosz

Published in: IEEE Access (2020)

Keyphrases

safety critical
nuclear power plant
fault tolerant
embedded systems
control system
formal methods
support systems
databases
artificial intelligence
user interface
software engineering
agent architecture
adaptive systems