Exploration of the Robustness of Plans

M. Fox, R. Howey, D. Long

Research output: Contribution to conferencePaper

Abstract

This paper considers the problem of stochastic robustness testing for plans. Although plan generation systems might be proven sound the resulting plans are valid only with respect to the abstract domain model. It is well-understood that unforseen execution-time variations, both in the effects of actions and in the times at which they occur, can result in a valid plan failing to execute correctly. Other authors have investigated the stochastic validity of plans with ondeterministic action outcomes. In this paper we focus on the uncertainty that arises as a result of inaccuracies in the measurement of time and other numeric quantities. We describe a probing strategy that produces a stochastic estimate of the robustness of a temporal plan. This strategy is based on Gupta, Henzinger and Jagadeesan's (Gupta, Henzinger, and Jagadeesan 1997) notion of the 'fuzzy' robustness of traces through timed hybrid automata.

Conference

ConferenceProceedings International Conference on Automated Planning & Scheduling (ICAPS) 2005 Workshop on Verification and Validation of
CityMonterey, California, U.S.A.
Period5/06/0510/06/05

Fingerprint

Acoustic waves
Testing
Uncertainty

Cite this

Fox, M., Howey, R., & Long, D. (2005). Exploration of the Robustness of Plans. Paper presented at Proceedings International Conference on Automated Planning & Scheduling (ICAPS) 2005 Workshop on Verification and Validation of, Monterey, California, U.S.A., .
Fox, M. ; Howey, R. ; Long, D. / Exploration of the Robustness of Plans. Paper presented at Proceedings International Conference on Automated Planning & Scheduling (ICAPS) 2005 Workshop on Verification and Validation of, Monterey, California, U.S.A., .
@conference{f131a967d0f0487c8acb1e04b6361449,
title = "Exploration of the Robustness of Plans",
abstract = "This paper considers the problem of stochastic robustness testing for plans. Although plan generation systems might be proven sound the resulting plans are valid only with respect to the abstract domain model. It is well-understood that unforseen execution-time variations, both in the effects of actions and in the times at which they occur, can result in a valid plan failing to execute correctly. Other authors have investigated the stochastic validity of plans with ondeterministic action outcomes. In this paper we focus on the uncertainty that arises as a result of inaccuracies in the measurement of time and other numeric quantities. We describe a probing strategy that produces a stochastic estimate of the robustness of a temporal plan. This strategy is based on Gupta, Henzinger and Jagadeesan's (Gupta, Henzinger, and Jagadeesan 1997) notion of the 'fuzzy' robustness of traces through timed hybrid automata.",
author = "M. Fox and R. Howey and D. Long",
year = "2005",
month = "9",
language = "English",
note = "Proceedings International Conference on Automated Planning & Scheduling (ICAPS) 2005 Workshop on Verification and Validation of ; Conference date: 05-06-2005 Through 10-06-2005",

}

Fox, M, Howey, R & Long, D 2005, 'Exploration of the Robustness of Plans' Paper presented at Proceedings International Conference on Automated Planning & Scheduling (ICAPS) 2005 Workshop on Verification and Validation of, Monterey, California, U.S.A., 5/06/05 - 10/06/05, .

Exploration of the Robustness of Plans. / Fox, M.; Howey, R.; Long, D.

2005. Paper presented at Proceedings International Conference on Automated Planning & Scheduling (ICAPS) 2005 Workshop on Verification and Validation of, Monterey, California, U.S.A., .

Research output: Contribution to conferencePaper

TY - CONF

T1 - Exploration of the Robustness of Plans

AU - Fox, M.

AU - Howey, R.

AU - Long, D.

PY - 2005/9

Y1 - 2005/9

N2 - This paper considers the problem of stochastic robustness testing for plans. Although plan generation systems might be proven sound the resulting plans are valid only with respect to the abstract domain model. It is well-understood that unforseen execution-time variations, both in the effects of actions and in the times at which they occur, can result in a valid plan failing to execute correctly. Other authors have investigated the stochastic validity of plans with ondeterministic action outcomes. In this paper we focus on the uncertainty that arises as a result of inaccuracies in the measurement of time and other numeric quantities. We describe a probing strategy that produces a stochastic estimate of the robustness of a temporal plan. This strategy is based on Gupta, Henzinger and Jagadeesan's (Gupta, Henzinger, and Jagadeesan 1997) notion of the 'fuzzy' robustness of traces through timed hybrid automata.

AB - This paper considers the problem of stochastic robustness testing for plans. Although plan generation systems might be proven sound the resulting plans are valid only with respect to the abstract domain model. It is well-understood that unforseen execution-time variations, both in the effects of actions and in the times at which they occur, can result in a valid plan failing to execute correctly. Other authors have investigated the stochastic validity of plans with ondeterministic action outcomes. In this paper we focus on the uncertainty that arises as a result of inaccuracies in the measurement of time and other numeric quantities. We describe a probing strategy that produces a stochastic estimate of the robustness of a temporal plan. This strategy is based on Gupta, Henzinger and Jagadeesan's (Gupta, Henzinger, and Jagadeesan 1997) notion of the 'fuzzy' robustness of traces through timed hybrid automata.

UR - http://planning.cis.strath.ac.uk/vvpsws/Accepted/paper9.pdf

M3 - Paper

ER -

Fox M, Howey R, Long D. Exploration of the Robustness of Plans. 2005. Paper presented at Proceedings International Conference on Automated Planning & Scheduling (ICAPS) 2005 Workshop on Verification and Validation of, Monterey, California, U.S.A., .