Xin Chen 0002. Reachability analysis of non-linear hybrid systems using Taylor Models. PhD thesis, RWTH Aachen University, Germany, 2015. [doi]
@phdthesis{dnb-21695, title = {Reachability analysis of non-linear hybrid systems using Taylor Models}, author = {Xin Chen 0002}, year = {2015}, url = {http://d-nb.info/1181107857}, researchr = {https://researchr.org/publication/dnb-21695}, cites = {0}, citedby = {0}, school = {RWTH Aachen University, Germany}, }