TY - GEN
T1 - Algebraic reasoning for real-time probabilistic processes with uncertain information
AU - Yi, Wang
N1 - Publisher Copyright:
© Springer-Verlag Berlin Heidelberg 1994.
PY - 1994
Y1 - 1994
N2 - In this paper, we study behaviour descriptions with uncertain information such as “the probability of a system failure within a given time period is less than or equal to 0.3” in terms of process algebras. Typical systems that may show such behaviours include communicating systems with unreliable components, e.g. faulty medium. We present a process model for such behaviours, in which uncertain information is described by means of intervals of probabilities. In particular, we introduce a stochastic choice operator Σ0 [φi] Ei where φi's are intervals of probabilities. Roughly speaking, it is a process which may become Ei in one unit of time with a probability within the interval φi. Such a process is considered as a specification specifying a set of processes with less uncertain information. We develop a notion of probabilistic simulation to order specifications in terms of the degree of uncertainty in the specifications, which generalize the notion of probabilistic bisimulation. A complete axiomatization for the induced congruence is provided.
AB - In this paper, we study behaviour descriptions with uncertain information such as “the probability of a system failure within a given time period is less than or equal to 0.3” in terms of process algebras. Typical systems that may show such behaviours include communicating systems with unreliable components, e.g. faulty medium. We present a process model for such behaviours, in which uncertain information is described by means of intervals of probabilities. In particular, we introduce a stochastic choice operator Σ0 [φi] Ei where φi's are intervals of probabilities. Roughly speaking, it is a process which may become Ei in one unit of time with a probability within the interval φi. Such a process is considered as a specification specifying a set of processes with less uncertain information. We develop a notion of probabilistic simulation to order specifications in terms of the degree of uncertainty in the specifications, which generalize the notion of probabilistic bisimulation. A complete axiomatization for the induced congruence is provided.
UR - https://www.scopus.com/pages/publications/84981239199
U2 - 10.1007/3-540-58468-4_190
DO - 10.1007/3-540-58468-4_190
M3 - 会议稿件
AN - SCOPUS:84981239199
SN - 9783540584681
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 680
EP - 693
BT - Formal Techniques in Real-Time and Fault-Tolerant Systems - 3rd International Symposium Organized Jointly with the Working Group Provably Correct Systems - ProCoS, Proceedings
A2 - Langmaack, Hans
A2 - de Roever, Willem-Paul
A2 - Vytopil, Jan
A2 - Vytopil, Jan
PB - Springer Verlag
T2 - 3rd International Symposium on Formal Techniques in Real Time and Fault Tolerance Organized Jointly with Working Group Provably Correct Systems, ProCoS 1994
Y2 - 19 September 1994 through 23 September 1994
ER -