Sign in
Improving the Feasibility of Moment-Based Safety Analysis for Stochastic Dynamics.
Peter Du
Katherine Driggs Campbell
Roy Dong
Published in:
IEEE Trans. Autom. Control. (2023)
Keyphrases
</>
safety analysis
nuclear power plant
control system
safety critical
fault model
dynamical systems
symbolic model checking
neural network
dynamic systems