• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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