Abstraction of Elementary Hybrid Systems by Variable Transformation.

Jiang Liu, Naijun Zhan, Hengjun Zhao, Liang Zou

Browse the full FM paper archive.