Driver Steering Assistance for Lane-Departure Avoidance Based on Hybrid Automata and Composite Lyapunov Function | IEEE Journals & Magazine | IEEE Xplore