Authors
Program
F. Torrisi, A. Bemporad, G. Bertini, P. Hertach, D. Jost and D. Mignone
HYSDEL Hybrid System DEscription Language
Description
Thao Dang and Oded Maler
d/dtReachability Analysis of Continuous and Hybrid Systems
