Safety Guarantees for Neural Network Dynamic Systems via Stochastic Barrier Functions.
Rayan MazouzKaran MuvvalaAkash RatheeshLuca LaurentiMorteza LahijanianPublished in: CoRR (2022)
Keyphrases
- bayesian networks
- dynamic systems
- neural network
- consistency based diagnosis
- discrete event
- complex systems
- qualitative reasoning
- dynamical systems
- state variables
- state estimation
- back propagation
- genetic algorithm
- qualitative models
- continuous variables
- particle filter
- fuzzy logic
- recurrent neural networks
- dynamic environments
- ordinary differential equations
- neural network is trained
- artificial neural networks