Optimal multirate sampling in symbolic models for incrementally stable switched systems
From MaRDI portal
Publication:1716572
DOI10.1016/j.automatica.2018.09.005zbMath1406.93200OpenAlexW2889809343MaRDI QIDQ1716572
Publication date: 5 February 2019
Published in: Automatica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.automatica.2018.09.005
Lyapunov and other classical stabilities (Lagrange, Poisson, (L^p, l^p), etc.) in control theory (93D05) Sampled-data control/observation systems (93C57) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)
Related Items
Approximately bisimilar symbolic model for switched systems with unstable subsystems ⋮ Lazy controller synthesis for monotone transition systems and directed safety specifications ⋮ Inner-approximating domains of attraction for discrete-time switched systems via multi-step multiple Lyapunov-like functions
Cites Work
- Unnamed Item
- Synthesis of Reactive(1) designs
- Controller synthesis for safety and reachability via approximate bisimulation
- Stability theory of switched dynamical systems
- Approximately bisimilar symbolic models for nonlinear control systems
- Switching in systems and control
- Symbolic models for stochastic switched systems: A discretization and a discretization-free approach
- Symbolic models for nonlinear time-delay systems using approximate bisimulations
- Formal methods for discrete-time dynamical systems
- Approximately bisimilar symbolic models for randomly switched stochastic systems
- Issues on nonlinear digital control
- Symbolic Models for Networks of Control Systems
- Safety Controller Synthesis for Incrementally Stable Switched Systems Using Multiscale Symbolic Models
- Symbolic Control of Stochastic Systems via Approximately Bisimilar Finite Abstractions
- A symbolic approach to the design of nonlinear networked control systems
- Symbolic models for time-varying time-delay systems via alternating approximate bisimulation
- Bisimilar Finite Abstractions of Interconnected Systems
- Symbolic Models for Nonlinear Control Systems: Alternating Approximate Bisimulations
- Discrete-State Abstractions of Nonlinear Systems Using Multi-resolution Quantizer
- Verification and Control of Hybrid Systems
- Feedback linearization of sampled-data systems
- An Approximate Simulation Approach to Symbolic Control
- Stability and Stabilizability of Switched Linear Systems: A Survey of Recent Results
- Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems
- 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
- Forward completeness, unboundedness observability, and their Lyapunov characterizations
