On Algebraic Proofs of Stability for Homogeneous Vector Fields.

Amir Ali Ahmadi Bachir El Khadir

Published in: IEEE Trans. Autom. Control. (2020)

Keyphrases

vector field
optical flow
motion field
velocity field
gradient field
theorem proving
flow field
theorem prover
higher order
motion segmentation
critical points
displacement field
lie group
fluid flow