Spatio-Temporal Planning for Mobile Ambient Agents

Radja Boukharrou (1) , Jean-Michel Ilié (2) , Djamel Eddine Saïdouni (1)

1 MISC - Modélisation et d'Implémentation des Systèmes Complexes [Constantine]
2 MoVe - Modélisation et Vérification

The algebraic language Time-AgLOTOS was recently proposed to describe the time-dependent behavior of an ambient intelligent agent. The Spatio-Temporal Planning System (STPS) is a contextual model capturing all possible evolutions of an agent plan including context changes. It provides formal description of the possible actions of a plan supporting timing constraints, action duration and spatial requirements. Thereby, it can be derived from Time-AgLOTOS behavior expressions. In this paper, we propose a finite and symbolic representation of the STPS based on a number of spatio-temporal regions, preserving both time progress and location modeling. The resulting structure offers new possibilities and strategies for taking agent real-time decisions in context-awareness manner.

Mots clés: Real-time mobile agents; spatio-temporal planning; location modeling; action duration

Domaines: Informatique ubiquitaire; Système multi-agents [cs.MA]; Calcul formel [cs.SC]; Informatique mobile

Radja Boukharrou, Jean-Michel Ilié, Djamel Eddine Saïdouni. Spatio-Temporal Planning for Mobile Ambient Agents. 12th International Conference on Mobile Systems and Pervasive Computing (MobiSPC 2015), Aug 2015, Belfort, France. pp.96-103, ⟨10.1016/j.procs.2015.07.174⟩. ⟨hal-01228874⟩