CARMA is a new language recently defined to support quantified specification and analysis of collective adaptive systems. It 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 agen...

Collective Adaptive Systems (CAS) are heterogeneous collections of autonomous task-oriented systems that cooperate on common goals forming a collective system. 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. This chapter presents CARMA, a language recently defined to support specifi...

The deenition and properties of L evy-driven CARMA (continuous-time ARMA) processes are reviewed. Gaussian CARMA processes are special cases in which the driving L evy process is Brownian motion. The use of more general L evy processes permits the speciication of CARMA processes with a wide variety of marginal distributions which may be asymmetric and heavier tailed than Gaus-sian. Non-negative...

The de nition and properties of L evy driven CARMA continuous time ARMA processes are re viewed Gaussian CARMA processes are special cases in which the driving L evy process is Brownian motion The use of more general L evy processes permits the speci cation of CARMA processes with a wide variety of marginal distributions which may be asymmetric and heavier tailed than Gaus sian Non negative CAR...

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 openended and unpredictable environments. This class of systems is typically composed of a huge number of intera...

This tutorial presents an overview of the Combined Array for Research in MillimeterWave Astronomy (CARMA) and its use of Linux in its embedded systems. CARMA was formed by the merger of two university-based millimeter arrays; the Owens Valley Radio Observatory (OVRO) millimeter array, and the Berkeley-Illinois-Maryland Association (BIMA) millimeter array. The new instrument provides unparallele...

Representation of continuous-time ARMA, CARMA, models is reviewed. Computational aspects of simulating and calculating the likelihood-function of CARMA are summarized. Some numerical properties are illustrated by simulations. Some real data applications are shown.

Cognitive Agent-based Real-time Measurement and Assessment (CARMA) is an automated performance assessment methodology for team training applications. This paper describes CARMA particularly focusing on its application to automated performance assessment of team communications. With CARMA, performance assessment is incorporated into the agent’s reasoning, allowing performance assessment to be in...

CARMA is process-algebra influenced language for the quantitative modelling of collective adaptive systems which involve collaboration and coordination. These systems consist of multiple components that interact to achieve certain goals and that adapt to changes in the environment. As a case study for the application of CARMA, this paper presents an ambulance deployment system where ambulances ...

CARMA is an advisory system for rangeland grasshopper infestations that demonstrates how AI technology can deliver expert advice to compensate for cutbacks in public services. CARMA uses two knowledge sources for the key task of predicting forage consumption by grasshoppers: cases obtained by asking a group of experts to solve representative hypothetical problems; and a numerical model of range...