Abstract Interpretation for Probabilistic Termination of Biological Systems

Details Abstract Interpretation for Probabilistic Termination of Biological Systems Abstract Interpretation for Probabilistic Termination of Biological Systems

2009-11-26

arxiv.org/abs/0911.4988v1

EPTCS 11, 2009, pp. 137-153

Computer Science

Logic in Computer Science

Scientific paper

10.4204/EPTCS.11.9

In a previous paper the authors applied the Abstract Interpretation approach for approximating the probabilistic semantics of biological systems, modeled specifically using the Chemical Ground Form calculus. The methodology is based on the idea of representing a set of experiments, which differ only for the initial concentrations, by abstracting the multiplicity of reagents present in a solution, using intervals. In this paper, we refine the approach in order to address probabilistic termination properties. More in details, we introduce a refinement of the abstract LTS semantics and we abstract the probabilistic semantics using a variant of Interval Markov Chains. The abstract probabilistic model safely approximates a set of concrete experiments and reports conservative lower and upper bounds for probabilistic termination.

Affiliated with

Also associated with

No associations

Rating

Abstract Interpretation for Probabilistic Termination of Biological Systems does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Abstract Interpretation for Probabilistic Termination of Biological Systems, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Abstract Interpretation for Probabilistic Termination of Biological Systems will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-116145