
4.2 Reasoning about Collective Processes
In this section, we are concerned with research on coor-
dination and coherence as it is developed collectively among
sets of agents. Robert Tenney and Nils SandelTs paper gives
a formal system-theoretic treatment of mechanisms for the
real-time distributed coordination of complex distributed sys-
tems.
They assume that in these systems the dynamics of
one agent only depend upon the general characteristics of the
other agents. They develop a formalism based upon the no-
tion of a "domule," which is an independent decision agent
that has well-defined interactions with other
agents.
Different
system structure ...