Edinburgh Research Explorer

Goals and resource constraints in CARMA

Research output: Contribution to journalArticle

Related Edinburgh Organisations

Open Access permissions

Open

Documents

  • Download as Adobe PDF

    Accepted author manuscript, 455 KB, PDF-document

    Licence: Creative Commons: Attribution-NonCommercial-NoDerivatives (CC BY-NC-ND)

  • Download as Adobe PDF

    Final published version, 306 KB, PDF-document

    Licence: CC BY

https://www.sciencedirect.com/science/article/pii/S1571066118300434
Original languageEnglish
Pages (from-to)155-172
Number of pages18
JournalElectronic Notes in Theoretical Computer Science
Volume337
DOIs
StatePublished - 9 May 2018

Abstract

Carma is a recently developed, high-level quantitative modelling language developed for the design and analysis of collective adaptive systems. In the current Carma language, agents within a system consistof a behaviour, captured as a process, and knowledge, represented as a store of attributes. In this paper we present the rst steps to equipping agent specications with more sophisticated forms of knowledge in terms of goals and targets, and demonstrate how these may be integrated into the modelling and analysis process. We illustrate the ideas with a simple example taken from the domain of swarm robotics.

Download statistics

No data available

ID: 44196811