Geometric programming relaxations for linear system reachability.

Hakan Yazarel George J. Pappas

Published in: ACC (2004)

Keyphrases

semidefinite
programming language
state space
computer vision
closed form
development environment
object oriented programming
transitive closure
computer programming
database
lower bound
relational databases
linear programming
linear model
computer programs