Data-driven abstractions for control systems via random exploration

DOI10.1016/J.AUTOMATICA.2026.113129MaRDI QIDQ7304759zbMATH OpenFDO

Authors Rudi Coppola, Andrea Peruffo, M. jun. Mazo

Publication date 28 July 2026

Published in Automatica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/J.AUTOMATICA.2026.113129

Mathematics Subject Classification ID

Applications of statistics in engineering and industry; control charts (62P30) Sampled-data control/observation systems (93C57)

Cites work

• A General Scenario Theory for Nonconvex Optimization and Decision Making
• A new simulation metric to determine safe environments and controllers for systems with unknown dynamics
• Asynchronous l-complete approximations
• Data-driven abstraction-based control synthesis
• Data-driven memory-dependent abstractions of dynamical systems via a Cantor-Kantorovich metric
• Formal Guarantees in Data-Driven Model Identification and Control Synthesis
• scientific article; zbMATH DE number 2209335 (Why is no real title available?)
• On abstraction-based controller design with output feedback
• Robust Control for Dynamical Systems with Non-Gaussian Noise via Formal Abstractions
• Scenario-based verification of uncertain MDPs
• Verification and Control of Hybrid Systems

This page was built for publication: Data-driven abstractions for control systems via random exploration

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