Susmit Jha, Sanjit A. Seshia, Ashish Tiwari. Synthesis of optimal switching logic for hybrid systems. In Samarjit Chakraborty, Ahmed Jerraya, Sanjoy K. Baruah, Sebastian Fischmeister, editors, Proceedings of the 11th International Conference on Embedded Software, EMSOFT 2011, part of the Seventh Embedded Systems Week, ESWeek 2011, Taipei, Taiwan, October 9-14, 2011. pages 107-116, ACM, 2011. [doi]
@inproceedings{JhaST11,
title = {Synthesis of optimal switching logic for hybrid systems},
author = {Susmit Jha and Sanjit A. Seshia and Ashish Tiwari},
year = {2011},
doi = {10.1145/2038642.2038660},
url = {http://doi.acm.org/10.1145/2038642.2038660},
researchr = {https://researchr.org/publication/JhaST11},
cites = {0},
citedby = {0},
pages = {107-116},
booktitle = {Proceedings of the 11th International Conference on Embedded Software, EMSOFT 2011, part of the Seventh Embedded Systems Week, ESWeek 2011, Taipei, Taiwan, October 9-14, 2011},
editor = {Samarjit Chakraborty and Ahmed Jerraya and Sanjoy K. Baruah and Sebastian Fischmeister},
publisher = {ACM},
isbn = {978-1-4503-0714-7},
}