scientific article; zbMATH DE number 1444349
From MaRDI portal
Publication:4953390
zbMath0962.93082MaRDI QIDQ4953390
Jianghai Hu, John Lygeros, Shankar S. Sastry
Publication date: 22 June 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
simulationhybrid systemsstochastic differential equationsgradient systemsstochastic hybrid systemsembedded Markov chainconvergence of invariant measuresstate space discretization
Variable structure systems (93B12) Stochastic systems in control theory (general) (93E03) Numerical solutions to stochastic differential and integral equations (65C30)
Related Items (43)
A weak semantic approach to bisimulation metrics in models with nondeterminism and continuous state spaces ⋮ A stochastic games framework for verification and control of discrete time stochastic hybrid systems ⋮ Modeling for Verification ⋮ Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems ⋮ Sporadic event-based control of first-order linear stochastic systems ⋮ Modeling dynamics of cell population molecule expression distribution ⋮ A compositional modelling and verification framework for stochastic hybrid systems ⋮ Controlled diffusion processes with Markovian switchings for modeling dynamical engineering systems ⋮ Safety verification for probabilistic hybrid systems ⋮ Moment-based analysis of stochastic hybrid systems with renewal transitions ⋮ Safety verification for regime-switching jump diffusions via barrier certificates ⋮ Interacting particle system based estimation of reach probability of general stochastic hybrid systems ⋮ Verification of discrete time stochastic hybrid systems: a stochastic reach-avoid decision problem ⋮ A framework to measure the robustness of programs in the unpredictable environment ⋮ Stochastic hybrid system with non-homogeneous jumps ⋮ Existence and uniqueness of stochastic differential equations with random impulses and Markovian switching under non-Lipschitz conditions ⋮ Sliding mode control of uncertain stochastic hybrid delay systems with average dwell time ⋮ Stochastic Satisfiability Modulo Theory: A Novel Technique for the Analysis of Probabilistic Hybrid Systems ⋮ A multivariate stochastic hybrid model with switching coefficients and jumps: solution and distribution ⋮ Unnamed Item ⋮ Model reduction of switched affine systems ⋮ Reachability for partially observable discrete time stochastic hybrid systems ⋮ 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 ⋮ Verification and control for probabilistic hybrid automata with finite bisimulations ⋮ A compositional modelling and analysis framework for stochastic hybrid systems ⋮ On the Approximation of Stochastic Concurrent Constraint Programming by Master Equation ⋮ 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 ⋮ Adaptive step size numerical integration for stochastic differential equations with discontinuous drift and diffusion ⋮ Stochastic Differential Dynamic Logic for Stochastic Hybrid Programs ⋮ A probabilistic calculus of cyber-physical systems ⋮ Stochastic stability analysis for joint process driven and networked hybrid systems ⋮ Moment estimators for the parameters of Ornstein-Uhlenbeck processes driven by compound Poisson processes ⋮ Efficient simulation of general stochastic hybrid systems ⋮ A model for stochastic hybrid systems with application to communication networks ⋮ Automated verification and synthesis of stochastic hybrid systems: a survey ⋮ Decisiveness of stochastic systems and its application to hybrid models ⋮ Approximate analysis of biological systems by hybrid switching jump diffusion ⋮ Optimal control of stochastic hybrid system with jumps: a numerical approximation ⋮ How adaptive and reliable is your program?
This page was built for publication:
