Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all domains
Limit my searches in the following domains
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Keywords
(5)
Markov Process
Modeling and Analysis
Probabilistic Automata
Probabilistic Logic
Probability Distribution
Subscribe
Academic
Publications
New Results on Abstract Probabilistic Automata
Edit
New Results on Abstract Probabilistic Automata
(
Citations: 2
)
BibTex
|
RIS
|
RefWorks
Download
Benoît Delahaye
,
Joost-Pieter Katoen
,
Kim G. Larsen
,
Axel Legay
,
Mikkel L. Pedersen
,
Falak Sher
,
Andrzej Wþasowski
Probabilistic Automata
(PAs) are a recognized framework for
modeling and analysis
of nondeterministic sys- tems with stochastic behavior. Recently, we proposed Abstract
Probabilistic Automata
(APAs)—an abstraction framework for PAs. In this paper, we discuss APAs over dissimilar alphabets, a determinisation operator, conjunction of non-deterministic APAs, and an APA-embedding of Interface Automata. We conclude introducing a tool for automatic manipulation of APAs.
Conference:
Int. Conf. on Application of Concurrency to System Design - ACSD
, pp. 118-127, 2011
DOI:
10.1109/ACSD.2011.10
Cumulative
Annual
View Publication
The following links allow you to view full publications. These links are maintained by other sources not affiliated with Microsoft Academic Search.
(
ieeexplore.ieee.org
)
(
ieeexplore.ieee.org
)
Citation Context
(2)
...This extension adds must self-loops for all new actions and extends the sets of atomic propositions in a classical way. See [
18
] for a formal definition...
...Following the presentation in [23] it is possible to express an arbitrary inteface automaton as an abstract probabilistic automaton. We refer to [
18
] for the translation...
Benoît Delahaye
,
et al.
New Results on Abstract Probabilistic Automata
...Recently [2], [
3
], we proposed Abstract Probabilistic Automata (APA), a new powerful abstraction formalism for PAs equipped with (1) a series of aggressive abstraction techniques for state-space reduction, and (2) a specification theory for component-based design in the spirit of [4]...
...μ(s3) else. For all distributions μ that satisfies ϕ, μδ will satisfy ϕ � , and for all pairs (s, s � ) such that δ(s)(s � ) > 0, s R s � . Details can be found in [2], [
3
]...
Benoît Delahaye
,
et al.
APAC: A Tool for Reasoning about Abstract Probabilistic Automata
References
(25)
Probabilistic Simulations for Probabilistic Processes
(
Citations: 230
)
Roberto Segala
,
Nancy A. Lynch
Journal:
Nordic Journal of Computing - NJC
, vol. 2, no. 2, pp. 250-273, 1995
Probability and Nondeterminism in Operational Models of Concurrency
(
Citations: 14
)
Roberto Segala
Conference:
International Conference on Concurrency Theory - CONCUR
, pp. 64-78, 2006
Axiomatization of Trace Semantics for Stochastic Nondeterministic Processes
(
Citations: 6
)
Augusto Parma
,
Roberto Segala
Conference:
Quantitative Evaluation of Systems - QEST
, pp. 294-303, 2004
A Probabilistic Extension of UML Statecharts
(
Citations: 11
)
David N. Jansen
,
Holger Hermanns
,
Joost-pieter Katoen
Conference:
Formal Techniques in Real-Time and Fault-Tolerant Systems - FTRTFT
, pp. 355-374, 2002
Switched PIOA: Parallel composition via distributed scheduling
(
Citations: 13
)
Ling Cheung
,
Nancy A. Lynch
,
Roberto Segala
,
Frits W. Vaandrager
Journal:
Theoretical Computer Science - TCS
, vol. 365, no. 1-2, pp. 83-108, 2006
Order by:
Citations
(2)
New Results on Abstract Probabilistic Automata
(
Citations: 2
)
Benoît Delahaye
,
Joost-Pieter Katoen
,
Kim G. Larsen
,
Axel Legay
,
Mikkel L. Pedersen
,
Falak Sher
,
Andrzej Wþasowski
Conference:
Int. Conf. on Application of Concurrency to System Design - ACSD
, pp. 118-127, 2011
APAC: A Tool for Reasoning about Abstract Probabilistic Automata
Benoît Delahaye
,
Kim G. Larsen
,
Axel Legay
,
Mikkel L. Pedersen
,
Andrzej Wasowski
Conference:
Quantitative Evaluation of Systems - QEST
, 2011