July 14, 2004
Roadmap to Enhancing the Security, Reliability
and Control of Complex Systems
Abstract
There are three major multi-disciplinary objectives:
- to
develop a methodology for the semi-automatic conversion of a fairly large
class of Complex Systems into verifiably equivalent Multi-Agent Systems (MAS);
- to
generate automatically an empirically-based Theory of Coordination (ToC)
for such MAS;
- to use the ToC as a design tool for new MAS being built and a debugging/repair
tool for existing deficient ones. The latter facility will
be available for on-line, continual checking of the operation of the MAS
and the corresponding Complex System, in regard to possible accidental perturbation
or deliberate mischief.
Return to L3D Calendar Page