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 (13)

Case studies with both untimed and timed aspects.

Probabilistic models (6)

Case studies with probabilistic aspects.

RoboSim: control software modelling

Case studies with control software specified using RoboSim.

RoboSim: physical modelling

Case studies with physical models specified using RoboSim.

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