In this paper, we discuss cooperating distributed grammar systems where components are (variants of) random context grammars. We give an overview of known results and open problems, and prove some further results.

Cooperative clinical information systems (CCIS) are destined to become an invaluable tool for managing care processes in which a number of interrelated care tasks are performed by a network of cooperating agents. After introducing this important new domain, the key mechanisms and structures needed to support CCIS are detailed a set of communication primitives are developed, the concept of agent...

In order to verify reconfiguration of interacting autonomous agents to be exclusively beneficial and never hazardous to cyber-physical systems, this article suggests a systematic approach based on incremental model-based testing and illustrates its application to cooperating mobile robots.

Even though in many systems, computers have been programmed to share control with human operators in order to increase task performance, the interaction in such systems is still artificial when compared to natural human-human cooperation. In complex tasks, cooperating human partners may have their own agendas and take initiatives during the task. Such initiatives contribute to a richer interact...

The complete design and realization of an underwater manipulation system composed by two cooperating arms has been one of the main goals which has been recently attained at the end of the AMADEUS Phase II project: a three years lasting reserch activity, funded by the European Community within the framework of the MAST III program on Marine Technology development. Within this paper, the lines an...

The authors study the ω-limit set dichotomy of the Kolmogorov systems ẋi = xifi(x), xi 0, 1 i n with the cooperative and irreducible hypotheses and obtain the quasiconvergence almost everywhere when n = 3, which gives an affirmative answer to the open problem by Smith [9, p.72] in the case of n = 3.

This paper discusses a novel way to conceive measurement systems as perceptive agencies, namely as systems in which different sensory agents cooperate to set up rich and multiparadigmatic measurement tools.

Behaviour of systems is described by formal languages: the sets of all sequences of actions. Regarding abstraction, alphabetic language homomorphisms areion, alphabetic language homomorphisms are used to compute abstract behaviours. To avoid loss of important information when moving to the abstract level, abstracting homomorphisms have to satisfy a certain property called simplicity on the conc...