Symbolic Reachability Computation for Families of Linear Vector Fields.

Gerardo Lafferriere George J. Pappas Sergio Yovine

Published in: J. Symb. Comput. (2001)

Keyphrases

vector field
differential operators
optical flow
motion field
critical points
gradient field
state space
flow field
displacement field
symbolic representation
scalar field