Hybridization domain construction using curvature estimation

DOI10.1145/1967701.1967721MaRDI QIDQ2986720zbMATH OpenOpenAlexFDO

Authors 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

formal verificationhybrid systemsreachability analysis

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 885406
• Hybrid curve fitting
• A hybrid inference system for improved curvature estimation in the level-set method using machine learning
• A New Hybrid Level Set Approach
• A Dimension-Oblivious Domain Decomposition Method Based on Space-Filling Curves
• scientific article; zbMATH DE number 836680
• scientific article; zbMATH DE number 822384

Cited in

(1)

• Accurate hybridization of nonlinear systems

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2986720)