@InCollection{IR-EE-RT_2003:001, author = {Claire Tomlin and Stephen Boyd and Ian Mitchell and Alexandre Bayen and Mikael Johansson and Lin Xiao},title = {Computational tools for the verification of hybrid systems},booktitle = {Software-enabled control},pages = {369-392},year = {2003},month = April, editor = {Tariq Samad and Gary Balas},chapter = {1},publisher = {John Wiley & Sons} }