Robust controller synthesis of switched systems using counterexample guided framework.

Hadi Ravanbakhsh, Sriram Sankaranarayanan

Browse the full EMSOFT paper archive.