by Thom Badings
PrimaVera Demonstrators
  • Infrastructure Demonstrator – PrimaVera is developing a web app that showcases research applications in diagnostics, prognostics, and maintenance policy optimization and logistics. The work-in-progress web application can be visited via the link above.
List of scientific publications

2025

70.Nubia Nale Alves da Silveira; Annemieke Angelique Meghoe; Tiedo Tinga: Quantifying the suitability and feasibility of predictive maintenance approaches. In: Computers & industrial engineering, vol. 194, iss. 110342, 2025. (Type: Journal Article | Abstract | Links | BibTeX | Tags: Maintenance optimization)
69.Luc Stefan Keizers: Hybrid Prognostics For Predictive Maintenance. Combining Physics-Based And Data-Driven Methods To Overcome Prognostic Challenges. 2025, ISBN: 978-90-365-6574-5. (Type: PhD Thesis | Abstract | Links | BibTeX | Tags: Maintenance optimization, Prognostics)
68.Thom Badings: Robust Verification of Stochastic Systems. 2025, ISSN: 2950-2772. (Type: PhD Thesis | Abstract | Links | BibTeX | Tags: Markov Decision Process, Stochastic Systems, Verification)
67.Lisandro Arturo Jimenez-Roa: Reliability and Maintenance for Engineering Systems: Fault Trees, Degradation Modelling and Maintenance Optimisation. 2025, ISBN: 978-90-365-6407-6. (Type: PhD Thesis | Abstract | Links | BibTeX | Tags: Deep Reinforcement Learning, Degradation Modelling, Fault tree analysis, Maintenance optimization, Prognostics and Health Management)
66.Bram Ton; Niek Tempert; Danny Plass: Immersive visualisation of point cloud data of railway environments. In: 2024 10th International Conference on Virtual Reality (ICVR), IEEE, 2025, ISBN: 979-8-3503-6423-1. (Type: Proceedings Article | Links | BibTeX | Tags: )
65.Natália Ribeiro Marinho; Richard Loendersloot; Jan Willem Wiegman; Frank Grooteman; Tiedo Tinga: Evaluating sensor performance for impact identification in composites: a comprehensive comparison of FBGs with PZTs. In: Structural health monitoring, pp. 22, 2025. (Type: Journal Article | Abstract | Links | BibTeX | Tags: Prognostics and Health Management)
64.Luc Stefan Keizers; Richard Loendersloot; Tiedo Tinga: Bayesian filtering based prognostic framework incorporating varying loads. In: Mechanical systems and signal processing Volume, vol. 224, no. 111992, pp. 25, 2025. (Type: Journal Article | Abstract | Links | BibTeX | Tags: Bayesian filters, Prognostics)

2024

