Sign in

A Fully Automated Framework for Control of Linear Systems from LTL Specifications.

Marius KloetzerCalin Belta
Published in: HSCC (2006)
Keyphrases
  • fully automated
  • linear systems
  • fully automatic
  • control theory
  • control system
  • dynamical systems
  • semi automated
  • labor intensive
  • neural network
  • genetic algorithm
  • linear equations