scientific article; zbMATH DE number 1444349
From MaRDI portal
Publication:4953390
Recommendations
Cited in
(53)- A framework to measure the robustness of programs in the unpredictable environment
- A compositional modelling and verification framework for stochastic hybrid systems
- A stochastic games framework for verification and control of discrete time stochastic hybrid systems
- Stability analysis for stochastic hybrid systems: a survey
- A weak semantic approach to bisimulation metrics in models with nondeterminism and continuous state spaces
- Verification and control for probabilistic hybrid automata with finite bisimulations
- Constraint-based analysis of concurrent probabilistic hybrid systems: an application to networked automation systems
- Engineering constraint solvers for automatic analysis of probabilistic hybrid automata
- How adaptive and reliable is your program?
- Existence and uniqueness of stochastic differential equations with random impulses and Markovian switching under non-Lipschitz conditions
- A formal mathematical framework for modeling probabilistic hybrid systems
- Decisiveness of stochastic systems and its application to hybrid models
- Stochastic differential dynamic logic for stochastic hybrid programs
- A unifying formulation of the Fokker-Planck-Kolmogorov equation for general stochastic hybrid systems
- Toward a general theory of stochastic hybrid systems
- On the approximation of stochastic concurrent constraint programming by master equation
- A probabilistic calculus of cyber-physical systems
- Safety verification for regime-switching jump diffusions via barrier certificates
- Modeling for Verification
- A compositional modelling and analysis framework for stochastic hybrid systems
- Sliding mode control of uncertain stochastic hybrid delay systems with average dwell time
- Adaptive step size numerical integration for stochastic differential equations with discontinuous drift and diffusion
- Approximate analysis of biological systems by hybrid switching jump diffusion
- Model reduction of switched affine systems
- 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
- Verification of discrete time stochastic hybrid systems: a stochastic reach-avoid decision problem
- Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems
- Moment-based analysis of stochastic hybrid systems with renewal transitions
- Optimal control of stochastic hybrid system with jumps: a numerical approximation
- Reachability for partially observable discrete time stochastic hybrid systems
- Stochastic piecewise affine control with application to pitch control of helicopter
- Controlled diffusion processes with Markovian switchings for modeling dynamical engineering systems
- Approximations of Stochastic Hybrid Systems: A Compositional Approach
- Modeling dynamics of cell population molecule expression distribution
- 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
- Interacting particle system based estimation of reach probability of general stochastic hybrid systems
- Hybrid Systems: Computation and Control
- A model for stochastic hybrid systems with application to communication networks
- A multivariate stochastic hybrid model with switching coefficients and jumps: solution and distribution
- Sporadic event-based control of first-order linear stochastic systems
- A Unified Stochastic Hybrid System Approach to Aggregate Modeling of Responsive Loads
- Mean reversal for stochastic hybrid systems
- Stochastic stability analysis for joint process driven and networked hybrid systems
- scientific article; zbMATH DE number 7455746 (Why is no real title available?)
- Efficient simulation of general stochastic hybrid systems
- Hybrid Systems: Computation and Control
- Comparing two approaches to include stochasticity in hybrid automata
- 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)
