Parameter synthesis for hybrid systems with an application to simulink models

FREE-DOWNLOADA Donzé, B Krogh… – Hybrid Systems: Computation and Control, 2009 –
Abstract. This paper addresses a parameter synthesis problem for non- linear hybrid
systems. Considering a set of uncertain parameters and a safety property, we give an algorithm
that returns a partition of the set of parameters into subsets classified as safe, unsafe, or