Login / Signup

Convex Programs for Temporal Verification of Nonlinear Dynamical Systems.

Stephen PrajnaAnders Rantzer
Published in: SIAM J. Control. Optim. (2007)
Keyphrases
  • convex programs
  • nonlinear dynamical systems
  • dynamical systems
  • dynamical behavior
  • spatio temporal
  • phase space
  • dynamic programming
  • level set
  • model checking