eprintid: 3412
rev_number: 2
eprint_status: archive
userid: 1
dir: disk0/00/00/34/12
datestamp: 2023-11-09 15:51:40
lastmod: 2023-11-09 15:51:40
status_changed: 2023-11-09 15:46:46
type: article
metadata_visibility: show
creators_name: Arpit, 
creators_name: Shafie, A.
creators_name: Ahmad, W.F.
title: Automata for modeling reversible probabilistic processes
ispublished: pub
keywords: Automata; Formal specification and verification; Non-determinism; Non-deterministic process; Parallel composition; Probabilistic process; Probability mass function; Testing method, Probability distributions; Testing, Automata theory
note: cited By 0; Conference of International Conference on Information Engineering for Mechanics and Materials, ICIMM 2013 ; Conference Date: 5 July 2013 Through 7 July 2013; Conference Code:100384
abstract: This paper presents a construction of an automaton that aids the modeling of probabilistic processes which exhibit reversibility during their computations. A probabilistic process defines a probability distribution over the uncertainties of its computations. This characteristic also makes them distinct from nondeterministic processes. But, uncertainties hinder the assurance about the quality of such systems gained by the traditional testing methods. Further, reversibility acts as a catalyst in such scenarios by raising the possibility of achieving the states which were inaccessible in past. Thus, the verification of such systems is necessary and this requires the system to be formally specified. In this respect, proposed work provides the constructs for modeling probabilistic environments and reversibility. Former is achieved by the introduction of discrete probabilities in classical automata theory, and later is implemented by giving the constructs of memory. It also provides the constructs for representing non-determinism by specifying the choices over several probability mass functions for a state. © (2013) Trans Tech Publications, Switzerland.
date: 2013
official_url: https://www.scopus.com/inward/record.uri?eid=2-s2.0-84886079515&doi=10.4028%2fwww.scientific.net%2fAMM.422.185&partnerID=40&md5=9e128f666eec0d99e0081027d266ee2a
id_number: 10.4028/www.scientific.net/AMM.422.185
full_text_status: none
publication: Applied Mechanics and Materials
volume: 422
place_of_pub: Hangzhou
pagerange: 185-190
refereed: TRUE
isbn: 9783037858851
issn: 16609336
citation:   Arpit and Shafie, A. and Ahmad, W.F.  (2013) Automata for modeling reversible probabilistic processes.  Applied Mechanics and Materials, 422.  pp. 185-190.  ISSN 16609336