An agent cooperation model and dependency measurement based on merge and synthesis on shared timed task environments

Abstract

In this paper, we analyze cooperation phenomena based on agent synthesis on merge of timed two-input discrete transition systems. The model allows handling of possible incomplete task environment descriptions and representation of nondeterministic directive effects and/or deviating (or blocking) disturbances defined over agent capabilities. Also, we propose an agent dependency measure that uses the result of additive Merge&Synthesis operation for quantification purpose.