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

被引：0

作者：

Bostrom, Pontus ^{[1
]}

Heikkila, Mikko ^{[2
]}

Huova, Mikko ^{[2
]}

Walden, Marina ^{[1
]}

Linjama, Matti ^{[2
]}

机构：

[1] Abo Akad Univ, Turku, Finland

[2] Tampere Univ Technol, FIN-33101 Tampere, Finland

来源：

QUANTITATIVE EVALUATION OF SYSTEMS | 2015年 / 9259卷

关键词：

MODEL CHECKING; SIMULATION;

D O I：

10.1007/978-3-319-22264-6_20

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

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.

引用

页码：312 / 328

页数：17

共 17 条

[1] Amnell T, 2003, LECT NOTES COMPUT SC, V2791, P60
[2] [Anonymous], 2009, P 11 SCAND INT C FLU
[3] Bostrom Pontus, 2014, Formal Methods for Industrial Critical Systems. 19th International Conference, FMICS 2014. Proceedings: LNCS 8718, P33, DOI 10.1007/978-3-319-10702-8_3
[4] Bostrom P., 2015, TECHNICAL REPORT, P1136
[5] How does control timing affect performance?: Analysis and simulation of timing using Jitterbug and TrueTime
Cervin, A
Henriksson, D
Lincoln, B
Eker, J
Årzén, KE
[J]. IEEE CONTROL SYSTEMS MAGAZINE, 2003, 23 (03): : 16 - 30
[6] David Alexandre, 2013, NASA Formal Methods. 5th International Symposium, NFM 2013. Proceedings, P352, DOI 10.1007/978-3-642-38088-4_24
[7] David Alexandre, 2011, Computer Aided Verification. Proceedings 23rd International Conference, CAV 2011, P349, DOI 10.1007/978-3-642-22110-1_27
[8] David A, 2011, LECT NOTES COMPUT SC, V6919, P80, DOI 10.1007/978-3-642-24310-3_7
[9] Gelman Andrew, 2004, Bayesian data analysis, V2nd
[10] Hérault T, 2004, LECT NOTES COMPUT SC, V2937, P73

← 1 2 →