Sign in
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:
CoRR (2022)
Keyphrases
</>
safety critical
formal methods
safety analysis
embedded systems
agent architecture
fault tolerant
control system
support systems
data mining
management system
learning systems
semi automatic
adaptive systems
nuclear power plant