相关参考文献
注意:仅列出部分参考文献,下载原文获取全部文献信息。A limit inferior φ-dependent average dwell time approach for stability analysis of switched systems
Qiang Yu et al.
INTERNATIONAL JOURNAL OF ROBUST AND NONLINEAR CONTROL (2021)
Stability Analysis of Discrete-Time Switched Systems With Unstable Modes: An Improved Ratio-Based Tradeoff Approach
Zi-Ming Wang et al.
IEEE TRANSACTIONS ON CIRCUITS AND SYSTEMS II-EXPRESS BRIEFS (2021)
Safety synthesis for incrementally stable switched systems using discretization-free multi-resolution abstractions
Antoine Girard et al.
ACTA INFORMATICA (2020)
Stability of asynchronous switched systems with sequence-based average dwell time approaches
Dianhao Zheng et al.
JOURNAL OF THE FRANKLIN INSTITUTE-ENGINEERING AND APPLIED MATHEMATICS (2020)
Exponential stability of switched nonlinear time-varying systems with mixed delays: Comparison principle
Yazhou Tian et al.
JOURNAL OF THE FRANKLIN INSTITUTE-ENGINEERING AND APPLIED MATHEMATICS (2020)
Asymptotic Stability Analysis of Discrete-Time Switched Cascade Nonlinear Systems With Delays
Xingwen Liu et al.
IEEE TRANSACTIONS ON AUTOMATIC CONTROL (2020)
Design of Symbolic Controllers for Networked Control Systems
Alessandro Borri et al.
IEEE TRANSACTIONS ON AUTOMATIC CONTROL (2019)
Stability of mode-dependent linear switched singular systems with stable and unstable subsystems
Jumei Wei et al.
JOURNAL OF THE FRANKLIN INSTITUTE-ENGINEERING AND APPLIED MATHEMATICS (2019)
A Symbolic Approach to the Self-Triggered Design for Networked Control Systems
Kazumune Hashimoto et al.
IEEE CONTROL SYSTEMS LETTERS (2019)
Compositional Synthesis of Symbolic Models for Networks of Switched Systems
Abdalla Swikir et al.
IEEE CONTROL SYSTEMS LETTERS (2019)
Optimal multirate sampling in symbolic models for incrementally stable switched systems
Adnane Saoud et al.
AUTOMATICA (2018)
Symbolic Abstractions of Networked Control Systems
Majid Zamani et al.
IEEE TRANSACTIONS ON CONTROL OF NETWORK SYSTEMS (2018)
New Results on Stability of Slowly Switched Systems: A Multiple Discontinuous Lyapunov Function Approach
Xudong Zhao et al.
IEEE TRANSACTIONS ON AUTOMATIC CONTROL (2017)
Feedback Refinement Relations for the Synthesis of Symbolic Controllers
Gunther Reissig et al.
IEEE TRANSACTIONS ON AUTOMATIC CONTROL (2017)
Safety Controller Synthesis for Incrementally Stable Switched Systems Using Multiscale Symbolic Models
Antoine Girard et al.
IEEE TRANSACTIONS ON AUTOMATIC CONTROL (2016)
Symbolic models for stochastic switched systems: A discretization and a discretization-free approach
Majid Zamani et al.
AUTOMATICA (2015)
Stabilization of switched continuous-time systems with all modes unstable via dwell time switching
Weiming Xiang et al.
AUTOMATICA (2014)
Symbolic Control of Stochastic Systems via Approximately Bisimilar Finite Abstractions
Majid Zamani et al.
IEEE TRANSACTIONS ON AUTOMATIC CONTROL (2014)
Symbolic Models for Nonlinear Control Systems Without Stability Assumptions
Majid Zamani et al.
IEEE TRANSACTIONS ON AUTOMATIC CONTROL (2012)
Symbolic models for nonlinear control systems affected by disturbances
Alessandro Borri et al.
INTERNATIONAL JOURNAL OF CONTROL (2012)
Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems
Antoine Girard et al.
IEEE TRANSACTIONS ON AUTOMATIC CONTROL (2010)
Symbolic models for nonlinear time-delay systems using approximate bisimulations
Giordano Pola et al.
SYSTEMS & CONTROL LETTERS (2010)
SYMBOLIC MODELS FOR NONLINEAR CONTROL SYSTEMS: ALTERNATING APPROXIMATE BISIMULATIONS
Giordano Pola et al.
SIAM JOURNAL ON CONTROL AND OPTIMIZATION (2009)
Approximately bisimilar symbolic models for nonlinear control systems
Giordano Pola et al.
AUTOMATICA (2008)
An approximate simulation approach to symbolic control
Paulo Tabuada
IEEE TRANSACTIONS ON AUTOMATIC CONTROL (2008)
Approximation metrics for discrete and continuous systems
Antoine Girard et al.
IEEE TRANSACTIONS ON AUTOMATIC CONTROL (2007)
Stability and stabilization of continuous-time switched linear systems
Jose C. Geromel et al.
SIAM JOURNAL ON CONTROL AND OPTIMIZATION (2006)
Games for synthesis of controllers with partial observation
A Arnold et al.
THEORETICAL COMPUTER SCIENCE (2003)
A Lyapunov approach to incremental stability properties
D Angeli
IEEE TRANSACTIONS ON AUTOMATIC CONTROL (2002)