Author:Goran Frehse

Publications

Keyphrases

benchmark, hybrid automata, hybrid systems, MATLAB, mode transformation, reachability, safety, Simulink2, SpaceEx, Stateflow, tools, verification, wind turbine.