Discrete-event multiagent coordination: framework and algorithms.
Pham Manh Tung
Date of Issue2011
School of Computer Engineering
This thesis proposes a formal design framework for three inter-agent coordination problems that have not been addressed in the literature: A fundamental coordination problem, a networked coordination problem and an on-line coordination problem. The problems arise when distributed agents need to interact and communicate among themselves in order to guarantee conformance to some inter-agent constraints that restrict their behaviors. These problems are formulated and addressed for a class of agents in a discrete-event behavioural formalism. The basic solution proposed is to equip agents with some distributed, local cooperation mechanism called coordination modules (CM's), by which they can compute their local coordinating actions in response to each other's information update. The framework developed supports the automated synthesis of CM's for discrete-event agents.
DRNTU::Engineering::Computer science and engineering::Theory of computation::Analysis of algorithms and problem complexity
Nanyang Technological University