Bayesian Statistical Analysis for Performance Evaluation in Real-Time Control Systems

A4 Conference proceedings

Internal Authors/Editors

Publication Details

List of Authors: Pontus Boström, Mikko Heikkilä, Mikko Huova, Marina Waldén, Matti Linjama
Editors: Campos J, Haverkort BR
Publisher: Springer
Publication year: 2015
Publisher: Springer
Book title: Quantitative Evaluation of Systems - 12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015, Proceedings
Title of series: Lecture Notes in Computer Science
Number in series: 9259
Start page: 312
End page: 328
ISBN: 978-3-319-22263-9
eISBN: 978-3-319-22264-6
ISSN: 0302-9743


This paper presents a method for statistical analysis of hybrid systems affected by stochastic disturbances, such as random computation and communication delays. The method is applied to the analysis of a computer controlled digital hydraulic power management system, where such effects are present. Bayesian inference is used to perform parameter estimation and we use hypothesis testing based on Bayes factors to compare properties of different variants of the system to assess the impact of different random disturbances. The key idea is to use sequential sampling to generate only as many samples from the models as needed to achieve desired confidence in the result.

Last updated on 2020-26-01 at 03:14