A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf
.
Specifications in stochastic process algebra for a robot control problem
1996
International Journal of Production Research
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
doi:10.1080/00207549608904950
fatcat:zjzibmsjfzhhjhpggbcbizv4ou