63.Sabari Nathan Anbalagan: SPECTRUM: Towards Self-aware Industrial IoT Systems. 2024, ISBN: 978-90-365-6335-2. (Type: PhD Thesis | Abstract | Links | BibTeX | Tags: Artificial Intelligence, Fourth Industrial Revolution, Internet of Things, Wireless Communication)
62.Ragnar Hans Eggertsson: Advances in Asset Management: Maintenance Optimization under Incomplete Information and Sustainable Technology Selection. 2024, ISBN: 978-90-386-6159-9. (Type: PhD Thesis | Links | BibTeX | Tags: Inspection optimization, Maintenance optimization, Technology Selection)
61.Bram Ton: Point taken: Translating the physical rail domain to cyber space using point clouds from mobile laser scanning. 2024, ISBN: 978-90-365-6199-0. (Type: PhD Thesis | Abstract | Links | BibTeX | Tags: LiDAR, Point Cloud, Railway)
60.Marek Skarupski; Quinhao Wu: Confidence bounds for compound Poisson process. Stat Papers, 2024. (Type: Proceedings | Links | BibTeX | Tags: Reliability engineering)
59.Luc Stefan Keizers; Richard Loendersloot; Tiedo Tinga: Towards a Hybrid Framework For Prognostics With Limited Run-to-Failure Data. Proceedings of the 8th European Conference of the Prognostics and Health Management Society 2024, vol. 8, PHM Society, 2024, ISBN: 78-1-936263-40-0. (Type: Conference | Abstract | Links | BibTeX | Tags: Prognostics, Prognostics and Health Management)
58.Henk Akkermans; Rob Basten; Quan Zhu; Luk Van Wassenhove: Transition paths for condition-based maintenance-driven smart services. In: Journal of Operations Management, vol. n/a, no. n/a, 2024. (Type: Journal Article | Abstract | Links | BibTeX | Tags: Maintenance optimization, smart services)
57.Thom S. Badings; Matthias Volk; Sebastian Junges; Mariëlle Stoelinga; Nils Jansen: CTMCs with Imprecisely Timed Observations. In: TACAS 2024, 2024. (Type: Proceedings Article | Links | BibTeX | Tags: Model checking, Robustness)
56.Sabari Nathan Anbalagan; Melissa Schwarz; Rob Bemthuis; Paul Havinga: Assessing Factory's Industry 4.0 Readiness: A Practical Method for IIoT Sensor and Network Analysis. In: Procedia Computer Science, vol. 232, pp. 2730–2739, 2024. (Type: Journal Article | Abstract | Links | BibTeX | Tags: Internet of Things, Sensors)
55.Eyuel Debebe Ayele; Stylianos Gavriel; Javier Ferreira Gonzalez; Wouter B. Teeuw; Panayiotis Philimis; Ghayoor Gillani: Emerging Industrial Internet of Things Open-Source Platforms and Applications in Diverse Sectors. In: Telecom, vol. 5, no. 2, pp. 369–399, 2024, ISSN: 2673-4001. (Type: Journal Article | Links | BibTeX | Tags: Internet of Things)
54.Thom S. Badings; Licio Romao; Alessandro Abate; Nils Jansen: A Stability-Based Abstraction Framework for Reach-Avoid Control of Stochastic Dynamical Systems with Unknown Noise Distributions. In: CoRR, vol. abs/2404.01726, 2024. (Type: Journal Article | Abstract | Links | BibTeX | Tags: Decision-making under uncertainty, Model checking)
53.L. A. Jimenez-Roa; T. D. Simão; Z. Bukhsh; T. Tinga; H. Molegraaf; N. Jansen; M. Stoelinga: Maintenance Strategies for Sewer Pipes with Multi-State Deterioration and Deep Reinforcement Learning. In: 8th European Conference of the Prognostics and Health Management Society 2024, PHME24, 2024. (Type: Proceedings Article | Abstract | Links | BibTeX | Tags: )
52.L. A. Jimenez-Roa; N. Rusnac; M. Volk; M. Stoelinga: Fault Tree inference using Multi-Objective Evolutionary Algorithms and Confusion Matrix-based metrics. In: Formal Methods for Industrial Critical Systems (FMICS), Springer, 2024. (Type: Proceedings Article | Abstract | Links | BibTeX | Tags: )
51.L. A. Jimenez-Roa; T. Heskes; T. Tinga; M. Stoelinga: Comparing Homogeneous and Inhomogeneous Time Markov Chains for Modeling Deterioration in Sewer Pipe Networks. In: 34th European Safety and Reliability Conference, ESREL 2024: Advances in Reliability, Safety and Security, 2024. (Type: Proceedings Article | Abstract | Links | BibTeX | Tags: )
50.R. Stribos; R. Bouman; L. A. Jimenez-Roa; M. Slot; Mariëlle Stoelinga: A Comparison of Anomaly Detection Algorithms with Applications on Recoater Streaking in an Additive Manufacturing Process. In: Rapid Prototyping Journal, 2024, (Submitted). (Type: Journal Article | Abstract | Links | BibTeX | Tags: )
49.Sabari Nathan Anbalagan; Alessandro Chiumento; Paul Havinga: Fine Grained vs Coarse Grained Channel Quality Prediction: A 5G-RedCap Perspective for Industrial IoT Networks. In: 20th IEEE International Conference on Factory Communication Systems (WFCS 2024), 2024. (Type: Proceedings Article | Abstract | Links | BibTeX | Tags: Internet of Things, Sensors)

2023

