Home > Research > Publications & Outputs > Investigating Parametric Influence on Discrete ...

Research

Links

Text available via DOI:

View graph of relations

Investigating Parametric Influence on Discrete Synchronisation Protocols Using Quantitative Model Checking

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter (peer-reviewed) › peer-review

Published

Standard

Investigating Parametric Influence on Discrete Synchronisation Protocols Using Quantitative Model Checking. / Gainer, Paul; Linker, Sven; Dixon, Clare et al.
Quantitative Evaluation of Systems: Proceedings of the 14th International Conference on Quantitative Evaluation of Systems, QEST 2017. ed. / Nathalie Bertrand; Luca Bortolussi. Cham: Springer, 2017. p. 224–239 (Lecture Notes in Computer Science; Vol. 10503).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter (peer-reviewed) › peer-review

Harvard

Gainer, P, Linker, S, Dixon, C, Hustadt, U & Fisher, M 2017, Investigating Parametric Influence on Discrete Synchronisation Protocols Using Quantitative Model Checking. in N Bertrand & L Bortolussi (eds), Quantitative Evaluation of Systems: Proceedings of the 14th International Conference on Quantitative Evaluation of Systems, QEST 2017. Lecture Notes in Computer Science, vol. 10503, Springer, Cham, pp. 224–239. https://doi.org/10.1007/978-3-319-66335-7_14

APA

Gainer, P., Linker, S., Dixon, C., Hustadt, U., & Fisher, M. (2017). Investigating Parametric Influence on Discrete Synchronisation Protocols Using Quantitative Model Checking. In N. Bertrand, & L. Bortolussi (Eds.), Quantitative Evaluation of Systems: Proceedings of the 14th International Conference on Quantitative Evaluation of Systems, QEST 2017 (pp. 224–239). (Lecture Notes in Computer Science; Vol. 10503). Springer. https://doi.org/10.1007/978-3-319-66335-7_14

Vancouver

Gainer P, Linker S, Dixon C, Hustadt U, Fisher M. Investigating Parametric Influence on Discrete Synchronisation Protocols Using Quantitative Model Checking. In Bertrand N, Bortolussi L, editors, Quantitative Evaluation of Systems: Proceedings of the 14th International Conference on Quantitative Evaluation of Systems, QEST 2017. Cham: Springer. 2017. p. 224–239. (Lecture Notes in Computer Science). Epub 2017 Aug 11. doi: 10.1007/978-3-319-66335-7_14

Author

Gainer, Paul ; Linker, Sven ; Dixon, Clare et al. / Investigating Parametric Influence on Discrete Synchronisation Protocols Using Quantitative Model Checking. Quantitative Evaluation of Systems: Proceedings of the 14th International Conference on Quantitative Evaluation of Systems, QEST 2017. editor / Nathalie Bertrand ; Luca Bortolussi. Cham : Springer, 2017. pp. 224–239 (Lecture Notes in Computer Science).

Bibtex

@inbook{03e70baa065b407281fa9cb766c1602e,
title = "Investigating Parametric Influence on Discrete Synchronisation Protocols Using Quantitative Model Checking",
abstract = "Synchronisation is an emergent phenomenon observable in nature. Natural synchronising systems have inspired the development of protocols for achieving coordination in a diverse range of distributed dynamic systems. Spontaneously synchronising systems can be mathematically modelled as coupled oscillators. In this paper we present a novel approach using model checking to reason about achieving synchrony for different models of synchronisation. We describe a general, formal population model where oscillators interact at discrete moments in time, and whose cycles are sequences of discrete states. Using the probabilistic model checker Prism, we investigate the influence of various parameters of the model on the likelihood of, and time required for, achieving synchronisation.",
author = "Paul Gainer and Sven Linker and Clare Dixon and Ullrich Hustadt and Michael Fisher",
year = "2017",
month = sep,
day = "5",
doi = "10.1007/978-3-319-66335-7_14",
language = "English",
isbn = "9783319663340",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "224–239",
editor = "Nathalie Bertrand and Luca Bortolussi",
booktitle = "Quantitative Evaluation of Systems",

}

RIS

TY - CHAP

T1 - Investigating Parametric Influence on Discrete Synchronisation Protocols Using Quantitative Model Checking

AU - Gainer, Paul

AU - Linker, Sven

AU - Dixon, Clare

AU - Hustadt, Ullrich

AU - Fisher, Michael

PY - 2017/9/5

Y1 - 2017/9/5

N2 - Synchronisation is an emergent phenomenon observable in nature. Natural synchronising systems have inspired the development of protocols for achieving coordination in a diverse range of distributed dynamic systems. Spontaneously synchronising systems can be mathematically modelled as coupled oscillators. In this paper we present a novel approach using model checking to reason about achieving synchrony for different models of synchronisation. We describe a general, formal population model where oscillators interact at discrete moments in time, and whose cycles are sequences of discrete states. Using the probabilistic model checker Prism, we investigate the influence of various parameters of the model on the likelihood of, and time required for, achieving synchronisation.

AB - Synchronisation is an emergent phenomenon observable in nature. Natural synchronising systems have inspired the development of protocols for achieving coordination in a diverse range of distributed dynamic systems. Spontaneously synchronising systems can be mathematically modelled as coupled oscillators. In this paper we present a novel approach using model checking to reason about achieving synchrony for different models of synchronisation. We describe a general, formal population model where oscillators interact at discrete moments in time, and whose cycles are sequences of discrete states. Using the probabilistic model checker Prism, we investigate the influence of various parameters of the model on the likelihood of, and time required for, achieving synchronisation.

U2 - 10.1007/978-3-319-66335-7_14

DO - 10.1007/978-3-319-66335-7_14

M3 - Chapter (peer-reviewed)

SN - 9783319663340

T3 - Lecture Notes in Computer Science

SP - 224

EP - 239

BT - Quantitative Evaluation of Systems

A2 - Bertrand, Nathalie

A2 - Bortolussi, Luca

PB - Springer

CY - Cham

ER -