The following pages link to (Q3434956):
Displayed 33 items.
- Safety verification for probabilistic hybrid systems (Q389835) (← links)
- Stability analysis for stochastic hybrid systems: a survey (Q472550) (← links)
- Stochastic piecewise affine control with application to pitch control of helicopter (Q472902) (← links)
- State constrained reachability for stochastic hybrid systems (Q547913) (← links)
- Constraint-based analysis of concurrent probabilistic hybrid systems: an application to networked automation systems (Q547916) (← links)
- An exact stochastic hybrid model of excitable membranes including spatio-temporal evolution (Q662573) (← links)
- Convergence of stochastic gene networks to hybrid piecewise deterministic processes (Q691103) (← links)
- Engineering constraint solvers for automatic analysis of probabilistic hybrid automata (Q710668) (← links)
- Observer based minimum variance control of uncertain piecewise affine systems subject to additive noise (Q901268) (← links)
- Hybrid dynamics of stochastic programs (Q969181) (← links)
- A unifying formulation of the Fokker-Planck-Kolmogorov equation for general stochastic hybrid systems (Q988793) (← links)
- Controlled diffusion processes with Markovian switchings for modeling dynamical engineering systems (Q1926896) (← links)
- Efficient simulation of general stochastic hybrid systems (Q2085142) (← links)
- Spectral Bayesian estimation for general stochastic hybrid systems (Q2184532) (← links)
- Optimal control of stochastic dynamic systems of a random structure with Poisson switches and Markov switching (Q2194694) (← links)
- Bayesian statistical model checking with application to Stateflow/Simulink verification (Q2248081) (← links)
- Approximate analysis of biological systems by hybrid switching jump diffusion (Q2348027) (← links)
- A compositional modelling and verification framework for stochastic hybrid systems (Q2403530) (← links)
- Robust global recurrence for a class of stochastic hybrid systems (Q2406968) (← links)
- Stochastic hybrid automata with delayed transitions to model biochemical systems with delays (Q2453210) (← links)
- Local analysis of hybrid systems on polyhedral sets with state-dependent switching (Q2511766) (← links)
- Interacting particle system based estimation of reach probability of general stochastic hybrid systems (Q2677118) (← links)
- Exponential Convergence of Degenerate Hybrid Stochastic Systems with Full Dependence (Q2946091) (← links)
- Stochastic Satisfiability Modulo Theory: A Novel Technique for the Analysis of Probabilistic Hybrid Systems (Q3523106) (← links)
- Approximation of General Stochastic Hybrid Systems by Switching Diffusions with Random Hybrid Jumps (Q3523139) (← links)
- Stability Verification for a Class of Stochastic Hybrid Systems by Semidefinite Programming (Q5145609) (← links)
- Stochastic Differential Dynamic Logic for Stochastic Hybrid Programs (Q5200042) (← links)
- The Importance of Being (A Little Bit) Discrete (Q5404075) (← links)
- Uncertainty Propagation for General Stochastic Hybrid Systems on Compact Lie Groups (Q5868545) (← links)
- A stochastic hierarchical model for low grade glioma evolution (Q6040841) (← links)
- Safety verification for regime-switching jump diffusions via barrier certificates (Q6052173) (← links)
- Bounded Verification of Reachability of Probabilistic Hybrid Systems (Q6104812) (← links)
- Analysis and verification of uniform moment exponential stability for stochastic hybrid systems with Poisson jump (Q6139057) (← links)