Bhandal_2011_process.pdf (227.42 kB)
A process algebraic description of a temporal wireless network protocol
conference contribution
posted on 2014-02-04, 16:52 authored by Colm Bhandal, Mélanie Bouroche, Arthur HughesThe problem of coordination is central to research in robotics, automatically
guided vehicles, autonomous cars, unmanned aerial vehicles, and any other
areas in which autonomous agents of any kind operate concurrently. This paper focuses
on one particular model of coordination, namely Comhord´u. The contribution
of this work is a formalisation of the existing model in precise mathematical terms.
This formalisation extends our understanding of the model and provides a basis for
future work such as the formal verification of model properties, e.g. system safety.
History
Publication
Proceedings of the Fourth International Workshop on Formal Methods for Interactive Systems (FMIS 2011);45, pp. 1-17Publisher
European Association of Software Science and Technology (E A S S T)Note
peer-reviewedLanguage
EnglishUsage metrics
Categories
No categories selectedLicence
Exports
RefWorks
BibTeX
Ref. manager
Endnote
DataCite
NLM
DC