Optimal multirate sampling in symbolic models for incrementally stable switched systems
type: Item
instance of: scholarly article
title: Optimal multirate sampling in symbolic models for incrementally stable switched systems
zbMATH Open document ID: 1406.93200
author: Adnane Saoud
author: Antoine Girard
published in: Automatica
publication date: 2019-02-05T00:00:00Z
Mathematics Subject Classification ID: 93C57
Mathematics Subject Classification ID: 93C30
Mathematics Subject Classification ID: 93A30
Mathematics Subject Classification ID: 93D05
zbMATH DE Number: 7012193
zbMATH Keywords: approximate bisimulation
zbMATH Keywords: switched systems
zbMATH Keywords: symbolic control
zbMATH Keywords: multirate sampling
zbMATH Keywords: incremental stability
MaRDI profile type: Publication
full work available at URL: j.automatica.2018.09.005
OpenAlex ID: W2889809343
cites work: A Lyapunov approach to incremental stability properties
cites work: Forward completeness, unboundedness observability, and their Lyapunov characterizations
cites work: Q3998726
cites work: Formal methods for discrete-time dynamical systems
cites work: Synthesis of Reactive(1) designs
cites work: A symbolic approach to the design of nonlinear networked control systems
cites work: Controller synthesis for safety and reachability via approximate bisimulation
cites work: Safety Controller Synthesis for Incrementally Stable Switched Systems Using Multiscale Symbolic Models
cites work: Approximation Metrics for Discrete and Continuous Systems
cites work: Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems
cites work: Feedback linearization of sampled-data systems
cites work: Switching in systems and control
cites work: Stability and Stabilizability of Switched Linear Systems: A Survey of Recent Results
cites work: Issues on nonlinear digital control
cites work: Approximately bisimilar symbolic models for nonlinear control systems
cites work: Symbolic models for time-varying time-delay systems via alternating approximate bisimulation
cites work: Symbolic Models for Networks of Control Systems
cites work: Symbolic models for nonlinear time-delay systems using approximate bisimulations
cites work: Symbolic Models for Nonlinear Control Systems: Alternating Approximate Bisimulations
cites work: Feedback Refinement Relations for the Synthesis of Symbolic Controllers
cites work: Stability theory of switched dynamical systems
cites work: An Approximate Simulation Approach to Symbolic Control
cites work: Verification and Control of Hybrid Systems
cites work: Bisimilar Finite Abstractions of Interconnected Systems
cites work: Discrete-State Abstractions of Nonlinear Systems Using Multi-resolution Quantizer
cites work: Approximately bisimilar symbolic models for randomly switched stochastic systems
cites work: Symbolic models for stochastic switched systems: A discretization and a discretization-free approach
cites work: Symbolic Control of Stochastic Systems via Approximately Bisimilar Finite Abstractions
cites work: Symbolic Models for Nonlinear Control Systems Without Stability Assumptions
DOI: 10.1016/J.AUTOMATICA.2018.09.005
Wikidata QID: Q129208709
description: scientific article; zbMATH DE number 7012193