Simulation of hybrid automata using Matlab/Simulink (2003)

by E Asarin, T Dang, J Esteban