Abstraction of Elementary Hybrid Systems by Variable Transformation

Jiang Liu, Naijun Zhan, Hengjun Zhao +1

Elementary hybrid systems (EHSs) are those hybrid systems (HSs) containing elementary functions such as exp, ln, sin, cos, etc. EHSs are very common in practice, especially in safe…