Reachability questions in piecewise deterministic Markov processes

DOI10.1007/3-540-36580-X_12MaRDI QIDQ4417983zbMATH OpenFDO

Authors Manuela L. Bujorianu, John Lygeros

Publication date 30 July 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

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: Reachability questions in piecewise deterministic Markov processes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4417983)