Data-driven certificate synthesis

DOI10.1016/J.AUTOMATICA.2025.112798MaRDI QIDQ6851069zbMATH OpenFDO

Authors Luke Rickard, Alessandro Abate, Kostas Margellos

Publication date 27 February 2026

Published in Automatica (Search for Journal in Brave)

zbMATH Keywords

statistical learningreachabilityscenario approachsafetyverification of dynamical systems

Mathematics Subject Classification ID

Attainable sets, reachability (93B03) Discrete-time control/observation systems (93C55)

This page was built for publication: Data-driven certificate synthesis

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