Pages that link to "Item:Q5703932"
From MaRDI portal
The following pages link to Hybrid Systems: Computation and Control (Q5703932):
Displaying 10 items.
- Engineering constraint solvers for automatic analysis of probabilistic hybrid automata (Q710668) (← links)
- Perfect simulation of a class of stochastic hybrid systems with an application to peer to peer systems (Q939017) (← links)
- Moment-based analysis of stochastic hybrid systems with renewal transitions (Q1680899) (← links)
- Efficient simulation of general stochastic hybrid systems (Q2085142) (← links)
- Moment analysis of stochastic hybrid systems using semidefinite programming (Q2288654) (← links)
- A model for stochastic hybrid systems with application to communication networks (Q2572181) (← links)
- Stochastic hybrid systems with renewal transitions: moment analysis with application to networked control systems with delays (Q2840145) (← links)
- Stochastic hybrid systems for studying biochemical processes (Q2997245) (← links)
- Stochastic Satisfiability Modulo Theory: A Novel Technique for the Analysis of Probabilistic Hybrid Systems (Q3523106) (← links)
- Stochastic models for chemically reacting systems using polynomial stochastic hybrid systems (Q5704776) (← links)