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