Rajeev Alur, Thomas A. Henzinger, Gerardo Lafferriere, George J. Pappas. Discrete abstractions of hybrid systems. Proceedings of the IEEE, 88(7):971-984, 2000. [doi]
@article{AlurHLP00,
title = {Discrete abstractions of hybrid systems},
author = {Rajeev Alur and Thomas A. Henzinger and Gerardo Lafferriere and George J. Pappas},
year = {2000},
doi = {10.1109/5.871304},
url = {https://doi.org/10.1109/5.871304},
researchr = {https://researchr.org/publication/AlurHLP00},
cites = {0},
citedby = {0},
journal = {Proceedings of the IEEE},
volume = {88},
number = {7},
pages = {971-984},
}