Stochastic Formal Methods for Hybrid Systems

Details Stochastic Formal Methods for Hybrid Systems Stochastic Formal Methods for Hybrid Systems

2006-10-18

arxiv.org/abs/cs/0610110v4

Computer Science

Mathematical Software

Scientific paper

We provide a framework to bound the probability that accumulated errors were never above a given threshold on hybrid systems. Such systems are used for example to model an aircraft or a nuclear power plant on one side and its software on the other side. This report contains simple formulas based on L\'evy's and Markov's inequalities and it presents a formal theory of random variables with a special focus on producing concrete results. We selected four very common applications that fit in our framework and cover the common practices of hybrid systems that evolve for a long time. We compute the number of bits that remain continuously significant in the first two applications with a probability of failure around one against a billion, where worst case analysis considers that no significant bit remains. We are using PVS as such formal tools force explicit statement of all hypotheses and prevent incorrect uses of theorems.

Affiliated with

Also associated with

No associations

Rating

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

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-99424