Synthesis of optimal switching logic for hybrid systems.

Susmit Jha, Sanjit A. Seshia, Ashish Tiwari

Browse the full EMSOFT paper archive.