The PDDL+ language has been mainly devised to allow modelling of real-world systems, with continuous, time-dependant dynamics. Several interesting case studies with these characteristics have been also proposed, to test the language expressiveness and the capabilities of the support tools. However, most of these case studies have not been completely developed so far. In this paper we focus on the batch chemical plant case study, a very complex hybrid system with nonlinear dynamics that could represent a challenging benchmark problem for planning techniques and tools. We present a complete PDDL+ model for such system, and show an example application where the UPMurphi universal planner is used to generate a set of production policies for the plant.

Della Penna, G., Intrigila, B., Magazzeni, D., Mercorio, F. (2010). A PDDL+ Benchmark Problem: The Batch Chemical Plant. In Proceedings of the The 20th International Conference on Automated Planning and Scheduling (ICAPS 2010) (pp.222-225). AAAI Press.

A PDDL+ Benchmark Problem: The Batch Chemical Plant

MERCORIO, FABIO
2010

Abstract

The PDDL+ language has been mainly devised to allow modelling of real-world systems, with continuous, time-dependant dynamics. Several interesting case studies with these characteristics have been also proposed, to test the language expressiveness and the capabilities of the support tools. However, most of these case studies have not been completely developed so far. In this paper we focus on the batch chemical plant case study, a very complex hybrid system with nonlinear dynamics that could represent a challenging benchmark problem for planning techniques and tools. We present a complete PDDL+ model for such system, and show an example application where the UPMurphi universal planner is used to generate a set of production policies for the plant.
paper
PDDL+, UPMurphi, Model Checking, Planning
English
International Conference on Automated Planning and Scheduling - May 12-16
2010
Proceedings of the The 20th International Conference on Automated Planning and Scheduling (ICAPS 2010)
978-1-57735-449-9
2010
222
225
http://www.aaai.org/ocs/index.php/ICAPS/ICAPS10/paper/view/1418/1564
none
Della Penna, G., Intrigila, B., Magazzeni, D., Mercorio, F. (2010). A PDDL+ Benchmark Problem: The Batch Chemical Plant. In Proceedings of the The 20th International Conference on Automated Planning and Scheduling (ICAPS 2010) (pp.222-225). AAAI Press.
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/27867
Citazioni
  • Scopus 12
  • ???jsp.display-item.citation.isi??? ND
Social impact