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

Marius Kloetzer Calin 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