Robust approximate symbolic models for a class of continuous-time uncertain nonlinear systems via a control interface

DOI10.1016/j.automatica.2022.110520zbMath1498.93381arXiv2103.09024OpenAlexW3139462708MaRDI QIDQ2081803

Pian Yu, Dimos V. Dimarogonas

Publication date: 30 September 2022

Published in: Automatica (Search for Journal in Brave)

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

zbMATH Keywords

uncertain systemsdiscrete abstractioncontrol interfacerobust approximate simulation relation

Mathematics Subject Classification ID

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

Uses Software

• UMDES
• PESSOA
• SCOTS

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Finite abstractions with robustness margins for temporal logic-based control synthesis
• Controller synthesis for safety and reachability via approximate bisimulation
• Approximately bisimilar symbolic models for nonlinear control systems
• Hierarchical control system design using approximate simulation
• Games for synthesis of controllers with partial observation.
• Symbolic control design for monotone systems with directed specifications
• Incremental quadratic stability
• Approximate abstractions of control systems with an application to aggregation
• Observers for systems with nonlinearities satisfying incremental quadratic constraints
• Hierarchical analysis of large-scale control systems via vector simulation function
• Safety Controller Synthesis for Incrementally Stable Switched Systems Using Multiscale Symbolic Models
• Symbolic Control of Stochastic Systems via Approximately Bisimilar Finite Abstractions
• SCOTS
• Verification and Control of Hybrid Systems
• A Fully Automated Framework for Control of Linear Systems from Temporal Logic Specifications
• Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems
• Contract-Based Design of Symbolic Controllers for Safety in Distributed Multiperiodic Sampled-Data Systems
• Compositional Synthesis of Finite-State Abstractions
• A Lyapunov approach to incremental stability properties
• Approximation Metrics for Discrete and Continuous Systems
• Feedback Refinement Relations for the Synthesis of Symbolic Controllers
• Symbolic Models for Nonlinear Control Systems Without Stability Assumptions
• Modular Feedback Logic for Discrete Event Systems
• Forward completeness, unboundedness observability, and their Lyapunov characterizations

This page was built for publication: Robust approximate symbolic models for a class of continuous-time uncertain nonlinear systems via a control interface