Input/Output Stochastic Automata - Compositionality and Determinism

Autores
D'Argenio, Pedro R.; Monti, Raúl E; Lee, Matías D.
Año de publicación
2016
Idioma
inglés
Tipo de recurso
artículo
Estado
versión publicada
Descripción
Fil: D'Argenio, Pedro R. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía, Física y Computación; Argentina.
Fil: Monti, Raúl Enrique. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía, Física y Computación; Argentina.
Stochastic automata provide a way to symbolically model systems in which the occurrence time of events may respond to any continuous random variable. We introduce here an input/output variant of stochastic automata that, once the model is closed ?i.e., all synchronizations are resolved?, the resulting automaton does not contain non-deterministic choices. This is important since fully probabilistic models are amenable to simulation in the general case and to much more efficient analysis if restricted to Markov models. We present here a theoretical introduction to input/output stochastic automata (IOSA) for which we (i) provide a concrete semantics in terms of non-deterministic labeled Markov processes (NLMP), (ii) prove that bisimulation is a congruence for parallel composition both in NLMP and IOSA, (iii) show that parallel composition commutes in the symbolic and concrete level, and (iv) provide a proof that a closed IOSA is indeed deterministic.
http://dx.doi.org/10.1007/978-3-319-44878-7_4
info:eu-repo/semantics/publishedVersion
Fil: D'Argenio, Pedro R. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía, Física y Computación; Argentina.
Fil: Monti, Raúl Enrique. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía, Física y Computación; Argentina.
Ciencias de la Computación
Materia
STOCHASTIC AUTOMATA
SEMANTICS
COMPOSITIONALITY
Nivel de accesibilidad
acceso abierto
Condiciones de uso
Repositorio
Repositorio Digital Universitario (UNC)
Institución
Universidad Nacional de Córdoba
OAI Identificador
oai:rdu.unc.edu.ar:11086/560105
Acceder
id RDUUNC_bced042295756265668f1453e8c7ed06
oai_identifier_str oai:rdu.unc.edu.ar:11086/560105
network_acronym_str RDUUNC
repository_id_str 2572
network_name_str Repositorio Digital Universitario (UNC)
spelling Input/Output Stochastic Automata - Compositionality and DeterminismD'Argenio, Pedro R.Monti, Raúl ELee, Matías D.STOCHASTIC AUTOMATASEMANTICSCOMPOSITIONALITYFil: D'Argenio, Pedro R. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía, Física y Computación; Argentina.Fil: Monti, Raúl Enrique. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía, Física y Computación; Argentina.Stochastic automata provide a way to symbolically model systems in which the occurrence time of events may respond to any continuous random variable. We introduce here an input/output variant of stochastic automata that, once the model is closed ?i.e., all synchronizations are resolved?, the resulting automaton does not contain non-deterministic choices. This is important since fully probabilistic models are amenable to simulation in the general case and to much more efficient analysis if restricted to Markov models. We present here a theoretical introduction to input/output stochastic automata (IOSA) for which we (i) provide a concrete semantics in terms of non-deterministic labeled Markov processes (NLMP), (ii) prove that bisimulation is a congruence for parallel composition both in NLMP and IOSA, (iii) show that parallel composition commutes in the symbolic and concrete level, and (iv) provide a proof that a closed IOSA is indeed deterministic.http://dx.doi.org/10.1007/978-3-319-44878-7_4info:eu-repo/semantics/publishedVersionFil: D'Argenio, Pedro R. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía, Física y Computación; Argentina.Fil: Monti, Raúl Enrique. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía, Física y Computación; Argentina.Ciencias de la Computación2016-08info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/articlehttp://purl.org/coar/resource_type/c_6501info:ar-repo/semantics/articuloapplication/pdfD’Argenio, P.R., Lee, M.D., Monti, R.E. (2016). Input/Output Stochastic Automata. In: Fränzle, M., Markey, N. (eds) Formal Modeling and Analysis of Timed Systems. FORMATS 2016. Lecture Notes in Computer Science(), vol 9884. Springer, Cham. https://doi.org/10.1007/978-3-319-44878-7_40302-9743http://dx.doi.org/10.1007/978-3-319-44878-7_4http://hdl.handle.net/11086/560105enginfo:eu-repo/semantics/openAccessreponame:Repositorio Digital Universitario (UNC)instname:Universidad Nacional de Córdobainstacron:UNC2026-02-26T11:45:15Zoai:rdu.unc.edu.ar:11086/560105Institucionalhttps://rdu.unc.edu.ar/Universidad públicaNo correspondehttp://rdu.unc.edu.ar/oai/snrdoca.unc@gmail.comArgentinaNo correspondeNo correspondeNo correspondeopendoar:25722026-02-26 11:45:16.04Repositorio Digital Universitario (UNC) - Universidad Nacional de Córdobafalse
dc.title.none.fl_str_mv Input/Output Stochastic Automata - Compositionality and Determinism
title Input/Output Stochastic Automata - Compositionality and Determinism
spellingShingle Input/Output Stochastic Automata - Compositionality and Determinism
D'Argenio, Pedro R.
STOCHASTIC AUTOMATA
SEMANTICS
COMPOSITIONALITY
title_short Input/Output Stochastic Automata - Compositionality and Determinism
title_full Input/Output Stochastic Automata - Compositionality and Determinism
title_fullStr Input/Output Stochastic Automata - Compositionality and Determinism
title_full_unstemmed Input/Output Stochastic Automata - Compositionality and Determinism
title_sort Input/Output Stochastic Automata - Compositionality and Determinism
dc.creator.none.fl_str_mv D'Argenio, Pedro R.
Monti, Raúl E
Lee, Matías D.
author D'Argenio, Pedro R.
author_facet D'Argenio, Pedro R.
Monti, Raúl E
Lee, Matías D.
author_role author
author2 Monti, Raúl E
Lee, Matías D.
author2_role author
author
dc.subject.none.fl_str_mv STOCHASTIC AUTOMATA
SEMANTICS
COMPOSITIONALITY
topic STOCHASTIC AUTOMATA
SEMANTICS
COMPOSITIONALITY
dc.description.none.fl_txt_mv Fil: D'Argenio, Pedro R. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía, Física y Computación; Argentina.
Fil: Monti, Raúl Enrique. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía, Física y Computación; Argentina.
Stochastic automata provide a way to symbolically model systems in which the occurrence time of events may respond to any continuous random variable. We introduce here an input/output variant of stochastic automata that, once the model is closed ?i.e., all synchronizations are resolved?, the resulting automaton does not contain non-deterministic choices. This is important since fully probabilistic models are amenable to simulation in the general case and to much more efficient analysis if restricted to Markov models. We present here a theoretical introduction to input/output stochastic automata (IOSA) for which we (i) provide a concrete semantics in terms of non-deterministic labeled Markov processes (NLMP), (ii) prove that bisimulation is a congruence for parallel composition both in NLMP and IOSA, (iii) show that parallel composition commutes in the symbolic and concrete level, and (iv) provide a proof that a closed IOSA is indeed deterministic.
http://dx.doi.org/10.1007/978-3-319-44878-7_4
info:eu-repo/semantics/publishedVersion
Fil: D'Argenio, Pedro R. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía, Física y Computación; Argentina.
Fil: Monti, Raúl Enrique. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía, Física y Computación; Argentina.
Ciencias de la Computación
description Fil: D'Argenio, Pedro R. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía, Física y Computación; Argentina.
publishDate 2016
dc.date.none.fl_str_mv 2016-08
dc.type.none.fl_str_mv info:eu-repo/semantics/publishedVersion
info:eu-repo/semantics/article
http://purl.org/coar/resource_type/c_6501
info:ar-repo/semantics/articulo
status_str publishedVersion
format article
dc.identifier.none.fl_str_mv D’Argenio, P.R., Lee, M.D., Monti, R.E. (2016). Input/Output Stochastic Automata. In: Fränzle, M., Markey, N. (eds) Formal Modeling and Analysis of Timed Systems. FORMATS 2016. Lecture Notes in Computer Science(), vol 9884. Springer, Cham. https://doi.org/10.1007/978-3-319-44878-7_4
0302-9743
http://dx.doi.org/10.1007/978-3-319-44878-7_4
http://hdl.handle.net/11086/560105
identifier_str_mv D’Argenio, P.R., Lee, M.D., Monti, R.E. (2016). Input/Output Stochastic Automata. In: Fränzle, M., Markey, N. (eds) Formal Modeling and Analysis of Timed Systems. FORMATS 2016. Lecture Notes in Computer Science(), vol 9884. Springer, Cham. https://doi.org/10.1007/978-3-319-44878-7_4
0302-9743
url http://dx.doi.org/10.1007/978-3-319-44878-7_4
http://hdl.handle.net/11086/560105
dc.language.none.fl_str_mv eng
language eng
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.source.none.fl_str_mv reponame:Repositorio Digital Universitario (UNC)
instname:Universidad Nacional de Córdoba
instacron:UNC
reponame_str Repositorio Digital Universitario (UNC)
collection Repositorio Digital Universitario (UNC)
instname_str Universidad Nacional de Córdoba
instacron_str UNC
institution UNC
repository.name.fl_str_mv Repositorio Digital Universitario (UNC) - Universidad Nacional de Córdoba
repository.mail.fl_str_mv oca.unc@gmail.com
_version_ 1858207687152500736
score 13.176822

Publicaciones similares