_id,doi,title
12171,10.1007/978-3-031-19992-9_22,"Synthesis of parametric hybrid automata from time series"
9200,10.1145/3447928.3456704,Synthesis of hybrid automata with affine dynamics from time-series data
7426,10.1016/j.nahs.2020.100856,Abstraction based verification of stability of polyhedral switched systems
9202,10.1109/RTSS49844.2020.00031,Hybridization for stability verification of nonlinear switched systems
6493,10.1007/978-3-030-25540-4_16,Membership-based synthesis of linear hybrid automata
6565,10.1109/INDIANCC.2019.8715598,Formal synthesis of stabilizing controllers for periodically controlled linear switched systems