Projekter pr. år
Abstract
Probabilistic Automata (PAs) are a widely-recognized mathematical framework for the specification and analysis of systems with non-deterministic and stochastic behaviors. This paper proposes Abstract Probabilistic Automata (APAs), that is a novel abstraction model for PAs. In APAs uncertainty of the non-deterministic choices is modeled by may/must modalities on transitions while uncertainty of the stochastic behavior is expressed by (underspecified) stochastic constraints. We have developed a complete abstraction theory for PAs, and also propose the first specification theory for them. Our theory supports both satisfaction and refinement operators, together with classical stepwise design operators. In addition, we study the link between specification theories and abstraction in avoiding the state-space explosion problem.
Originalsprog | Engelsk |
---|---|
Tidsskrift | Information and Computation |
Vol/bind | 232 |
Sider (fra-til) | 66-116 |
Antal sider | 50 |
ISSN | 0890-5401 |
DOI | |
Status | Udgivet - nov. 2013 |
Emneord
- Specification
- Abstraction
- Compositional reasoning
- Interface automata
- Probabilistic Automata
Fingeraftryk
Dyk ned i forskningsemnerne om 'Abstract Probabilistic Automata'. Sammen danner de et unikt fingeraftryk.Projekter
- 1 Afsluttet
-
MT-Lab - Modelling of Information Technology
Wasowski, A. (CoI), Godskesen, J. C. (PI), Song, L. (CoI), Traonouez, L.-M. (CoI) & Biondi, F. (CoI)
01/11/2008 → 31/10/2013
Projekter: Projekt › Forskning