Login / Signup

Language-guided controller synthesis for discrete-time linear systems.

Ebru Aydin GolMircea LazarCalin Belta
Published in: HSCC (2012)
Keyphrases
  • linear systems
  • controller synthesis
  • sufficient conditions
  • dynamical systems
  • autonomic computing systems
  • sparse linear systems
  • control theory
  • coefficient matrix
  • support vector machine
  • interior point methods