Stability Verification for a Class of Stochastic Hybrid Systems by Semidefinite Programming

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

Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
Hybrid switching diffusions. Properties and applications
Moment estimate and existence for solutions of stochastic functional differential equations
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
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
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 (5)

Consensus verification for heterogeneous polynomial networked systems
Analysis and verification of uniform moment exponential stability for stochastic hybrid systems with Poisson jump
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

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)