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

共 50 条

[31] Analytic real-time analysis and timed automata: a hybrid methodology for the performance analysis of embedded real-time systems
Lampka, Kai
Perathoner, Simon
Thiele, Lothar
DESIGN AUTOMATION FOR EMBEDDED SYSTEMS, 2010, 14 (03) : 193 - 227
[32] Performance evaluation of a real-time transport protocol with deterministic and statistical QoS guarantees
Himonas, SD
Gelman, AD
ICC'97: 1997 IEEE INTERNATIONAL CONFERENCE ON COMMUNICATIONS - TOWARDS THE KNOWLEDGE MILLENNIUM, CONFERENCE RECORD - VOLS 1-3, 1997, : 256 - 260
[33] Performance analysis for real-time grid systems on COTS operating systems
Huh, EN
Mun, Y
COMPUTATIONAL SCIENCE - ICCS 2003, PT IV, PROCEEDINGS, 2003, 2660 : 482 - 490
[34] Stochastic analysis and control of real-time systems with random time delays
Lund Inst of Technology, Lund, Sweden
Automatica, 1 (57-64):
[35] Stochastic analysis and control of real-time systems with random time delays
Nilsson, J
Bernhardsson, B
Wittenmark, B
AUTOMATICA, 1998, 34 (01) : 57 - 64
[36] Statistical considerations for real-time size control systems in wood products manufacturing
Maness, TC
Staudhammer, C
Kozak, RA
WOOD AND FIBER SCIENCE, 2002, 34 (03): : 476 - 484
[37] Real-time performance estimation for dynamic, distributed real-time systems
Huh, EN
Welch, LR
Mun, Y
COMPUTATIONAL SCIENCE-ICCS 2002, PT III, PROCEEDINGS, 2002, 2331 : 1071 - 1079
[38] Performance of real-time distributed arrival time control in heterarchical manufacturing systems
Prabhu, VV
IIE TRANSACTIONS, 2000, 32 (04) : 323 - 331
[39] Packet Management for Optimizing Control Performance in Real-Time Feedback Control Systems
Tong, Xin
Li, Liying
Zhao, Guodong
Meng, Zhen
Chen, Zhi
Yang, Geng
IECON 2020: THE 46TH ANNUAL CONFERENCE OF THE IEEE INDUSTRIAL ELECTRONICS SOCIETY, 2020, : 4362 - 4367
[40] A Statistical Approach to Response-Time Analysis of Complex Embedded Real-Time Systems
Lu, Yue
Nolte, Thomas
Kraft, Johan
Norstrom, Christer
16TH IEEE INTERNATIONAL CONFERENCE ON EMBEDDED AND REAL-TIME COMPUTING SYSTEMS AND APPLICATIONS (RTCSA 2010), 2010, : 153 - 160

← 1 2 3 4 5 →