by Thom Badings

PrimaVera Project

No more train delays, power outages, or failure of production machines? The PrimaVera project, funded by the Dutch National Research Agenda (NWA), represents a major step towards this goal. With predictive maintenance, or just-in-time maintenance (maintenance just before a system breaks down), the reliability of infrastructure and production resources can be increased and the costs of maintenance can be reduced.

Existing predictive maintenance techniques only work for small-scale systems and are difficult to scale up. Choices made in one place in the chain have an important influence on other processes in the chain. The choice of a certain type of sensors and measurements influences the type of predictions that can be made, and therefore also the quality of the predictions. That is why cross-level optimization methods are being developed within PrimaVera.

Latest publications

  • Z. Kang, A. Marandi, R. J. I. Basten, and T. De Kok, “Robust spare parts inventory management,” Management science (submitted), vol. 15, 2023.
    [BibTeX] [Download PDF]
    title = "Robust Spare Parts Inventory Management",
    author = {Kang, Zhao and
    Marandi, Ahmadreza and
    Basten, Rob J.I. and
    De Kok, Ton},
    year = "2023",
    month = aug,
    day = "27",
    url = {},
    volume = "15",
    journal = "Management Science (submitted)"

  • M. Volk, M. I. Irshad, J. Katoen, F. Sher, M. Stoelinga, and A. Zafar, “Safest: the static and dynamic fault tree analysis tool,” in Esrel, 2023, p. 193–200. doi:10.3850/978-981-18-8071-1_P407-cd
    [BibTeX] [Download PDF]
    author = {Matthias Volk and
    Muzammil Ibne Irshad and
    Joost-Pieter Katoen and
    Falak Sher and
    Mari{\"{e}}lle Stoelinga and
    Ahmad Zafar},
    title = {SAFEST: the static and dynamic fault tree analysis tool},
    booktitle = {ESREL},
    pages = {193--200},
    publisher = {Research Publishing},
    year = {2023},
    doi = {10.3850/978-981-18-8071-1_P407-cd},
    url = {},

  • W. Bos, M. Volk, M. Stoelinga, M. Bouissou, and P. Krčál, “From fault trees to piping and instrumentation diagrams,” in Esrel, 2023, p. 1234–1235. doi:10.3850/978-981-18-8071-1_P537-cd
    [BibTeX] [Download PDF]
    author = {Wouter Bos and
    Matthias Volk and
    Mari{\"{e}}lle Stoelinga and
    Marc Bouissou and
    Pavel Kr\v{c}\'{a}l},
    title = {From Fault Trees to Piping and Instrumentation Diagrams},
    booktitle = {ESREL},
    pages = {1234--1235},
    publisher = {Research Publishing},
    year = {2023},
    doi = {10.3850/978-981-18-8071-1_P537-cd},
    url = {},

  • T. S. Badings, S. Junges, A. Marandi, U. Topcu, and N. Jansen, “Efficient sensitivity analysis for parametric robust markov chains,” in CAV (3), 2023, p. 62–85.
    author = {Thom S. Badings and
    Sebastian Junges and
    Ahmadreza Marandi and
    Ufuk Topcu and
    Nils Jansen},
    title = {Efficient Sensitivity Analysis for Parametric Robust Markov Chains},
    booktitle = {{CAV} {(3)}},
    series = {Lecture Notes in Computer Science},
    volume = {13966},
    pages = {62--85},
    publisher = {Springer},
    year = {2023}

  • A. Castellini, F. Bianchi, E. Zorzi, T. D. Simão, A. Farinelli, and M. T. J. Spaan, “Scalable Safe Policy Improvement via Monte Carlo Tree Search,” in ICML, 2023, p. 3732–3756.
    [BibTeX] [Download PDF]
    author = {Castellini, Alberto and Bianchi, Federico and Zorzi, Edoardo and Sim{\~a}o, Thiago D. and Farinelli, Alessandro and Spaan, Matthijs T. J. },
    title = {{Scalable Safe Policy Improvement via Monte Carlo Tree Search}},
    booktitle = {{ICML}},
    pages = {3732--3756},
    url = {},
    year = {2023}

Browse all publications