Login / Signup

Path-Oriented Reachability Verification of a Class of Nonlinear Hybrid Automata Using Convex Programming.

Lei BuJianhua ZhaoXuandong Li
Published in: VMCAI (2010)
Keyphrases
  • convex programming
  • hybrid automata
  • interior point methods
  • convex optimization
  • linear programming
  • convex functions
  • finite state automata
  • machine learning
  • feature extraction
  • model checking
  • finite number