Login / Signup

Reach-Avoid Verification for Nonlinear Systems Based on Boundary Analysis.

Bai XueArvind EaswaranNam-Joon ChoMartin Fränzle
Published in: IEEE Trans. Autom. Control. (2017)
Keyphrases
  • nonlinear systems
  • data analysis
  • stability analysis
  • tracking control
  • adaptive control
  • neural network
  • learning algorithm
  • error rate