Effective synthesis of switching controllers for linear systems (2000)

by E Asarin, O Bournez, T Dang, O Maler, A Pneuli
Venue:Proc. IEEE