scientific article; zbMATH DE number 1444349
From MaRDI portal
Publication:4953390
zbMATH Open0962.93082MaRDI QIDQ4953390FDOQ4953390
Authors: Jianghai Hu, John Lygeros, S. Shankar Sastry 
Publication date: 22 June 2000
Title of this publication is not available (Why is that?)
Recommendations
simulationgradient systemshybrid systemsstochastic differential equationsstochastic hybrid systemsembedded Markov chainconvergence of invariant measuresstate space discretization
Numerical solutions to stochastic differential and integral equations (65C30) Variable structure systems (93B12) Stochastic systems in control theory (general) (93E03)
Cited In (53)
- Safety verification for regime-switching jump diffusions via barrier certificates
- Comparing two approaches to include stochasticity in hybrid automata
- A compositional modelling and verification framework for stochastic hybrid systems
- A stochastic games framework for verification and control of discrete time stochastic hybrid systems
- A weak semantic approach to bisimulation metrics in models with nondeterminism and continuous state spaces
- Stability analysis for stochastic hybrid systems: a survey
- Verification and control for probabilistic hybrid automata with finite bisimulations
- Constraint-based analysis of concurrent probabilistic hybrid systems: an application to networked automation systems
- Existence and uniqueness of stochastic differential equations with random impulses and Markovian switching under non-Lipschitz conditions
- How adaptive and reliable is your program?
- Engineering constraint solvers for automatic analysis of probabilistic hybrid automata
- A formal mathematical framework for modeling probabilistic hybrid systems
- Stochastic differential dynamic logic for stochastic hybrid programs
- Decisiveness of stochastic systems and its application to hybrid models
- Toward a general theory of stochastic hybrid systems
- A unifying formulation of the Fokker-Planck-Kolmogorov equation for general stochastic hybrid systems
- On the approximation of stochastic concurrent constraint programming by master equation
- A probabilistic calculus of cyber-physical systems
- Modeling for Verification
- A compositional modelling and analysis framework for stochastic hybrid systems
- Model reduction of switched affine systems
- Approximate analysis of biological systems by hybrid switching jump diffusion
- Adaptive step size numerical integration for stochastic differential equations with discontinuous drift and diffusion
- Sliding mode control of uncertain stochastic hybrid delay systems with average dwell time
- Modeling stochastic hybrid systems
- Stochastic hybrid automata with delayed transitions to model biochemical systems with delays
- Automated verification and synthesis of stochastic hybrid systems: a survey
- Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems
- Verification of discrete time stochastic hybrid systems: a stochastic reach-avoid decision problem
- Moment-based analysis of stochastic hybrid systems with renewal transitions
- Approximations of Stochastic Hybrid Systems: A Compositional Approach
- Optimal control of stochastic hybrid system with jumps: a numerical approximation
- Reachability for partially observable discrete time stochastic hybrid systems
- Modeling dynamics of cell population molecule expression distribution
- Controlled diffusion processes with Markovian switchings for modeling dynamical engineering systems
- Stochastic piecewise affine control with application to pitch control of helicopter
- Stochastic hybrid system with non-homogeneous jumps
- Stochastic hybrid systems. Theory and safety critical applications.
- Stochastic Satisfiability Modulo Theory: A Novel Technique for the Analysis of Probabilistic Hybrid Systems
- Hybrid Systems: Computation and Control
- Interacting particle system based estimation of reach probability of general stochastic hybrid systems
- A model for stochastic hybrid systems with application to communication networks
- A Unified Stochastic Hybrid System Approach to Aggregate Modeling of Responsive Loads
- Sporadic event-based control of first-order linear stochastic systems
- A multivariate stochastic hybrid model with switching coefficients and jumps: solution and distribution
- Mean reversal for stochastic hybrid systems
- Stochastic stability analysis for joint process driven and networked hybrid systems
- Title not available (Why is that?)
- Hybrid Systems: Computation and Control
- Efficient simulation of general stochastic hybrid systems
- A framework to measure the robustness of programs in the unpredictable environment
- Moment estimators for the parameters of Ornstein-Uhlenbeck processes driven by compound Poisson processes
- Safety verification for probabilistic hybrid systems
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4953390)
