Safety Verification of Piecewise-Deterministic Markov Processes

2016 ◽  
Author(s):  
Rafael Wisniewski ◽  
Christoffer Sloth ◽  
Manuela Bujorianu ◽  
Nir Piterman
Keyword(s):  
Markov Processes ◽  
Safety Verification ◽  
Piecewise Deterministic Markov Processes

scholarly journals Stochastic semigroups and their applications to biological models

2012 ◽  
Vol 45 (2) ◽  
Author(s):  
Katarzyna Pichór ◽  
Ryszard Rudnicki ◽  
Marta Tyran-Kamińska
Keyword(s):  
Markov Processes ◽  
Asymptotic Properties ◽  
Biological Models ◽  
Genes Expression ◽  
Piecewise Deterministic Markov Processes ◽  
Birth Death

AbstractSome recent results concerning generation and asymptotic properties of stochastic semigroups are presented. The general results are applied to biological models described by piecewise deterministic Markov processes: birth-death processes, the evolution of the genome, genes expression and physiologically structured models.

Sign in / Sign up

Export Citation Format

Share Document