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

2024

57.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)
56.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)
55.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)
54.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)
53.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)
52.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: )
51.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: )
50.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: )
49.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: )
48.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

47.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)
46.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)
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)
20.Norman Weik; Matthias Volk; Joost-Pieter Katoen; Nils Nießen: DFT modeling approach for operational risk assessment of railway infrastructure. In: Int. J. Softw. Tools Technol. Transf., vol. 24, no. 3, pp. 331–350, 2022. (Type: Journal Article | Links | BibTeX | Tags: Fault tree analysis)
19.Daniel Basgöze; Matthias Volk; Joost-Pieter Katoen; Shahid Khan; Mariëlle Stoelinga: BDDs Strike Back – Efficient Analysis of Static and Dynamic Fault Trees. In: NFM, pp. 713–732, Springer, 2022. (Type: Proceedings Article | Links | BibTeX | Tags: Decision tree, Fault tree analysis)
18.Bas Oudenhoven; Philippe Van Calseyde; Rob Basten; Evangelia Demerouti: Predictive maintenance for industry 5.0: behavioural inquiries from a work system perspective. In: International Journal of Production Research, vol. 0, no. 0, pp. 1-20, 2022. (Type: Journal Article | Links | BibTeX | Tags: Human decision-making, Organizational behavior)
17.Qisong Yang; Thiago D. Simão; Simon H. Tindemans; Matthijs T. J. Spaan: Safety-constrained reinforcement learning with a distributional safety critic. In: Machine Learning, pp. 1–29, 2022. (Type: Journal Article | Links | BibTeX | Tags: Machine learning)
16.Marnix Suilen; Thiago D. Simão; David Parker; Nils Jansen: Robust Anytime Learning of Markov Decision Processes. In: NeurIPS, 2022. (Type: Proceedings Article | Abstract | Links | BibTeX | Tags: Decision-making under uncertainty, Machine learning)
15.Lisandro A. Jimenez-Roa; Tom Heskes; Tiedo Tinga; Mariëlle Stoelinga: Automatic inference of fault tree models via multi-objective evolutionary algorithms. In: IEEE Transactions on Dependable and Secure Computing, pp. 1-12, 2022. (Type: Journal Article | Links | BibTeX | Tags: Fault tree analysis, Machine learning)
14.Lisandro Arturo Jimenez-Roa; Matthias Volk; Mariëlle Stoelinga: Data-Driven Inference of Fault Tree Models Exploiting Symmetry and Modularization. In: International Conference on Computer Safety, Reliability, and Security, pp. 46–61, Springer 2022. (Type: Proceedings Article | Abstract | Links | BibTeX | Tags: Fault tree analysis, Machine learning)
13.Lisandro A Jimenez-Roa; Tom Heskes; Tiedo Tinga; Hajo JA Molegraaf; Mariëlle Stoelinga: Deterioration modeling of sewer pipes via discrete-time Markov chains: A large-scale case study in the Netherlands. In: 32nd European Safety and Reliability Conference, ESREL 2022: Understanding and Managing Risk and Reliability for a Sustainable Future, pp. 1299–1306, 2022. (Type: Proceedings Article | Abstract | Links | BibTeX | Tags: Model learning, Prognostics)
12.Thom S. Badings; Murat Cubuktepe; Nils Jansen; Sebastian Junges; Joost-Pieter Katoen; Ufuk Topcu: Scenario-based verification of uncertain parametric MDPs. In: Int. J. Softw. Tools Technol. Transf., vol. 24, no. 5, pp. 803–819, 2022. (Type: Journal Article | Links | BibTeX | Tags: Model checking, Scenario optimization)
11.Thom S. Badings; Nils Jansen; Sebastian Junges; Mariëlle Stoelinga; Matthias Volk: Sampling-Based Verification of CTMCs with Uncertain Rates. In: CAV (2), pp. 26–47, Springer, 2022. (Type: Proceedings Article | Links | BibTeX | Tags: Decision-making under uncertainty, Model checking, Scenario optimization)
10.David Kerkkamp; Zaharah A. Bukhsh; Yingqian Zhang; Nils Jansen: Grouping of Maintenance Actions with Deep Reinforcement Learning and Graph Convolutional Networks. In: International Conference on Agents and Artificial Intelligence (ICAART), 2022. (Type: Proceedings Article | Abstract | Links | BibTeX | Tags: Machine learning, Maintenance optimization)
9.Thom S. Badings; Alessandro Abate; Nils Jansen; David Parker; Hasan A. Poonawala; Mariëlle Stoelinga: Sampling-Based Robust Control of Autonomous Systems with Non-Gaussian Noise. In: AAAI, pp. 9669–9678, AAAI Press, 2022. (Type: Proceedings Article | Links | BibTeX | Tags: Decision-making under uncertainty, Model checking, Robustness)

2021

8.Lisandro A. Jimenez-Roa; Tom Heskes; Mariëlle Stoelinga: Fault Trees, Decision Trees, and Binary Decision Diagrams: A systematic comparison. In: Castanier, Bruno; Cepin, Marko; Bigaud, David; Bérenguer, Christophe (Ed.): Proceedings of the 31st European Safety and Reliability Conference (ESREL 2021), pp. 673–680, Research Publishing, 2021, (European Safety and Reliability Conference 2021, ESREL 2021 ; Conference date: 19-09-2021 Through 23-09-2021). (Type: Proceedings Article | Abstract | Links | BibTeX | Tags: Decision trees, Fault tree analysis, Reliability engineering)