Loading...
A process algebraic description of a temporal wireless network protocol
Date
2011
Abstract
The 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.
Supervisor
Description
peer-reviewed
Publisher
European Association of Software Science and Technology (EASST)
Citation
Proceedings of the Fourth International Workshop on Formal Methods for Interactive Systems (FMIS 2011);45, pp. 1-17