Authors

Program

M. Kvasnica, P. Grieder, M. Baotic and M. Morari

Multi Parametric Toolbox (MPT)

F. Torrisi, A. Bemporad, G. Bertini, P. Hertach, D. Jost and D. Mignone

HYSDEL
Hybrid System DEscription Language

Thao Dang and Oded Maler

 d/dt
Reachability Analysis of Continuous and Hybrid Systems