Hybridization domain construction using curvature estimation

DOI10.1145/1967701.1967721zbMath1362.93014OpenAlexW1979197687MaRDI QIDQ2986720

Thao Dang, Romain Testylier

Publication date: 16 May 2017

Published in: Proceedings of the 14th international conference on Hybrid systems: computation and control (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/1967701.1967721

zbMATH Keywords

hybrid systemsformal verificationreachability analysis

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Algorithms for approximation of functions (65D15) Attainable sets, reachability (93B03) Hybrid systems of ordinary differential equations (34A38)

This page was built for publication: Hybridization domain construction using curvature estimation