In this paper we study possibilities of using hierarchical reasoning, quantifier elimination and model generation for the verification of parametric hybrid systems, where the parameters can be constants or functions. Our goal is to automatically provide guarantees that such systems satisfy certain safety or invariance conditions. We first analyze the possibility of automatically generating such guarantees in the form of constraints on parameters, then show that we can also synthesise so-called criticality functions, typically used for proving stability and/or safety of hybrid systems. We illustrate our methods on several examples. © 2013 Springer-Verlag.
CITATION STYLE
Sofronie-Stokkermans, V. (2013). Hierarchical reasoning and model generation for the verification of parametric hybrid systems. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 7898 LNAI, pp. 360–376). https://doi.org/10.1007/978-3-642-38574-2_25
Mendeley helps you to discover research relevant for your work.