Learning-based symbolic abstractions for nonlinear control systems

DOI10.1016/j.automatica.2022.110646zbMath1505.93097arXiv2004.01879OpenAlexW4287817734MaRDI QIDQ2097817

Kazumune Hashimoto, Masako Kishida, Toshimitsu Ushio, Adnane Saoud, Dimos V. Dimarogonas

Publication date: 14 November 2022

Published in: Automatica (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2004.01879

zbMATH Keywords

uncertain systemsGaussian processessymbolic modelssafety controller synthesis

Mathematics Subject Classification ID

Nonlinear systems in control theory (93C10) Control/observation systems with incomplete information (93C41)

Related Items (1)

Synthesis of event-triggered controllers for SIRS epidemic models

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Controller synthesis for safety and reachability via approximate bisimulation
• Approximately bisimilar symbolic models for nonlinear control systems
• Compositional abstraction refinement for control synthesis
• Deadlock-free output feedback controller design based on approximately abstracted observers
• Stable Gaussian process based tracking control of Euler-Lagrange systems
• Set invariance in control
• A Notion of Robustness for Cyber-Physical Systems
• Safety Controller Synthesis for Incrementally Stable Switched Systems Using Multiscale Symbolic Models
• Symbolic Models for Nonlinear Control Systems: Alternating Approximate Bisimulations
• Verification and Control of Hybrid Systems
• Control Barrier Function Based Quadratic Programs for Safety Critical Systems
• An Approximate Simulation Approach to Symbolic Control
• Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems
• A General Safety Framework for Learning-Based Control in Uncertain Robotic Systems
• Information-Theoretic Regret Bounds for Gaussian Process Optimization in the Bandit Setting
• Feedback Refinement Relations for the Synthesis of Symbolic Controllers
• Symbolic Models for Nonlinear Control Systems Without Stability Assumptions
• Feedback Linearization Based on Gaussian Processes With Event-Triggered Online Learning

This page was built for publication: Learning-based symbolic abstractions for nonlinear control systems