Department of Computer Science

Case Studies

Below is a list of case studies considered in the context of RoboStar projects. They are grouped by category: RoboChart, RoboSim: control software modelling, and RoboSim: physical modelling. To see the full list of case studies under a particular category click on Show all.


Case studies with control software specified using RoboChart. The following models have been specified and analysed using RoboTool. The version of RoboTool used for each case study is linked.

Untimed and timed models (19)

Case studies with both untimed and timed aspects.

Probabilistic models (9)

Case studies with probabilistic aspects.

RoboSim: control software modelling

Case studies with control software specified using RoboSim.

  • Segway
    Authors: Z. Atalla, J. Baxter, A. Cavalcanti and M. C. Filho
  • Assembly Line Arm
    Authors: Sharar Ahmadi
  • SRanger
    Authors: A. Miyazawa, P. Ribeiro, A. L. C. Cavalcanti, M. Windsor, J. Baxter and K. Ye
  • Transport
    Authors: P. Ribeiro, W. Li, A. L. C. Cavalcanti and A. Sampaio
    RoboTool version:

RoboSim: physical modelling

Case studies with physical models specified using RoboSim.


Case studies with environment assumptions specified using RoboWorld.

Department of Computer Science
Deramore Lane, University of York, Heslington, York, YO10 5GH, UK
Tel: 01904 325500
University of York legal statements