Pages that link to "Item:Q5145609"
From MaRDI portal
The following pages link to Stability Verification for a Class of Stochastic Hybrid Systems by Semidefinite Programming (Q5145609):
Displaying 4 items.
- Safety verification for regime-switching jump diffusions via barrier certificates (Q6052173) (← links)
- Uniform exponential stability criteria with verification for nonautonomous switched nonlinear systems with uncertainty (Q6090130) (← links)
- Consensus verification for heterogeneous polynomial networked systems (Q6136382) (← links)
- Analysis and verification of uniform moment exponential stability for stochastic hybrid systems with Poisson jump (Q6139057) (← links)