Login / Signup
Convex Programs for Temporal Verification of Nonlinear Dynamical Systems.
Stephen Prajna
Anders 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