Effective Synthesis of Switching Controllers for Linear Systems (2000)

by Eugene Asarin , Olivier Bournez , Thao Dang , Oded Maler , Amir Pnueli
Citations:76 - 8 self