Open Daily: 10am - 10pm | Alley door pickup 10am - 7pm 3038 Hennepin Ave Minneapolis, MN
612-822-4611

  • Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
Refined Probabilistic Abstraction

Refined Probabilistic Abstraction

Wachter, Bjorn

Paperback

General Computers

Currently unavailable to order

ISBN10: 3832527648
ISBN13: 9783832527648
Publisher: Logos Verlag Berlin
Published: Jan 30 2011
Pages: 200
Weight: 0.40
Height: 0.40 Width: 5.68 Depth: 8.04
Language: English
Computer networks and embedded systems are ubiquitous and critical parts of our daily life. Therefore performance and reliability guarantees for these systems are crucial. To this end, versatile probabilistic modelling and analysis techniques have been developed. However existing probabilistic analysis methods are inherently limited to small systems. This dissertation introduces a new probabilistic analysis method that scales to large and even infinite systems which are far out of reach of previous methods. The key idea is to approximate a given system by a smaller abstraction which is refined automatically until sufficient precision has been achieved. The thesis discusses the various foundational and practical challenges involved in developing this method, as well as its effectiveness in practice.

Also in

General Computers

View All