Improving validated computation of Viability Kernels

DOI10.1145/3178126.3178141zbMATH Open1417.93135OpenAlexW2796039530MaRDI QIDQ4561456

Author name not available (Why is that?)

Publication date: 6 December 2018

Published in: Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week) (Search for Journal in Brave)

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

zbMATH Keywords

interval analysisLyapunov-like functionsviability kernelvalidated numerical integration

Mathematics Subject Classification ID

Control/observation systems governed by ordinary differential equations (93C15) Software, source code, etc. for problems pertaining to systems and control theory (93-04)

Related Items (2)

Approximating Viability Kernels With Support Vector Machines ⋮ Computing the viability kernel using maximal reachable sets

This page was built for publication: Improving validated computation of Viability Kernels

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