Scalable Algorithms with Formal Guarantees for Lyapunov Analysis of Control Systems via Algebraic Optimization

Project: Research project

Project Details

StatusFinished
Effective start/end date9/1/14 → 8/31/17

Funding

  • Air Force Office of Scientific Research