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