Exact performance equivalence: An equivalence relation for stochastic automata

被引：26

作者：

Buchholz, P ^{[1
]}

机构：

[1] Univ Dortmund, D-44221 Dortmund, Germany

来源：

THEORETICAL COMPUTER SCIENCE | 1999年 / 215卷 / 1-2期

关键词：

stochastic automata; equivalence of stochastic automata; qualitative analysis; quantitative analysis;

D O I：

10.1016/S0304-3975(98)00169-8

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

Stochastic automata are an established formalism to describe and analyse systems according to their qualitative and quantitative behaviour. Equivalence is a basic concept for the analysis, comparison and reduction of untimed automata, whereas equivalence of stochastic automata is less established. This paper introduces a new equivalence relation for stochastic automata denoted as exact performance equivalence. It is shown that this equivalence relation preserves several important qualitative properties and also quantitative results. Exact performance equivalence is a congruence according to the synchronised product of stochastic automata. The smallest exactly equivalent automaton exists for a stochastic automaton and can be generated by a partition refinement algorithm. (C) 1999-Elsevier Science B.V. All rights reserved.

引用

页码：263 / 287

页数：25

共 25 条

[21] A quantitative analysis procedure for solving safety factor of tunnel preliminary support considering the equivalence between Hoek-Brown and Mohr-Coulomb criteria
Liu, Yangyang
Fang, Yanbing
Su, Ya
Zhang, Peng
Su, Yonghua
SOILS AND FOUNDATIONS, 2023, 63 (04)
[22] Performance analysis of a consensus algorithm -: Combining stochastic activity networks and measurements
Coccoli, A
Urbán, N
Bondavalli, A
Schiper, A
INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS, PROCEEDINGS, 2002, : 551 - 560
[23] Qualitative analysis and new exact solutions for the extended space-fractional stochastic (3+1)-dimensional Zakharov-Kuznetsov equation
Elbrolosy, Mamdouh
PHYSICA SCRIPTA, 2024, 99 (07)
[24] The relation between structural, optical, and electronic properties of composite CuO/ZnO in supporting photocatalytic performance
Rahmat, Roni
Heryanto, Heryanto
Ilyas, Sultan
Fahri, Ahmad Nurul
Mutmainna, Inayatul
Rahmi, Mufti Hatur
Tahir, Dahlang
DESALINATION AND WATER TREATMENT, 2022, 270 : 289 - 301
[25] Exact Solutions and Qualitative Analysis of the Stochastic Model for Embedded Solitons with χ(2)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\chi ^{(2)}$$\end{document} and χ(3)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\chi ^{(3)}$$\end{document} Nonlinear Susceptibilities
Yu-Fei Chen
International Journal of Theoretical Physics, 63 (10)

← 1 2 3 →