A.: Effective synthesis of switching controllers for linear systems (2000)

by E Asarin, O Bournez, T Dang, O Maler, Pnueli
Venue:Proceedings of the IEEE