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

A4 Konferenspublikationer


Interna författare/redaktörer


Publikationens författare: Pontus Boström, Mikko Heikkilä, Mikko Huova, Marina Waldén, Matti Linjama
Redaktörer: Campos J, Haverkort BR
Förläggare: Springer
Publiceringsår: 2015
Förläggare: Springer
Moderpublikationens namn: Quantitative Evaluation of Systems - 12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015, Proceedings
Seriens namn: Lecture Notes in Computer Science
Nummer i serien: 9259
Artikelns första sida, sidnummer: 312
Artikelns sista sida, sidnummer: 328
ISBN: 978-3-319-22263-9
eISBN: 978-3-319-22264-6
ISSN: 0302-9743


Abstrakt

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.

Senast uppdaterad 2019-17-11 vid 02:47