Analysis of Non-Linear Probabilistic Hybrid Systems

Details Analysis of Non-Linear Probabilistic Hybrid Systems Analysis of Non-Linear Probabilistic Hybrid Systems

2011-07-06

arxiv.org/abs/1107.1204v1

EPTCS 57, 2011, pp. 104-119

Computer Science

Logic in Computer Science

In Proceedings QAPL 2011, arXiv:1107.0746

Scientific paper

10.4204/EPTCS.57.8

This paper shows how to compute, for probabilistic hybrid systems, the clock approximation and linear phase-portrait approximation that have been proposed for non probabilistic processes by Henzinger et al. The techniques permit to define a rectangular probabilistic process from a non rectangular one, hence allowing the model-checking of any class of systems. Clock approximation, which applies under some restrictions, aims at replacing a non rectangular variable by a clock variable. Linear phase-approximation applies without restriction and yields an approximation that simulates the original process. The conditions that we need for probabilistic processes are the same as those for the classic case.

Affiliated with

Also associated with

No associations

Rating

Analysis of Non-Linear Probabilistic Hybrid 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 Analysis of Non-Linear Probabilistic Hybrid Systems, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Analysis of Non-Linear Probabilistic Hybrid Systems will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-678843