Viability, Invariance and Reachability for Controlled Piecewise Deterministic Markov Processes Associated to Gene Networks

Abstract

We aim at characterizing viability, invariance and some reachability properties of controlled piecewise deterministic Markov processes (PDMPs). Using analytical methods from the theory of viscosity solutions, we establish criteria for viability and invariance in terms of the first order normal cone. We also investigate reachability of arbitrary open sets. The method is based on viscosity techniques and duality for some associated linearized problem. The theoretical results are applied to general On/Off systems, Cook's model for haploinssuficiency, and a stochastic model for bacteriophage lambda.

submitted

References in corpus (1)

• Second-Order Elliptic Integro-Differential Equations: Viscosity Solutions' Theory Revisited

Cited by in corpus (5)

• Algebraic Invariance Conditions in the Study of Approximate (Null-)Controllability of Markov Switch Processes
• Quasi-stationary behavior for an hybrid model of chemostat: the Crump-Young model
• Non-local Hamilton-Jacobi-Bellman equations for the stochastic optimal control of path-dependent piecewise deterministic processes
• Asymptotic Control for a Class of Piecewise Deterministic Markov Processes Associated to Temperate Viruses
• A Piecewise Deterministic Markov Toy Model for Traffic/Maintenance and Associated Hamilton-Jacobi Integrodifferential Systems on Networks