Sign in
Automating Operator Oversight in an Autonomous, Regulated, Safety-Critical Research Facility.
Tripti Samal
Rudra Dutta
Ismail Güvenç
Mihail L. Sichitiu
Brian A. Floyd
Thomas Zajkowski
Published in:
ICCCN (2022)
Keyphrases
</>
safety critical
formal methods
fault tolerant
agent architecture
nuclear power plant
embedded systems
safety analysis
support systems
cooperative
adaptive systems
real time
low cost
decision support system
regulatory requirements