Safety Guarantees for Neural Network Dynamic Systems via Stochastic Barrier Functions.
Rayan MazouzKaran MuvvalaAkash RatheeshLuca LaurentiMorteza LahijanianPublished in: NeurIPS (2022)
Keyphrases
- dynamic systems
- neural network
- discrete event
- complex systems
- qualitative reasoning
- consistency based diagnosis
- dynamical systems
- state variables
- artificial neural networks
- linear time invariant
- qualitative models
- model based diagnosis
- self organizing maps
- neural network model
- fault diagnosis
- back propagation
- hopfield neural network
- ordinary differential equations
- particle filter
- state estimation
- closed loop
- basis functions
- network model
- continuous variables
- fuzzy logic
- neural network is trained
- bayesian networks
- genetic algorithm