Abstraction-Based Safety Analysis of Linear Dynamical Systems with Neural Network Controllers.
Ratan LalPavithra PrabhakarPublished in: CDC (2023)
Keyphrases
- safety analysis
- neural network
- control system
- linear dynamical systems
- dynamical systems
- safety critical
- nuclear power plant
- fuzzy logic
- real valued
- fault model
- symbolic model checking
- control strategy
- hidden markov models
- spatio temporal
- fault diagnosis
- human motion
- control algorithm
- reinforcement learning
- real time
- symbolic representation
- fuzzy systems
- control scheme
- expert systems
- video sequences