Automata for Modeling Reversible Probabilistic Processes
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 disti...
Saved in:
Main Authors: | , , |
---|---|
Format: | Citation Index Journal |
Published: |
2013
|
Subjects: | |
Online Access: | http://eprints.utp.edu.my/11075/1/AMM.422.185 http://eprints.utp.edu.my/11075/ |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
id |
my.utp.eprints.11075 |
---|---|
record_format |
eprints |
spelling |
my.utp.eprints.110752014-02-16T23:41:45Z Automata for Modeling Reversible Probabilistic Processes Arpit, Arpit Shafie, Afza Wan Ahmad, Wan Fatimah T Technology (General) 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 Citation Index Journal PeerReviewed other http://eprints.utp.edu.my/11075/1/AMM.422.185 Arpit, Arpit and Shafie, Afza and Wan Ahmad, Wan Fatimah (2013) Automata for Modeling Reversible Probabilistic Processes. [Citation Index Journal] http://eprints.utp.edu.my/11075/ |
institution |
Universiti Teknologi Petronas |
building |
UTP Resource Centre |
collection |
Institutional Repository |
continent |
Asia |
country |
Malaysia |
content_provider |
Universiti Teknologi Petronas |
content_source |
UTP Institutional Repository |
url_provider |
http://eprints.utp.edu.my/ |
topic |
T Technology (General) |
spellingShingle |
T Technology (General) Arpit, Arpit Shafie, Afza Wan Ahmad, Wan Fatimah Automata for Modeling Reversible Probabilistic Processes |
description |
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. |
format |
Citation Index Journal |
author |
Arpit, Arpit Shafie, Afza Wan Ahmad, Wan Fatimah |
author_facet |
Arpit, Arpit Shafie, Afza Wan Ahmad, Wan Fatimah |
author_sort |
Arpit, Arpit |
title |
Automata for Modeling Reversible Probabilistic Processes |
title_short |
Automata for Modeling Reversible Probabilistic Processes |
title_full |
Automata for Modeling Reversible Probabilistic Processes |
title_fullStr |
Automata for Modeling Reversible Probabilistic Processes |
title_full_unstemmed |
Automata for Modeling Reversible Probabilistic Processes |
title_sort |
automata for modeling reversible probabilistic processes |
publishDate |
2013 |
url |
http://eprints.utp.edu.my/11075/1/AMM.422.185 http://eprints.utp.edu.my/11075/ |
_version_ |
1738655928838782976 |
score |
13.160551 |