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

DOI10.1016/J.AUTOMATICA.2021.109903MaRDI QIDQ2665709zbMATH OpenOpenAlexFDO

Authors Giordano Pola, Tommaso Masciulli, Elena De Santis, Maria D. 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

abstract systemsartificial pancreasdata-driven controlformal methods

Mathematics Subject Classification ID

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

Recommendations

• Symbolic control design of incrementally stable nonlinear systems with dynamic regular language specifications
• Formal Guarantees in Data-Driven Model Identification and Control Synthesis
• Data-driven control: a behavioral approach
• Language-guided controller synthesis for discrete-time linear systems
• Lazy abstraction-based controller synthesis

Cites work

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

Cited in

(1)

• Data-driven abstraction-based control synthesis

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

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