48 citations · 55 across the 5 of their papers we have counts for
5 papers
A spatial algorithm for the analysis of transportation systems using statistical model checking
Daniël Reijsbergen, Stephen Gilmore
We present an automated methodology for using Automatic Vehicle Location measurements of public transportation vehicles to construct a probabilistic model. The model not only allow…
Data as processes: introducing measurement data into CARMA models
Stephen Gilmore
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…
Modelling movement for collective adaptive systems with CARMA
Natalia Zoń, Vashti Galpin, Stephen Gilmore
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 o…
CARMA: Collective Adaptive Resource-sharing Markovian Agents
Luca Bortolussi, Rocco De Nicola, Vashti Galpin +5
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 wit…
A subsystems approach for parameter estimation of ODE models of hybrid systems
Anastasis Georgoulas, Allan Clark, Andrea Ocone +2
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…