"Decidability of Hybrid Systems with Rectangular Differential Inclusion."

Anuj Puri, Pravin Varaiya (1994)
a service of Schloss Dagstuhl - Leibniz Center for Informatics