Login / Signup

Improving the Feasibility of Moment-Based Safety Analysis for Stochastic Dynamics.

Peter DuKatherine Driggs CampbellRoy 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