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 条

[1] A process for performance evaluation of real-time systems
Kornecki, AJ
Sorton, E
CCCT 2003, VOL 5, PROCEEDINGS: COMPUTER, COMMUNICATION AND CONTROL TECHNOLOGIES: II, 2003, : 88 - 93
[2] A process for performance evaluation of real-time systems
Kornecki, AJ
Sorton, E
7TH WORLD MULTICONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL XV, PROCEEDINGS: COMMUNICATION, CONTROL, SIGNAL AND OPTICS, TECHNOLOGIES AND APPLICATIONS, 2003, : 112 - 117
[3] Jitter evaluation of real-time control systems
Lluesma, Manuel
Cervin, Anton
Balbastre, Patricia
Ripoll, Ismael
Crespo, Alfons
12TH IEEE INTERNATIONAL CONFERENCE ON EMBEDDED AND REAL-TIME COMPUTING SYSTEMS AND APPLICATIONS, PROCEEDINGS, 2006, : 257 - +
[4] Real-Time Hybrid Simulation of Manufacturing Systems for Performance Analysis and Control
Saez, Miguel
Maturana, Francisco
Barton, Kira
Tilbury, Dawn
2015 INTERNATIONAL CONFERENCE ON AUTOMATION SCIENCE AND ENGINEERING (CASE), 2015, : 526 - 531
[5] MODELING AND PERFORMANCE EVALUATION OF MULTIPROCESSOR SYSTEMS FOR REAL-TIME NONLINEAR ROBOT CONTROL
HAN, JY
WANG, CY
PROCEEDINGS - 1989 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION, VOL 1-3, 1989, : 1016 - 1021
[6] Performance evaluation of concurrency control algorithms in secure real-time database systems
Lam, KW
Leung, W
Cho, SY
Siu, P
PROCEEDINGS OF THE FOURTH IASTED INTERNATIONAL CONFERENCE ON MODELLING, SIMULATION, AND OPTIMIZATION, 2004, : 383 - 388
[7] Analysis of real-time control systems with time delays
Nilsson, J
Bernhardsson, B
PROCEEDINGS OF THE 35TH IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-4, 1996, : 3173 - 3178
[8] Performance analysis of soft real-time systems
Rooholamini, M
Hosseini, SH
INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED PROCESSING TECHNIQUES AND APPLICATIONS, VOLS I-III, PROCEEDINGS, 1997, : 1614 - 1622
[9] Real-time communication in real-time control and analysis system for power systems
Cui, Yuan
Cheng, Lin
Sun, Yuanzhang
Li, Xiong
Peng, Jiangnan
Zhong, Zhian
Zhang, Jianyun
Dianli Xitong Zidonghue/Automation of Electric Power Systems, 2002, 26 (08): : 6 - 10
[10] A Statistical Response-Time Analysis of Real-Time Embedded Systems
Lu, Yue
Nolte, Thomas
Bate, Iain
Cucu-Grosjean, Liliana
PROCEEDINGS OF THE 2012 IEEE 33RD REAL-TIME SYSTEMS SYMPOSIUM (RTSS), 2012, : 351 - 362

← 1 2 3 4 5 →