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 5 items.
- A complete-order hybrid identifier for multiprogrammed stabilization (Q885707) (← links)
- 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)