Pages that link to "Item:Q1680899"

The following pages link to Moment-based analysis of stochastic hybrid systems with renewal transitions (Q1680899):

Displaying 3 items.

• Automated verification and synthesis of stochastic hybrid systems: a survey (Q2097770) (← links)
• Moment analysis of stochastic hybrid systems using semidefinite programming (Q2288654) (← links)
• Moment Analysis of Linear Time-Varying Dynamical Systems with Renewal Transitions (Q5232238) (← links)