Login / Signup

Order-reduction abstractions for safety verification of high-dimensional linear systems.

Hoang-Dung TranLuan Viet NguyenWeiming XiangTaylor T. Johnson
Published in: Discret. Event Dyn. Syst. (2017)
Keyphrases
  • linear systems
  • high dimensional
  • sufficient conditions
  • dynamical systems
  • machine learning
  • reinforcement learning
  • genetic algorithm ga