Discrete-time control for rectangular hybrid automata
scientific article; zbMATH DE number 1387432