Compile-Time Extensions to Hybrid ODEs

Yingfu Zeng, Ferenc Bartha, Walid Taha

Reachability analysis for hybrid systems is an active area of development and has resulted in many promising prototype tools. Most of these tools allow users to express hybrid syst…