48.Zhao Kang; Ahmadreza Marandi; Rob J. I. Basten; Ton De Kok: Robust Spare Parts Inventory Management. In: Management Science (submitted), vol. 15, 2023. (Type: Journal Article | Links | BibTeX | Tags: Maintenance optimization, Robustness)
47.Nubia Nale Alves da Silveira; Annemieke A. Meghoe; Tiedo Tinga: Integration of multiple failure mechanisms in a life assessment method for centrifugal pump impellers. In: Advances in mechanical engineering, vol. 15, no. 6, 2023, ISSN: 1687-8132. (Type: Journal Article | Links | BibTeX | Tags: Failure mechanisms, Prognostics)
46.Natália Ribeiro Marinho; Dario Di Maio; Richard Loendersloot; Tiedo Tinga: Exploiting high frequency waves for SHM using 3D SLDV system: what can we learn more?. Measuring by Light 2023: International meeting on optical measurement techniques and industrial applications, 2023. (Type: Conference | Abstract | Links | BibTeX | Tags: Structural health monitoring)
45.Rob Basten Ragnar Eggertsson; Geert-Jan Houtum: Maintenance optimization for capital goods when information is incomplete and environment-dependent. In: IISE Transactions, vol. 0, no. 0, pp. 1-16, 2023. (Type: Journal Article | Links | BibTeX | Tags: Maintenance optimization)
44.Reza Soltani; Matthias Volk; Leonardo Diamonte; Milan Lopuhaä-Zwakenberg; Mariëlle Stoelinga: Optimal Spare Management via Statistical Model Checking: A Case Study in Research Reactors. In: FMICS, pp. 205–223, Springer, 2023. (Type: Proceedings Article | Abstract | Links | BibTeX | Tags: Maintenance optimization, Spare part management)
43.Natália Ribeiro Marinho; Richard Loendersloot; Tiedo Tinga; Frank Grooteman; Jan Willem Wiegman: A Comparison of Optical Sensing Systems with Piezo-Electric Sensors for Impact Identification of Composite Plates. In: 14th International Workshop on Structural Health Monitoring, IWSHM 2023, pp. 1127–1133, DEStech Publications, Inc 2023. (Type: Proceedings Article | Abstract | Links | BibTeX | Tags: Sensors)
42.Matthias Volk; Muzammil Ibne Irshad; Joost-Pieter Katoen; Falak Sher; Mariëlle Stoelinga; Ahmad Zafar: SAFEST: the static and dynamic fault tree analysis tool. In: ESREL, pp. 193–200, Research Publishing, 2023. (Type: Proceedings Article | Links | BibTeX | Tags: Fault tree analysis)
41.Wouter Bos; Matthias Volk; Mariëlle Stoelinga; Marc Bouissou; Pavel Krčál: From Fault Trees to Piping and Instrumentation Diagrams. In: ESREL, pp. 1234–1235, Research Publishing, 2023. (Type: Proceedings Article | Links | BibTeX | Tags: Fault tree analysis)
40.Thom S. Badings; Sebastian Junges; Ahmadreza Marandi; Ufuk Topcu; Nils Jansen: Efficient Sensitivity Analysis for Parametric Robust Markov Chains. In: CAV (3), pp. 62–85, Springer, 2023. (Type: Proceedings Article | Abstract | Links | BibTeX | Tags: Decision-making under uncertainty, Model learning)
39.Alberto Castellini; Federico Bianchi; Edoardo Zorzi; Thiago D. Simão; Alessandro Farinelli; Matthijs T. J. Spaan: Scalable Safe Policy Improvement via Monte Carlo Tree Search. In: ICML, pp. 3732–3756, 2023. (Type: Proceedings Article | Links | BibTeX | Tags: Machine learning)
38.Dennis Gross; Thiago D. Simão; Nils Jansen; Guillermo A. Pérez: Targeted Adversarial Attacks on Deep Reinforcement Learning Policies via Model Checking. In: ICAART, pp. 501–508, 2023. (Type: Proceedings Article | Links | BibTeX | Tags: Machine learning, Model checking)
37.Wietze Koops; Nils Jansen; Sebastian Junges; Thiago D. Simão: Recursive Small-Step Multi-Agent A* for Dec-POMDPs. In: IJCAI, pp. 5402–5410, 2023. (Type: Proceedings Article | Links | BibTeX | Tags: Decision-making under uncertainty)
36.Patrick Wienhöft; Marnix Suilen; Thiago D. Simão; Clemens Dubslaff; Christel Baier; Nils Jansen: More for Less: Safe Policy Improvement with Stronger Performance Guarantees. In: IJCAI, pp. 4406–4415, 2023. (Type: Proceedings Article | Links | BibTeX | Tags: Decision-making under uncertainty, Machine learning)
35.Qisong Yang; Thiago D. Simão; Nils Jansen; Simon H. Tindemans; Matthijs T. J. Spaan: Reinforcement Learning by Guided Safe Exploration. In: ECAI, 2023. (Type: Proceedings Article | Links | BibTeX | Tags: Decision-making under uncertainty, Machine learning)
34.Bram Ton; Faizan Ahmed; Jeroen Linssen: Semantic Segmentation of Terrestrial Laser Scans of Railway Catenary Arches: A Use Case Perspective. In: Sensors, vol. 23, no. 1, 2023, ISSN: 1424-8220. (Type: Journal Article | Abstract | Links | BibTeX | Tags: Sensors)
33.Luke Rickard; Thom S. Badings; Licio Romao; Nils Jansen; Alessandro Abate: Formal Controller Synthesis for Markov Jump Linear Systems with Uncertain Dynamics. In: QEST, 2023. (Type: Proceedings Article | Abstract | Links | BibTeX | Tags: Decision-making under uncertainty, Robustness)
32.Zaharah Allah Bukhsh; Hajo Molegraaf; Nils Jansen: A Maintenance Planning Framework using Online and Offline Deep Reinforcement Learning. In: Neural Computing and Applications, 2023. (Type: Journal Article | Abstract | Links | BibTeX | Tags: Machine learning)
31.Cevahir Koprulu; Thiago D. Simão; Nils Jansen; Ufuk Topcu: Risk-aware Curriculum Generation for Heavy-tailed Task Distributions. In: UAI, pp. 1132–1142, 2023. (Type: Proceedings Article | Abstract | Links | BibTeX | Tags: Machine learning)
30.Merlijn Krale; Thiago D. Simão; Nils Jansen: Act-Then-Measure: Reinforcement Learning for Partially Observable Environments with Active Measuring. In: ICAPS, pp. 212-220, 2023. (Type: Proceedings Article | Abstract | Links | BibTeX | Tags: Decision-making under uncertainty, Machine learning)
29.Thom Badings; Thiago D. Simão; Marnix Suilen; Nils Jansen: Decision-making under uncertainty: beyond probabilities. Challenges and Perspectives. In: STTT, 2023. (Type: Journal Article | Abstract | Links | BibTeX | Tags: Decision-making under uncertainty, Machine learning, Robustness)
28.Yannick Hogewind; Thiago D. Simão; Tal Kachman; Nils Jansen: Safe Reinforcement Learning From Pixels Using a Stochastic Latent Representation. In: ICLR, 2023. (Type: Proceedings Article | Links | BibTeX | Tags: Decision-making under uncertainty, Machine learning)
27.Thom Badings; Licio Romao; Alessandro Abate; David Parker; Hasan A. Poonawala; Marielle Stoelinga; Nils Jansen: Robust Control for Dynamical Systems with Non-Gaussian Noise via Formal Abstractions. In: Journal of Artificial Intelligence Research (to appear), pp. 1–29, 2023. (Type: Journal Article | Abstract | Links | BibTeX | Tags: Decision-making under uncertainty, Machine learning, Robustness)
26.Thiago D. Simão; Marnix Suilen; Nils Jansen: Safe Policy Improvement for POMDPs via Finite-State Controllers. In: AAAI, 2023. (Type: Proceedings Article | Links | BibTeX | Tags: Machine learning)
25.Steven Carr; Nils Jansen; Sebastian Junges; Ufuk Topcu: Safe Reinforcement Learning via Shielding for POMDPs. In: To be presented at AAAI 2023, 2023. (Type: Proceedings Article | Links | BibTeX | Tags: Decision-making under uncertainty, Machine learning)
24.Thom S. Badings; Licio Romao; Alessandro Abate; Nils Jansen: Probabilities Are Not Enough: Formal Controller Synthesis for Stochastic Dynamical Models with Epistemic Uncertainty. In: AAAI, 2023. (Type: Proceedings Article | Links | BibTeX | Tags: Decision-making under uncertainty, Robustness)
23.Bram Dekker; Bram Ton; Joanneke Meijer; Nacir Bouali; Jeroen Linssen; Faizan Ahmed: Point Cloud Analysis of Railway Infrastructure: A Systematic Literature Review. In: IEEE Access, vol. 11, pp. 134355-134373, 2023. (Type: Journal Article | Links | BibTeX | Tags: Sensors)
22.Sabari Nathan Anbalagan; Paul JM Havinga; Alessandro Chiumento: VarOLLA: Maximizing Throughput for 5G-RedCap Devices in IIoT Networks. In: IEEE 9th World Forum on Internet of Things, IoT 2023, 2023. (Type: Proceedings Article | Abstract | Links | BibTeX | Tags: Internet of Things)

2022

21.Luc Stefan Keizers; Richard Loendersloot; Tiedo Tinga: Atmospheric Corrosion Prognostics Using a Particle Filter. In: Proceedings of the 32nd European Safety and Reliability Conference (ESREL 2022), pp. 1259–1266, 2022. (Type: Proceedings Article | Abstract | Links | BibTeX | Tags: Bayesian filters, Prognostics)