Memoryless concretization relation

DOI10.1145/3641513.3650132MaRDI QIDQ6993498zbMATH OpenFDO

Authors Julien Calbert, Sébastien Maurice Mattenet, Antoine Girard, Raphaël M. Jungers

Publication date 25 April 2025

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

zbMATH Keywords

abstractionalternating simulationcontroller synthesisfeedback refinement.symbolic control

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Cites work

• Controller synthesis for safety and reachability via approximate bisimulation
• Design of Symbolic Controllers for Networked Control Systems
• Directed hypergraphs and applications
• Feedback Refinement Relations for the Synthesis of Symbolic Controllers
• Formal methods for discrete-time dynamical systems
• scientific article; zbMATH DE number 2209335 (Why is no real title available?)
• Lazy abstraction-based controller synthesis
• Low-complexity quantized switching controllers using approximate bisimulation
• Model checking of safety properties
• On abstraction-based controller design with output feedback
• SCOTS: a tool for the synthesis of symbolic controllers
• Temporal Logic Control of Discrete-Time Piecewise Affine Systems
• Verification and Control of Hybrid Systems

This page was built for publication: Memoryless concretization relation

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