An Agent Coordination Framework with Quantitative Timing Constraints

Agent coordination is essential to achieve the goals of tasks acting in a coherent manner. In this paper, we present an agent coordination framework with quantitative timing constraints for time critical multi-agent systems. The framework can be used for automatically detecting if interaction behaviors among agents are timing consistent w.r.t given tasks. All timing consistency detections can be resolved by simple linear programming.