Cargando…
A Simulator for Probabilistic Timed Graph Transformation Systems with Complex Large-Scale Topologies
Future cyber-physical systems, like networks of autonomous vehicles, will result in a huge number of collaborating systems acting together on large-scale topologies. Modeling them requires capturing timed and probabilistic behavior as well as structure dynamics. In [9], we introduced Probabilistic T...
Autores principales: | Zöllner, Christian, Barkowsky, Matthias, Maximova, Maria, Schneider, Melanie, Giese, Holger |
---|---|
Formato: | Online Artículo Texto |
Lenguaje: | English |
Publicado: |
2020
|
Materias: | |
Acceso en línea: | https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7314703/ http://dx.doi.org/10.1007/978-3-030-51372-6_20 |
Ejemplares similares
-
Compositional Analysis of Probabilistic Timed Graph Transformation Systems
por: Maximova, Maria, et al.
Publicado: (2021) -
Optimistic and Pessimistic On-the-fly Analysis for Metric Temporal Graph Logic
por: Schneider, Sven, et al.
Publicado: (2020) -
Formal Verification of Invariants for Attributed Graph Transformation Systems Based on Nested Attributed Graph Conditions
por: Schneider, Sven, et al.
Publicado: (2020) -
Keeping Pace with the History of Evolving Runtime Models
por: Sakizloglou, Lucas, et al.
Publicado: (2021) -
Identifying large-scale interaction atlases using probabilistic graphs and external knowledge
por: Chanumolu, Sree K., et al.
Publicado: (2022)