Measure-adaptive state-space construction

W. Douglas Obal, William H. Sanders

Research output: Contribution to conferencePaper

Abstract

Measure-adaptive state-space construction is the process of exploiting symmetry in high-level model and performance measure specifications to automatically construct reduced state-space Markov models that support the evaluation of the performance measure. This paper describes a new reward variable specification technique, which, combined with recently developed state-space construction techniques, will allow us to build tools capable of measure-adaptive state-space construction. That is, these tools will automatically adapt the size of the state space to constraints derived from the system model and the user-specified reward variables. The work described in this paper extends previous work in two directions. First, standard reward variable definitions are extended to allow symmetry in the reward variable to be identified and exploited. Then, symmetric reward variables are further extended to include the set of path-based reward variables described in earlier work. In addition to the theory, several examples are introduced to demonstrate these new techniques.

Original languageEnglish (US)
Pages25-34
Number of pages10
StatePublished - Jan 1 2000
Externally publishedYes
EventThe 4th IEEE International Computer Performance and Dependability Symposium (IPDS 2000) - Chicago, IL, USA
Duration: Mar 27 2000Mar 29 2000

Other

OtherThe 4th IEEE International Computer Performance and Dependability Symposium (IPDS 2000)
CityChicago, IL, USA
Period3/27/003/29/00

Fingerprint

Specifications

ASJC Scopus subject areas

  • Computer Science(all)
  • Engineering(all)

Cite this

Obal, W. D., & Sanders, W. H. (2000). Measure-adaptive state-space construction. 25-34. Paper presented at The 4th IEEE International Computer Performance and Dependability Symposium (IPDS 2000), Chicago, IL, USA, .

Measure-adaptive state-space construction. / Obal, W. Douglas; Sanders, William H.

2000. 25-34 Paper presented at The 4th IEEE International Computer Performance and Dependability Symposium (IPDS 2000), Chicago, IL, USA, .

Research output: Contribution to conferencePaper

Obal, WD & Sanders, WH 2000, 'Measure-adaptive state-space construction', Paper presented at The 4th IEEE International Computer Performance and Dependability Symposium (IPDS 2000), Chicago, IL, USA, 3/27/00 - 3/29/00 pp. 25-34.
Obal WD, Sanders WH. Measure-adaptive state-space construction. 2000. Paper presented at The 4th IEEE International Computer Performance and Dependability Symposium (IPDS 2000), Chicago, IL, USA, .
Obal, W. Douglas ; Sanders, William H. / Measure-adaptive state-space construction. Paper presented at The 4th IEEE International Computer Performance and Dependability Symposium (IPDS 2000), Chicago, IL, USA, .10 p.
@conference{41c17a51c9674aee8da116288bf8ec40,
title = "Measure-adaptive state-space construction",
abstract = "Measure-adaptive state-space construction is the process of exploiting symmetry in high-level model and performance measure specifications to automatically construct reduced state-space Markov models that support the evaluation of the performance measure. This paper describes a new reward variable specification technique, which, combined with recently developed state-space construction techniques, will allow us to build tools capable of measure-adaptive state-space construction. That is, these tools will automatically adapt the size of the state space to constraints derived from the system model and the user-specified reward variables. The work described in this paper extends previous work in two directions. First, standard reward variable definitions are extended to allow symmetry in the reward variable to be identified and exploited. Then, symmetric reward variables are further extended to include the set of path-based reward variables described in earlier work. In addition to the theory, several examples are introduced to demonstrate these new techniques.",
author = "Obal, {W. Douglas} and Sanders, {William H.}",
year = "2000",
month = "1",
day = "1",
language = "English (US)",
pages = "25--34",
note = "The 4th IEEE International Computer Performance and Dependability Symposium (IPDS 2000) ; Conference date: 27-03-2000 Through 29-03-2000",

}

TY - CONF

T1 - Measure-adaptive state-space construction

AU - Obal, W. Douglas

AU - Sanders, William H.

PY - 2000/1/1

Y1 - 2000/1/1

N2 - Measure-adaptive state-space construction is the process of exploiting symmetry in high-level model and performance measure specifications to automatically construct reduced state-space Markov models that support the evaluation of the performance measure. This paper describes a new reward variable specification technique, which, combined with recently developed state-space construction techniques, will allow us to build tools capable of measure-adaptive state-space construction. That is, these tools will automatically adapt the size of the state space to constraints derived from the system model and the user-specified reward variables. The work described in this paper extends previous work in two directions. First, standard reward variable definitions are extended to allow symmetry in the reward variable to be identified and exploited. Then, symmetric reward variables are further extended to include the set of path-based reward variables described in earlier work. In addition to the theory, several examples are introduced to demonstrate these new techniques.

AB - Measure-adaptive state-space construction is the process of exploiting symmetry in high-level model and performance measure specifications to automatically construct reduced state-space Markov models that support the evaluation of the performance measure. This paper describes a new reward variable specification technique, which, combined with recently developed state-space construction techniques, will allow us to build tools capable of measure-adaptive state-space construction. That is, these tools will automatically adapt the size of the state space to constraints derived from the system model and the user-specified reward variables. The work described in this paper extends previous work in two directions. First, standard reward variable definitions are extended to allow symmetry in the reward variable to be identified and exploited. Then, symmetric reward variables are further extended to include the set of path-based reward variables described in earlier work. In addition to the theory, several examples are introduced to demonstrate these new techniques.

UR - http://www.scopus.com/inward/record.url?scp=0033878722&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0033878722&partnerID=8YFLogxK

M3 - Paper

AN - SCOPUS:0033878722

SP - 25

EP - 34

ER -