Login / Signup
Scalable Analysis of Linear Systems Using Mathematical Programming.
Sriram Sankaranarayanan
Henny B. Sipma
Zohar Manna
Published in:
VMCAI (2005)
Keyphrases
</>
mathematical programming
linear systems
linear programming
sufficient conditions
mixed integer linear
real time
genetic algorithm
dynamical systems