hybrid automata

In Memory of Oded Maler: Automatic Reachability Analysis of Hybrid-State Automata

Hybrid automata are an elegant formal model seamlessly integrating differential equations representing continuous dynamics with …

Martin Fränzle, Mingshuai Chen, Paul Kröger