Publication:3434956
From MaRDI portal
zbMath1130.93048MaRDI QIDQ3434956
John Lygeros, Manuela L. Bujorianu
Publication date: 3 May 2007
60J25: Continuous-time Markov processes on general state spaces
93E03: Stochastic systems in control theory (general)
Related Items
Stability Verification for a Class of Stochastic Hybrid Systems by Semidefinite Programming, Stochastic Differential Dynamic Logic for Stochastic Hybrid Programs, The Importance of Being (A Little Bit) Discrete, Uncertainty Propagation for General Stochastic Hybrid Systems on Compact Lie Groups, A stochastic hierarchical model for low grade glioma evolution, Safety verification for regime-switching jump diffusions via barrier certificates, Bounded Verification of Reachability of Probabilistic Hybrid Systems, Safety verification for probabilistic hybrid systems, Stability analysis for stochastic hybrid systems: a survey, Stochastic piecewise affine control with application to pitch control of helicopter, State constrained reachability for stochastic hybrid systems, Constraint-based analysis of concurrent probabilistic hybrid systems: an application to networked automation systems, An exact stochastic hybrid model of excitable membranes including spatio-temporal evolution, Convergence of stochastic gene networks to hybrid piecewise deterministic processes, Engineering constraint solvers for automatic analysis of probabilistic hybrid automata, Observer based minimum variance control of uncertain piecewise affine systems subject to additive noise, Hybrid dynamics of stochastic programs, A unifying formulation of the Fokker-Planck-Kolmogorov equation for general stochastic hybrid systems, Controlled diffusion processes with Markovian switchings for modeling dynamical engineering systems, Efficient simulation of general stochastic hybrid systems, Spectral Bayesian estimation for general stochastic hybrid systems, Optimal control of stochastic dynamic systems of a random structure with Poisson switches and Markov switching, Bayesian statistical model checking with application to Stateflow/Simulink verification, Approximate analysis of biological systems by hybrid switching jump diffusion, A compositional modelling and verification framework for stochastic hybrid systems, Robust global recurrence for a class of stochastic hybrid systems, Stochastic hybrid automata with delayed transitions to model biochemical systems with delays, Local analysis of hybrid systems on polyhedral sets with state-dependent switching, Interacting particle system based estimation of reach probability of general stochastic hybrid systems, Exponential Convergence of Degenerate Hybrid Stochastic Systems with Full Dependence, Stochastic Satisfiability Modulo Theory: A Novel Technique for the Analysis of Probabilistic Hybrid Systems, Approximation of General Stochastic Hybrid Systems by Switching Diffusions with Random Hybrid Jumps
