Optimal Planning with Global Numerical State Constraints


  • Franc Ivankovic Australian National University and NICTA
  • Patrik Haslum Australian National University and NICTA
  • Sylvie Thiebaux Australian National University and NICTA
  • Vikas Shivashankar University of Maryland
  • Dana Nau University of Maryland




Planning, Hybrid systems, Numerical state constraints


Automating the operations of infrastructure networks such as energy grids and oil pipelines requires a range of planning and optimisation technologies. However, current planners face significant challenges in responding to this need. Notably, they are unable to model and reason about the global numerical state constraints necessary to capture flows and similar physical phenomena occurring in these networks. A single discrete control action can affect the flow throughout the network in a way that may depend on the entire network topology. Determining whether preconditions, goals and invariant conditions are satisfied requires solving a system of numerical constraints after each action application. This paper extends domain-independent optimal planning to this kind of reasoning. We present extensions of the formalism, relaxed plans, and heuristics, as well as new search variants and experimental results on two problem domains.




How to Cite

Ivankovic, F., Haslum, P., Thiebaux, S., Shivashankar, V., & Nau, D. (2014). Optimal Planning with Global Numerical State Constraints. Proceedings of the International Conference on Automated Planning and Scheduling, 24(1), 145-153. https://doi.org/10.1609/icaps.v24i1.13648