Sajed Miremadi. Symbolic Supervisory Control of Timed Discrete Event Systems. PhD thesis, Chalmers University of Technology, Gothenburg, Sweden, 2012. [doi]
@phdthesis{basesearch-3828, title = {Symbolic Supervisory Control of Timed Discrete Event Systems}, author = {Sajed Miremadi}, year = {2012}, url = {https://www.base-search.net/Record/afd855fdc1284a10f0de5a6736024c98a430580c9f2b9166d264198b0f77411a}, note = {base-search.net (ftchalmersuniv:oai:publications.lib.chalmers.se:164981)}, researchr = {https://researchr.org/publication/basesearch-3828}, cites = {0}, citedby = {0}, school = {Chalmers University of Technology, Gothenburg, Sweden}, }