Add steering controller model #147
Description
See https://easychair.org/publications/open/V8rV
This is a hybrid system with nonlinear dynamics and an input that represents the velocity of a vehicle, and is focused on determining safety and liveness properties for a steering controller.