Temporal diagnosis of multi-agent plan execution without an explicit representation of time
Femke de Jonge, Nico Roos, Huib Aldewereld · Research Publications (Maastricht University) · 2007
The most common reason for plan repair are the violation of a plan’s temporal constraints. Air Traffic Control is an example of an area in which violations of the plan’s temporal constraints is rather a rule than an exception. In such domains there is a need for identifying the underlying causes of the constraint vio-lations in order to improve plan repairs and to anticipate future constraint violations. This paper presents a model for identifying the causes of the temporal constraint violations using coupled Discrete Event Systems. We show that for temporal diagnosis we can use a model without explicit temporal information. 1