Symbolic models for stochastic switched systems: A discretization and a discretization-free approach
- 1 May 2015
- journal article
- Published by Elsevier BV in Automatica
- Vol. 55, 183-196
- https://doi.org/10.1016/j.automatica.2015.03.004
Abstract
No abstract availableKeywords
This publication has 17 references indexed in Scilit:
- Symbolic Control of Stochastic Systems via Approximately Bisimilar Finite AbstractionsIEEE Transactions on Automatic Control, 2014
- Approximately bisimilar symbolic models for randomly switched stochastic systemsSystems & Control Letters, 2014
- Mode sequences as symbolic states in abstractions of incrementally stable switched systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2013
- Discrete abstraction of stochastic nonlinear systems: A bisimulation function approachPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2010
- Symbolic Models for Nonlinear Control Systems: Alternating Approximate BisimulationsSIAM Journal on Control and Optimization, 2009
- Approximately bisimilar symbolic models for nonlinear control systemsAutomatica, 2008
- Stability analysis of deterministic and stochastic switched systems via a comparison principle and multiple Lyapunov functionsSIAM Journal on Control and Optimization, 2006
- A Lyapunov approach to incremental stability propertiesIEEE Transactions on Automatic Control, 2002
- O-Minimal Hybrid SystemsMathematics of Control, Signals, and Systems, 2000
- Probability Inequalities for Sums of Bounded Random VariablesJournal of the American Statistical Association, 1963