A Lyapunov-constrained model predictive control framework for stable trajectory tracking of autonomous vehicles | Synapse