Systems subject to (continuous) physical effects and controlled by (discrete) digital equipments, are today very common. Thus, many realistic domains where planning is required are represented by hybrid systems, i.e., systems containing both discrete and continuous values, with possibly a nonlinear continuous dynamics. The PDDL+ language allows one to model these domains, however the current tools can generally handle only planning problems on (possibly hybrid) systems with linear dynamics. Therefore, universal planning applied to hybrid systems and, in general, to non-linear systems is completely out of scope for such tools. In this paper, we propose the use of explicit model checking-based techniques to solve universal planning problems on such hardly-approachable domains.

Della Penna, G., Magazzeni, D., Mercorio, F., Intrigila, B. (2009). UPMurphi: A tool for universal planning on PDDL+ problems. In Proceedings of the 19th International Conference on Automated Planning and Scheduling (ICAPS 2009) (pp.106-113). AAAI Press.

UPMurphi: A tool for universal planning on PDDL+ problems

MERCORIO, FABIO;
2009

Abstract

Systems subject to (continuous) physical effects and controlled by (discrete) digital equipments, are today very common. Thus, many realistic domains where planning is required are represented by hybrid systems, i.e., systems containing both discrete and continuous values, with possibly a nonlinear continuous dynamics. The PDDL+ language allows one to model these domains, however the current tools can generally handle only planning problems on (possibly hybrid) systems with linear dynamics. Therefore, universal planning applied to hybrid systems and, in general, to non-linear systems is completely out of scope for such tools. In this paper, we propose the use of explicit model checking-based techniques to solve universal planning problems on such hardly-approachable domains.
No
paper
Scientifica
PDDL+; Model Checking; Planning; Continuous Systems
English
International Conference on Automated Planning and Scheduling - September 19-23
978-1-57735-406-2
http://aaai.org/ocs/index.php/ICAPS/ICAPS09/paper/view/707
Della Penna, G., Magazzeni, D., Mercorio, F., Intrigila, B. (2009). UPMurphi: A tool for universal planning on PDDL+ problems. In Proceedings of the 19th International Conference on Automated Planning and Scheduling (ICAPS 2009) (pp.106-113). AAAI Press.
Della Penna, G; Magazzeni, D; Mercorio, F; Intrigila, B
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/27830
Citazioni
  • Scopus 93
  • ???jsp.display-item.citation.isi??? ND
Social impact