hybrid automata

Derivative-Agnostic Inference of Nonlinear Hybrid Systems
This paper addresses the problem of inferring hybrid automata from input-output traces of hybrid systems exhibiting discrete mode …
Cite Slides
Derivative-Agnostic Inference of Nonlinear Hybrid Systems
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 …
PDF Cite DOI
In Memory of Oded Maler: Automatic Reachability Analysis of Hybrid-State Automata