Login / Signup
A Compositional Approach to Safety-Critical Resilient Control for Systems with Coupled Dynamics.
Abdullah Al Maruf
Luyao Niu
Andrew Clark
J. Sukarno Mertoguno
Radha Poovendran
Published in:
CDC (2022)
Keyphrases
</>
safety critical
formal methods
embedded systems
safety analysis
fault tolerant
support systems
nuclear power plant
management system
intelligent systems
learning systems
agent architecture
control system
adaptive systems