13 citations · 24 across the 5 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.LO2017★ 13 cited
Safe & Robust Reachability Analysis of Hybrid Systems
Eugenio Moggi, Amin Farjudian, Adam Duracz +1
Hybrid systems - more precisely, their mathematical models - can exhibit behaviors, like Zeno behaviors, that are absent in purely discrete or purely continuous systems. First, we…
cs.PL2017★ 1 cited
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…