Theories and Practices of Self-Driving Vehicles