Stability verification for a class of stochastic hybrid systems by semidefinite programming

DOI10.1137/20M1335637zbMATH Open1455.93205MaRDI QIDQ5145609FDOQ5145609

Authors: Kairong Liu, Meilun Li, Zhikun She 

Publication date: 21 January 2021

Published in: SIAM Journal on Control and Optimization (Search for Journal in Brave)

Recommendations

• Stability analysis for stochastic hybrid systems: a survey
• Moment analysis of stochastic hybrid systems using semidefinite programming
• Incremental stability analysis of stochastic hybrid systems
• An excursion-theoretic approach to stability of discrete-time stochastic hybrid systems
• A compositional modelling and verification framework for stochastic hybrid systems

zbMATH Keywords

stochastic hybrid systemsalmost sure stabilityMarkovian switchingstability in probabilitystability verification

Mathematics Subject Classification ID

Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30) Asymptotic stability in control theory (93D20) Stochastic stability in control theory (93E15) Exponential stability (93D23)

Cites Work

• Hybrid switching diffusions. Properties and applications
• Moment estimate and existence for solutions of stochastic functional differential equations
• Stochastic modelling for systems biology.
• Lévy Processes and Stochastic Calculus
• Stochastic Differential Equations with Markovian Switching
• Stochastic stability of differential equations. With contributions by G. N. Milstein and M. B. Nevelson
• Almost surely asymptotic stability of neutral stochastic differential delay equations with Markovian switching
• Semidefinite programming relaxations for semialgebraic problems
• A Nullstellensatz and a Positivstellensatz in semialgebraic geometry
• Analysis of Non-polynomial Systems Using the Sum of Squares Decomposition
• Title not available (Why is that?)
• A Nonconservative LMI Condition for Stability of Switched Systems With Guaranteed Dwell Time
• \(p\)-Moment stability of stochastic differential equations with impulsive jump and Markovian switching
• Stability of regime-switching jump diffusions
• Optimal Control of Switching Diffusions with Application to Flexible Manufacturing Systems
• Further results on existence-uniqueness for stochastic functional differential equations
• Pre- and Post-Processing Sum-of-Squares Programs in Practice
• Stability of Stochastic Nonlinear Systems With State-Dependent Switching
• Stability of random-switching systems of differential equations
• Stability and recurrence of regime-switching diffusion processes
• Stability Analysis of Networked Control Systems Using a Switched Linear Systems Approach
• Robust stability and controllability of stochastic differential delay equations with Markovian switching.
• Almost sure and \(p\)th-moment stability and stabilization of regime-switching jump diffusion systems
• Some New Criteria on $p$th Moment Stability of Stochastic Functional Differential Equations With Markovian Switching
• Optimal portfolio for an insider in a market driven by Lévy processes§
• Stability analysis for impulsive stochastic delay differential equations with Markovian switching
• Exponential stability and instability of impulsive stochastic functional differential equations with Markovian switching
• \(p\)th moment stability of impulsive stochastic delay differential systems with Markovian switching
• Stability analysis of switched stochastic systems
• Application of Reachability Analysis for Stochastic Hybrid Systems to Aircraft Conflict Prediction
• Toward a general theory of stochastic hybrid systems
• Stability analysis of stochastic differential equations with Markovian switching
• Stability of regime-switching jump diffusion processes
• Almost sure and moment exponential stability of regime-switching jump diffusions
• Global exponential stability of impulsive stochastic functional differential systems
• Mean square exponential stability of impulsive control stochastic systems with time-varying delay
• Analysis of Power System Dynamics Subject to Stochastic Power Injections
• Stability analysis of Markov switched stochastic differential equations with both stable and unstable subsystems
• Stability and Stabilization for Singular Switching Semi-Markovian Jump Systems With Generally Uncertain Transition Rates
• New Criteria on $p$th Moment Input-to-State Stability of Impulsive Stochastic Delayed Differential Systems
• Discovering multiple Lyapunov functions for switched hybrid systems
• Viable set computation for hybrid systems
• Exponential stability for generalized stochastic impulsive functional differential equations with delayed impulses and Markovian switching
• Almost sure exponential stability and stochastic stabilization of stochastic differential systems with impulsive effects
• Stabilization and destabilization of nonlinear systems via aperiodically intermittent stochastic noises: average techniques and scalar functions
• Stabilizability of Time-Varying Switched Systems Based on Piecewise Continuous Scalar Functions
• On the complexity of SOS programming and applications in control systems
• A note on attraction and stability of neutral stochastic delay differential equations with Markovian switching

Cited In (8)

• Consensus verification for heterogeneous polynomial networked systems
• Analysis and verification of uniform moment exponential stability for stochastic hybrid systems with Poisson jump
• Moment analysis of stochastic hybrid systems using semidefinite programming
• Recent developments in stability theory for stochastic hybrid inclusions
• Safety verification for regime-switching jump diffusions via barrier certificates
• A complete-order hybrid identifier for multiprogrammed stabilization
• Uniform exponential stability criteria with verification for nonautonomous switched nonlinear systems with uncertainty
• A decompositional proof scheme for automated convergence proofs of stochastic hybrid systems

Uses Software

• Sostools
• YALMIP
• PENBMI
• SOSOPT

This page was built for publication: Stability verification for a class of stochastic hybrid systems by semidefinite programming

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5145609)