Abstraction of Elementary Hybrid Systems by Variable Transformation

Jiang Liu 0009, Naijun Zhan, Hengjun Zhao, Liang Zou. Abstraction of Elementary Hybrid Systems by Variable Transformation. In Nikolaj Bjørner, Frank D. de Boer, editors, FM 2015: Formal Methods - 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings. Volume 9109 of Lecture Notes in Computer Science, pages 360-377, Springer, 2015. [doi]

Abstract

Abstract is missing.