Scalable Analysis of Linear Systems Using Mathematical Programming.

Sriram SankaranarayananHenny B. SipmaZohar Manna
Published in: VMCAI (2005)
Keyphrases
  • mathematical programming
  • linear systems
  • linear programming
  • sufficient conditions
  • mixed integer linear
  • real time
  • genetic algorithm
  • dynamical systems