Many real world problems involve hybrid systems, subject to (continuous) physical effects and controlled by (discrete) digital equipments. Indeed, many efforts are being made to extend the current planning systems and modelling languages to support such kind of domains. However, hybrid systems often present also a nonlinear behaviour and planning with continuous nonlinear change that is still a challenging issue. In this paper we present the UPMurphi tool, a universal planner based on the discretise and validate approach that is capable of reasoning with mixed discrete/continuous domains, fully respecting the semantics of PDDL+. Given an initial discretisation, the hybrid system is discretised and given as input to UPMurphi, which performs universal planning on such an approximated model and checks the correctness of the results. If the validation fails, the approach is repeated by appropriately refining the discretisation. To show the effectiveness of our approach, the paper presents two real hybrid domains where universal planning has been successfully performed using the UPMurphi tool. © 2011 Springer Science+Business Media, LLC.

Della Penna, G., Magazzeni, D., Mercorio, F. (2012). A universal planning system for hybrid domains. APPLIED INTELLIGENCE, 36(4), 932-959 [10.1007/s10489-011-0306-z].

A universal planning system for hybrid domains

MERCORIO, FABIO
2012

Abstract

Many real world problems involve hybrid systems, subject to (continuous) physical effects and controlled by (discrete) digital equipments. Indeed, many efforts are being made to extend the current planning systems and modelling languages to support such kind of domains. However, hybrid systems often present also a nonlinear behaviour and planning with continuous nonlinear change that is still a challenging issue. In this paper we present the UPMurphi tool, a universal planner based on the discretise and validate approach that is capable of reasoning with mixed discrete/continuous domains, fully respecting the semantics of PDDL+. Given an initial discretisation, the hybrid system is discretised and given as input to UPMurphi, which performs universal planning on such an approximated model and checks the correctness of the results. If the validation fails, the approach is repeated by appropriately refining the discretisation. To show the effectiveness of our approach, the paper presents two real hybrid domains where universal planning has been successfully performed using the UPMurphi tool. © 2011 Springer Science+Business Media, LLC.
Articolo in rivista - Articolo scientifico
Hybrid systems; Universal planning;
Universal planning ; Hybrid systems ; PDDL+
English
932
959
28
Della Penna, G., Magazzeni, D., Mercorio, F. (2012). A universal planning system for hybrid domains. APPLIED INTELLIGENCE, 36(4), 932-959 [10.1007/s10489-011-0306-z].
Della Penna, G; Magazzeni, D; Mercorio, F
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/10281/27824
Citazioni
  • Scopus 35
  • ???jsp.display-item.citation.isi??? 22
Social impact