Dimitri Lefebvre. Approximated timed reachability graphs for the robust control of discrete event systems. Discrete Event Dynamic Systems, 29(1):31-56, 2019. [doi]
@article{Lefebvre19, title = {Approximated timed reachability graphs for the robust control of discrete event systems}, author = {Dimitri Lefebvre}, year = {2019}, doi = {10.1007/s10626-019-00275-z}, url = {https://doi.org/10.1007/s10626-019-00275-z}, researchr = {https://researchr.org/publication/Lefebvre19}, cites = {0}, citedby = {0}, journal = {Discrete Event Dynamic Systems}, volume = {29}, number = {1}, pages = {31-56}, }