Reachability Analysis of Linear Parameter-Varying Systems with Neural Network Controllers.

Arash Sadeghzadeh Pierre-Loïc Garoche

Published in: CCTA (2022)

Keyphrases

neural network
reachability analysis
control system
model checking
linear systems
learning algorithm
reinforcement learning
expert systems
artificial neural networks
dynamic programming
fuzzy logic
distributed systems
markov chain
linear model