Login / Signup
Reachable Set Estimation and Safety Verification for Piecewise Linear Systems with Neural Network Controllers.
Weiming Xiang
Hoang-Dung Tran
Joel A. Rosenfeld
Taylor T. Johnson
Published in:
CoRR (2018)
Keyphrases
</>
neural network
linear systems
linear equations
sufficient conditions
real time
regression model
search algorithm
artificial neural networks
control system