Showing 1–4 of 4 results for author: Gilmore, S

Data as processes: introducing measurement data into CARMA models

Authors: Stephen Gilmore

Abstract: Measurement data provides a precise and detailed description of components within a complex system but it is rarely used directly as a component of a system model. In this paper we introduce a model-based representation of measurement data and use it together with modeller-defined components expressed in the CARMA modelling language. We assess both liveness and safety properties of these models… ▽ More Measurement data provides a precise and detailed description of components within a complex system but it is rarely used directly as a component of a system model. In this paper we introduce a model-based representation of measurement data and use it together with modeller-defined components expressed in the CARMA modelling language. We assess both liveness and safety properties of these models with embedded data. △ Less

Submitted 8 July, 2016; originally announced July 2016.

Comments: In Proceedings FORECAST 2016, arXiv:1607.02001

Journal ref: EPTCS 217, 2016, pp. 31-42

Modelling movement for collective adaptive systems with CARMA

Authors: Natalia Zoń, Vashti Galpin, Stephen Gilmore

Abstract: Space and movement through space play an important role in many collective adaptive systems (CAS). CAS consist of multiple components interacting to achieve some goal in a system or environment that can change over time. When these components operate in space, then their behaviour can be affected by where they are located in that space. Examples include the possibility of communication betwee… ▽ More Space and movement through space play an important role in many collective adaptive systems (CAS). CAS consist of multiple components interacting to achieve some goal in a system or environment that can change over time. When these components operate in space, then their behaviour can be affected by where they are located in that space. Examples include the possibility of communication between two components located at different points, and rates of movement of a component that may be affected by location. The CARMA language and its associated software tools can be used to model such systems. In particular, a graphical editor for CARMA allows for the specification of spatial structure and generation of templates that can be used in a CARMA model with space. We demonstrate the use of this tool to experiment with a model of pedestrian movement over a network of paths. △ Less

Submitted 8 July, 2016; originally announced July 2016.

Comments: In Proceedings FORECAST 2016, arXiv:1607.02001

Journal ref: EPTCS 217, 2016, pp. 43-52

CARMA: Collective Adaptive Resource-sharing Markovian Agents

Authors: Luca Bortolussi, Rocco De Nicola, Vashti Galpin, Stephen Gilmore, Jane Hillston, Diego Latella, Michele Loreti, Mieke Massink

Abstract: In this paper we present CARMA, a language recently defined to support specification and analysis of collective adaptive systems. CARMA is a stochastic process algebra equipped with linguistic constructs specifically developed for modelling and programming systems that can operate in open-ended and unpredictable environments. This class of systems is typically composed of a huge number of interact… ▽ More In this paper we present CARMA, a language recently defined to support specification and analysis of collective adaptive systems. CARMA is a stochastic process algebra equipped with linguistic constructs specifically developed for modelling and programming systems that can operate in open-ended and unpredictable environments. This class of systems is typically composed of a huge number of interacting agents that dynamically adjust and combine their behaviour to achieve specific goals. A CARMA model, termed a collective, consists of a set of components, each of which exhibits a set of attributes. To model dynamic aggregations, which are sometimes referred to as ensembles, CARMA provides communication primitives that are based on predicates over the exhibited attributes. These predicates are used to select the participants in a communication. Two communication mechanisms are provided in the CARMA language: multicast-based and unicast-based. In this paper, we first introduce the basic principles of CARMA and then we show how our language can be used to support specification with a simple but illustrative example of a socio-technical collective adaptive system. △ Less

Submitted 28 September, 2015; originally announced September 2015.

Comments: In Proceedings QAPL 2015, arXiv:1509.08169

ACM Class: C.4; B.8.2

Journal ref: EPTCS 194, 2015, pp. 16-31

A subsystems approach for parameter estimation of ODE models of hybrid systems

Authors: Anastasis Georgoulas, Allan Clark, Andrea Ocone, Stephen Gilmore, Guido Sanguinetti

Abstract: We present a new method for parameter identification of ODE system descriptions based on data measurements. Our method works by splitting the system into a number of subsystems and working on each of them separately, thereby being easily parallelisable, and can also deal with noise in the observations. We present a new method for parameter identification of ODE system descriptions based on data measurements. Our method works by splitting the system into a number of subsystems and working on each of them separately, thereby being easily parallelisable, and can also deal with noise in the observations. △ Less

Submitted 19 August, 2012; originally announced August 2012.

Comments: In Proceedings HSB 2012, arXiv:1208.3151

Journal ref: EPTCS 92, 2012, pp. 30-41