Specifications in Stochastic Process Algebra for a Robot Control Problem

Stephen Gilmore, Jane Hillston, Robert Holton, Michael Rettelbach

Research output: Contribution to journalArticlepeer-review

Abstract / Description of output

We present a novel approach to specification of dynamic systems. This approach, a stochastic extension of process algebra, facilitates quantitative, or performance, analysis, in addition to qualitative analysis. For unreliable systems this integrated approach encourages the investigation of the impact of functional characteristics on the performance of the system. Throughout the paper details of the stochastic process algebra are made concrete via an example: a robot control problem. Two specifications are presented of this problem. The first, an idealisation, does not represent the possibility of failures. The second models both failures and recoveries. Each is solved to obtain performance measures for the system.
Original languageEnglish
Pages (from-to)1065-1080
Number of pages16
JournalInternational Journal of Production Research
Publication statusPublished - 1995


Dive into the research topics of 'Specifications in Stochastic Process Algebra for a Robot Control Problem'. Together they form a unique fingerprint.

Cite this