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.
RoboChart
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.
-
Authors: A. Miyazawa and A. L. C. Cavalcanti
RoboTool version:
3.0.0.202108031246
-
Authors: A. Miyazawa, P. Ribeiro and A. L. C. Cavalcanti
RoboTool version:
3.0.0.202108031246
-
Authors: T. Wright
-
Authors: A. Cavalcanti, P. Ribeiro and M. Windsor
-
Authors: Z. Atalla, J. Baxter and A. Cavalcanti
-
Authors: Sharar Ahmadi
-
Authors: Y. Murray, M. Sirevåg, P. Ribeiro', D. A. Anisi and M. Mossige
-
Authors: Alvaro Miyazawa
-
Authors: W. Barnett, A. L. C. Cavalcanti and A. Miyazawa
RoboTool version:
1.0.0.201904021656
-
Authors: P. Ribeiro and W. Li
RoboTool version:
1.0.0.201710231256
-
Authors: Bianca Darolti
RoboTool version:
2.0.0.201907301544
-
Authors: A. L. C. Cavalcanti, J. Baxter, R. M. Hierons and R. Lefticaru
RoboTool version:
>= 2.0.0
-
Authors: W. Li and A. Miyazawa'
RoboTool version:
1.0.0.201709071350
-
Authors: A. Miyazawa, P. Ribeiro and A. L. C. Cavalcanti
RoboTool version:
1.0.0.201806131353
-
Authors: P. Ribeiro, W. Li, A. L. C. Cavalcanti and A. Sampaio
RoboTool version:
1.0.0.201710231256
-
Authors: A. Miyazawa and A. L. C. Cavalcanti
RoboTool version:
1.0.0.201709071350
-
Authors: A. Miyazawa
-
Authors: A. Miyazawa
-
Authors: A. Miyazawa
- Show all 19 case studies
Probabilistic models (6)
Case studies with probabilistic aspects.
RoboSim: control software modelling
Case studies with control software specified using RoboSim.
-
Authors: Sharar Ahmadi
-
Authors: Alvaro Miyazawa
-
Authors: P. Ribeiro, W. Li, A. L. C. Cavalcanti and A. Sampaio
RoboTool version: 1.0.0.201710231256
- Show all 3 case studies
RoboSim: physical modelling
Case studies with physical models specified using RoboSim.
-
Authors: Alvaro Miyazawa
-
Authors: T. Wright
-
Authors: A. Cavalcanti, P. Ribeiro and M. Windsor
-
Authors: Sharar Ahmadi and Alvaro Miyazawa
-
Authors: Alvaro Miyazawa
-
Authors: Alvaro Miyazawa
-
Authors: Alvaro Miyazawa
-
Authors: Sharar Ahmadi
RoboTool version: 2.0.0.201907301544
- Show all 8 case studies