Action planning for graph transition systems

Edelkamp, Stefan and Jabbar, Shahid and Lluch-Lafuente, Alberto Action planning for graph transition systems. In: ICAPS'05 Workshop on verification and validation of model-based planning and scheduling systems, 5th-10th June 2005, Monterey, California, USA (Unpublished) (2005)

Preview

PDF - Accepted Version Download (214kB) | Preview

Abstract

Graphs are suitable modeling formalisms for software and hardware systems involving aspects such as communication, object orientation, concurrency, mobility and distribution. State spaces of such systems can be represented by graph transition systems, which are basically transition systems whose states and transitions represent graphs and graph morphisms. In this paper, we propose the modeling of graph transition systems in PDDL and the application of heuristic search planning for their analysis. We consider different heuristics and present experimental results.

Item Type:	Conference or Workshop Item (Paper)
Subjects:	Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Research Area:	Computer Science and Applications
Depositing User:	Users 30 not found.
Date Deposited:	22 Nov 2011 13:39
Last Modified:	20 Dec 2011 12:00
URI:	http://eprints.imtlucca.it/id/eprint/1018

Actions (login required)

Edit Item