Data-driven controller synthesis for abstract systems with regular language specifications

DOI10.1016/j.automatica.2021.109903zbMath1478.93188OpenAlexW3196446858MaRDI QIDQ2665709

Tommaso Masciulli, Elena De Santis, Giordano Pola, Maria Domenica Di Benedetto

Publication date: 19 November 2021

Published in: Automatica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.automatica.2021.109903

zbMATH Keywords

formal methodsabstract systemsartificial pancreasdata-driven control

Mathematics Subject Classification ID

Medical applications (general) (92C50) Synthesis problems (93B50)

Cites Work

• Robust data-driven control of artificial pancreas systems using neural networks
• From model-based control to data-driven control: survey, classification and perspective
• Verification and Control of Hybrid Systems
• Decentralized Supervisory Control of Networks of Nonlinear Control Systems
• An Approximate Simulation Approach to Symbolic Control
• Luenberger-Like Observers for Nonlinear Time-Delay Systems with Application to the Artificial Pancreas: The Attainment of Good Performance
• A new simulation metric to determine safe environments and controllers for systems with unknown dynamics

This page was built for publication: Data-driven controller synthesis for abstract systems with regular language specifications