Robust deterministic abstractions for supervising discrete-time continuous systems

DOI10.1007/978-3-031-72621-7_13MaRDI QIDQ7405579zbMATH OpenFDO

Authors Gwendal Priser, Elena Vanneaux, Goran Frehse

Publication date 2024

Full work available at URL https://doi.org/10.1007/978-3-031-72621-7_13

zbMATH Keywords

continuous dynamical systemsdiscrete abstractionrobustnesssupervision

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cites work

• Approximate bisimulation: a bridge between computer science and control theory
• Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems
• Approximating the Minimum Equivalent Digraph
• Approximation Metrics for Discrete and Continuous Systems
• Comparing Forward and Backward Reachability as Tools for Safety Analysis
• Computation and application of Taylor polynomials with interval remainder bounds
• Equivalence of Dynamical Systems by Bisimulation
• Feedback Refinement Relations for the Synthesis of Symbolic Controllers
• Finite abstractions with robustness margins for temporal logic-based control synthesis
• Formal methods for discrete-time dynamical systems
• scientific article; zbMATH DE number 2209335 (Why is no real title available?)
• Linear predictors for nonlinear dynamical systems: Koopman operator meets model predictive control
• On minimum connecting transition sets in graphs
• Symbolic models for nonlinear control systems: alternating approximate bisimulations
• Three logics for branching bisimulation
• Verification and Control of Hybrid Systems

This page was built for publication: Robust deterministic abstractions for supervising discrete-time continuous systems

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