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, A. Cavalcanti and M. C. Filho
-
Authors: Sharar Ahmadi
-
Authors: Y. Murray, M. Sirevåg, P. Ribeiro', D. A. Anisi and M. Mossige
-
Authors: A. Miyazawa, P. Ribeiro, A. L. C. Cavalcanti, M. Windsor, J. Baxter and K. Ye
-
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 (9)
Case studies with probabilistic aspects.
RoboSim: control software modelling
Case studies with control software specified using RoboSim.
-
Authors: Z. Atalla, J. Baxter, A. Cavalcanti and M. C. Filho
-
Authors: Sharar Ahmadi
-
Authors: A. Miyazawa, P. Ribeiro, A. L. C. Cavalcanti, M. Windsor, J. Baxter and K. Ye
-
Authors: P. Ribeiro, W. Li, A. L. C. Cavalcanti and A. Sampaio
RoboTool version: 1.0.0.201710231256
- Show all 4 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: A. Miyazawa, P. Ribeiro, A. L. C. Cavalcanti, M. Windsor, J. Baxter and K. Ye
-
Authors: Alvaro Miyazawa
-
Authors: Alvaro Miyazawa
-
Authors: Sharar Ahmadi
RoboTool version: 2.0.0.201907301544
- Show all 8 case studies
RoboWorld
Case studies with environment assumptions specified using RoboWorld.
-
Authors: A. Cavalcanti, P. Ribeiro and M. Windsor
-
Authors: A. Miyazawa, P. Ribeiro, A. L. C. Cavalcanti, M. Windsor, J. Baxter and K. Ye
-
Authors: A. L. C. Cavalcanti, J. Baxter, R. M. Hierons and R. Lefticaru
RoboTool version: >= 2.0.0
- Show all 3 case studies