S. Di Gennaro, C. Horn, Sanjeev R. Kulkarni, Peter J. Ramadge. Reduction of Timed Hybrid Systems. Discrete Event Dynamic Systems, 8(4):343-351, 1998. [doi]
@article{GennaroHKR98,
title = {Reduction of Timed Hybrid Systems},
author = {S. Di Gennaro and C. Horn and Sanjeev R. Kulkarni and Peter J. Ramadge},
year = {1998},
doi = {10.1023/A:1008385431572},
url = {http://dx.doi.org/10.1023/A:1008385431572},
tags = {C++},
researchr = {https://researchr.org/publication/GennaroHKR98},
cites = {0},
citedby = {0},
journal = {Discrete Event Dynamic Systems},
volume = {8},
number = {4},
pages = {343-351},
}