Parallel parameter synthesis for multi-affine hybrid systems from hybrid CTL specifications

DOI10.1007/978-3-030-60327-4_15zbMath1506.93027OpenAlexW3090952893MaRDI QIDQ2110677

David Šafránek, Eva Šmijáková, Samuel Pastva, Luboš Brim

Publication date: 22 December 2022

Full work available at URL: https://doi.org/10.1007/978-3-030-60327-4_15

zbMATH Keywords

hybrid systemsparameter synthesishybrid CTLrectangular abstractionsemi-symbolic

Mathematics Subject Classification ID

Synthesis problems (93B50) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30) Systems biology, networks (92C42)

This page was built for publication: Parallel parameter synthesis for multi-affine hybrid systems from hybrid CTL specifications