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]
    @article{Silveria2023AME,
    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 = {https://papers.ssrn.com/sol3/papers.cfm?abstract_id=4553430},
    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]
    @inproceedings{ESREL_SAFEST,
    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 = {https://eur01.safelinks.protection.outlook.com/?url=https%3A%2F%2Frpsonline.com.sg%2Fproceedings%2Fesrel2023%2Fpdf%2FP407.pdf&data=05%7C01%7Cthom.badings%40ru.nl%7Ca990329295674cee5f5d08dbaf7827ca%7C084578d9400d4a5aa7c7e76ca47af400%7C1%7C0%7C638296704861847798%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000%7C%7C%7C&sdata=k10g3PYGpeP4WuH6RDn7YMsiqhlk5B1FHiDTxEFBNn4%3D&reserved=0},
    }

  • 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]
    @inproceedings{ESREL_PID,
    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 = {https://eur01.safelinks.protection.outlook.com/?url=https%3A%2F%2Frpsonline.com.sg%2Fproceedings%2Fesrel2023%2Fpdf%2FP537.pdf&data=05%7C01%7Cthom.badings%40ru.nl%7Ca990329295674cee5f5d08dbaf7827ca%7C084578d9400d4a5aa7c7e76ca47af400%7C1%7C0%7C638296704861847798%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000%7C%7C%7C&sdata=Hidiz%2FP6txOBvRII081VFhAlkz0yN%2BfCg2wehIpTbK0%3D&reserved=0},
    }

  • 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.
    [BibTeX]
    @inproceedings{DBLP:conf/cav/BadingsJMTJ23,
    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]
    @inproceedings{Castellini2023,
    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 = {https://proceedings.mlr.press/v202/castellini23a.html},
    year = {2023}
    }

Browse all publications