scientific article; zbMATH DE number 1956626

MaRDI QIDQ4417983zbMATH OpenFDO

Authors Manuela L. Bujorianu, John Lygeros

Publication date 30 July 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2623/26230126.htm

zbMATH Keywords

hitting timesHybrid systemsMarkov processesreachability

Mathematics Subject Classification ID

Stochastic systems in control theory (general) (93E03)

Recommendations

• Safety verification of piecewise-deterministic Markov processes
• Hybrid Systems: Computation and Control
• Computational Approaches to Reachability Analysis of Stochastic Hybrid Systems
• Viability, invariance and reachability for controlled piecewise deterministic Markov processes associated to gene networks
• Piecewise deterministic Markov processes represented by dynamically coloured Petri nets

Cited in

(19)

• Automated verification and synthesis of stochastic hybrid systems: a survey
• Optimal control of stochastic hybrid system with jumps: a numerical approximation
• Stochastic system controller synthesis for reachability specifications encoded by random sets
• Viability, invariance and reachability for controlled piecewise deterministic Markov processes associated to gene networks
• Verification and control of probabilistic rectangular hybrid automata
• Safety verification of piecewise-deterministic Markov processes
• Communicating piecewise deterministic Markov processes
• Stochastic Satisfiability Modulo Theory: A Novel Technique for the Analysis of Probabilistic Hybrid Systems
• Trajectory-based theory for hybrid systems
• Reachability problems for Markov chains
• Reachability computation for switching diffusions, finite abstractions with certifiable and tuneable precision
• State constrained reachability for stochastic hybrid systems
• Verification of discrete time stochastic hybrid systems: a stochastic reach-avoid decision problem
• Comparing two approaches to include stochasticity in hybrid automata
• Modeling and analysis of DNA replication
• American option pricing using generalised stochastic hybrid systems
• Numerical approximations and convergence analysis of piecewise diffusion Markov processes, with application to glioma cell migration
• Engineering constraint solvers for automatic analysis of probabilistic hybrid automata
• A method to compute the transition function of a piecewise deterministic Markov process with application to reliability

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 Q4417983)