scientific article
From MaRDI portal
Publication:3434956
zbMath1130.93048MaRDI QIDQ3434956
John Lygeros, Manuela L. Bujorianu
Publication date: 3 May 2007
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (33)
A compositional modelling and verification framework for stochastic hybrid systems ⋮ Robust global recurrence for a class of stochastic hybrid systems ⋮ Controlled diffusion processes with Markovian switchings for modeling dynamical engineering systems ⋮ Exponential Convergence of Degenerate Hybrid Stochastic Systems with Full Dependence ⋮ Safety verification for probabilistic hybrid systems ⋮ Spectral Bayesian estimation for general stochastic hybrid systems ⋮ A stochastic hierarchical model for low grade glioma evolution ⋮ Safety verification for regime-switching jump diffusions via barrier certificates ⋮ Interacting particle system based estimation of reach probability of general stochastic hybrid systems ⋮ Bounded Verification of Reachability of Probabilistic Hybrid Systems ⋮ Optimal control of stochastic dynamic systems of a random structure with Poisson switches and Markov switching ⋮ Analysis and verification of uniform moment exponential stability for stochastic hybrid systems with Poisson jump ⋮ Observer based minimum variance control of uncertain piecewise affine systems subject to additive noise ⋮ 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 ⋮ Stability analysis for stochastic hybrid systems: a survey ⋮ Stochastic piecewise affine control with application to pitch control of helicopter ⋮ Stochastic hybrid automata with delayed transitions to model biochemical systems with delays ⋮ An exact stochastic hybrid model of excitable membranes including spatio-temporal evolution ⋮ Stability Verification for a Class of Stochastic Hybrid Systems by Semidefinite Programming ⋮ The Importance of Being (A Little Bit) Discrete ⋮ Bayesian statistical model checking with application to Stateflow/Simulink verification ⋮ Convergence of stochastic gene networks to hybrid piecewise deterministic processes ⋮ Hybrid dynamics of stochastic programs ⋮ State constrained reachability for stochastic hybrid systems ⋮ Constraint-based analysis of concurrent probabilistic hybrid systems: an application to networked automation systems ⋮ Engineering constraint solvers for automatic analysis of probabilistic hybrid automata ⋮ A unifying formulation of the Fokker-Planck-Kolmogorov equation for general stochastic hybrid systems ⋮ Stochastic Differential Dynamic Logic for Stochastic Hybrid Programs ⋮ Local analysis of hybrid systems on polyhedral sets with state-dependent switching ⋮ Efficient simulation of general stochastic hybrid systems ⋮ Approximate analysis of biological systems by hybrid switching jump diffusion ⋮ Uncertainty Propagation for General Stochastic Hybrid Systems on Compact Lie Groups
This page was built for publication:
