Ruggero Lanotte, Simone Tini. Taylor approximation for hybrid systems. Inf. Comput., 205(11):1575-1607, 2007. [doi]
@article{LanotteT07, title = {Taylor approximation for hybrid systems}, author = {Ruggero Lanotte and Simone Tini}, year = {2007}, doi = {10.1016/j.ic.2007.05.004}, url = {http://dx.doi.org/10.1016/j.ic.2007.05.004}, researchr = {https://researchr.org/publication/LanotteT07}, cites = {0}, citedby = {0}, journal = {Inf. Comput.}, volume = {205}, number = {11}, pages = {1575-1607}, }