Validating plans with exogenous events

R. Howey, D. Long, M. Fox

Research output: Chapter in Book/Report/Conference proceedingChapter

Abstract

We are concerned with the problem of deciding the validity of a complex plan involving interacting continuous activity. In these situations there is a need to model and reason about the continuous processes and events that arise as a consequence of the behaviour of the physical world in which the plan is expected to execute. In this paper we describe how events, which occur as the outcome of uncontrolled physical processes, can be taken into account in determining whether a plan is valid with respect to the domain model. We do not consider plan generation issues in this paper but focus instead on issues in domain modelling and plan validation.
LanguageEnglish
Title of host publicationProceedings of the 23rd Workshop of the UK Planning and Scheduling Special Interest Group (PlanSIG 2004)
Pages78-87
Number of pages9
Publication statusPublished - 2004

Fingerprint

Modeling

Keywords

  • domain modelling
  • plan generation
  • plan validation
  • exogenous events

Cite this

Howey, R., Long, D., & Fox, M. (2004). Validating plans with exogenous events. In Proceedings of the 23rd Workshop of the UK Planning and Scheduling Special Interest Group (PlanSIG 2004) (pp. 78-87)
Howey, R. ; Long, D. ; Fox, M. / Validating plans with exogenous events. Proceedings of the 23rd Workshop of the UK Planning and Scheduling Special Interest Group (PlanSIG 2004). 2004. pp. 78-87
@inbook{9676c6f6439c4e15982fe90f51544c04,
title = "Validating plans with exogenous events",
abstract = "We are concerned with the problem of deciding the validity of a complex plan involving interacting continuous activity. In these situations there is a need to model and reason about the continuous processes and events that arise as a consequence of the behaviour of the physical world in which the plan is expected to execute. In this paper we describe how events, which occur as the outcome of uncontrolled physical processes, can be taken into account in determining whether a plan is valid with respect to the domain model. We do not consider plan generation issues in this paper but focus instead on issues in domain modelling and plan validation.",
keywords = "domain modelling, plan generation, plan validation, exogenous events",
author = "R. Howey and D. Long and M. Fox",
year = "2004",
language = "English",
pages = "78--87",
booktitle = "Proceedings of the 23rd Workshop of the UK Planning and Scheduling Special Interest Group (PlanSIG 2004)",

}

Howey, R, Long, D & Fox, M 2004, Validating plans with exogenous events. in Proceedings of the 23rd Workshop of the UK Planning and Scheduling Special Interest Group (PlanSIG 2004). pp. 78-87.

Validating plans with exogenous events. / Howey, R.; Long, D.; Fox, M.

Proceedings of the 23rd Workshop of the UK Planning and Scheduling Special Interest Group (PlanSIG 2004). 2004. p. 78-87.

Research output: Chapter in Book/Report/Conference proceedingChapter

TY - CHAP

T1 - Validating plans with exogenous events

AU - Howey, R.

AU - Long, D.

AU - Fox, M.

PY - 2004

Y1 - 2004

N2 - We are concerned with the problem of deciding the validity of a complex plan involving interacting continuous activity. In these situations there is a need to model and reason about the continuous processes and events that arise as a consequence of the behaviour of the physical world in which the plan is expected to execute. In this paper we describe how events, which occur as the outcome of uncontrolled physical processes, can be taken into account in determining whether a plan is valid with respect to the domain model. We do not consider plan generation issues in this paper but focus instead on issues in domain modelling and plan validation.

AB - We are concerned with the problem of deciding the validity of a complex plan involving interacting continuous activity. In these situations there is a need to model and reason about the continuous processes and events that arise as a consequence of the behaviour of the physical world in which the plan is expected to execute. In this paper we describe how events, which occur as the outcome of uncontrolled physical processes, can be taken into account in determining whether a plan is valid with respect to the domain model. We do not consider plan generation issues in this paper but focus instead on issues in domain modelling and plan validation.

KW - domain modelling

KW - plan generation

KW - plan validation

KW - exogenous events

UR - http://www.cis.strath.ac.uk/research/publications/papers/strath_cis_publication_422.pdf

M3 - Chapter

SP - 78

EP - 87

BT - Proceedings of the 23rd Workshop of the UK Planning and Scheduling Special Interest Group (PlanSIG 2004)

ER -

Howey R, Long D, Fox M. Validating plans with exogenous events. In Proceedings of the 23rd Workshop of the UK Planning and Scheduling Special Interest Group (PlanSIG 2004). 2004. p. 78-87