Login / Signup
Order-Reduction Abstractions for Safety Verification of High-Dimensional Linear Systems.
Hoang-Dung Tran
Luan Viet Nguyen
Weiming Xiang
Taylor T. Johnson
Published in:
CoRR (2016)
Keyphrases
</>
linear systems
high dimensional
real time
neural network
sufficient conditions
linear equations