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 |
|
48. | 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)@article{https://doi.org/10.1002/joom.1295, Abstract This research investigates growth inhibitors for smart services driven by condition-based maintenance (CBM). Despite the fast rise of Industry 4.0 technologies, such as smart sensoring, internet of things, and machine learning (ML), smart services have failed to keep pace. Combined, these technologies enable CBM to achieve the lean goal of high reliability and low waste for industrial equipment. Equipment located at customers throughout the world can be monitored and maintained by manufacturers and service providers, but so far industry uptake has been slow. The contributions of this study are twofold. First, it uncovers industry settings that impede the use of equipment failure data needed to train ML algorithms to predict failures and use these predictions to trigger maintenance. These empirical settings, drawn from four global machine equipment manufacturers, include either under- or over-maintenance (i.e., either too much or too little periodic maintenance). Second, formal analysis of a system dynamics model based on these empirical settings reveals a sweet spot of industry settings in which such inhibitors are absent. Companies that fall outside this sweet spot need to follow specific transition paths to reach it. This research discusses these paths, from both a research and practice perspective. |
47. | 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)@inproceedings{Badings2024TACAS, |
2023 |
|
46. | 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)@article{Kang2023RobustManagement, |
45. | 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)@article{Silveria2023AME, |
44. | 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)@article{doi:10.1080/24725854.2023.2257245, |
43. | 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 | BibTeX | Tags: Maintenance optimization, Spare part management)@inproceedings{DBLP:conf/fmics/SoltaniVDLS23, |
42. | 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 | BibTeX | Tags: Sensors)@inproceedings{marinho2023comparison, |
41. | 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)@inproceedings{ESREL_SAFEST, |
40. | 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)@inproceedings{ESREL_PID, |
39. | 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 | BibTeX | Tags: Decision-making under uncertainty, Model learning)@inproceedings{DBLP:conf/cav/BadingsJMTJ23, |
38. | 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)@inproceedings{Castellini2023, |
37. | 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)@inproceedings{Gross2023targeted, |
36. | 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)@inproceedings{Koops2023recursive, |
35. | 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)@inproceedings{Wienhoft2023more, |
34. | 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)@inproceedings{Yang2023reinforcement, |
33. | 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)@article{Ton2023Sensors, Having access to accurate and recent digital twins of infrastructure assets benefits the renovation, maintenance, condition monitoring, and construction planning of infrastructural projects. There are many cases where such a digital twin does not yet exist, such as for legacy structures. In order to create such a digital twin, a mobile laser scanner can be used to capture the geometric representation of the structure. With the aid of semantic segmentation, the scene can be decomposed into different object classes. This decomposition can then be used to retrieve cad models from a cad library to create an accurate digital twin. This study explores three deep-learning-based models for semantic segmentation of point clouds in a practical real-world setting: PointNet++, SuperPoint Graph, and Point Transformer. This study focuses on the use case of catenary arches of the Dutch railway system in collaboration with Strukton Rail, a major contractor for rail projects. A challenging, varied, high-resolution, and annotated dataset for evaluating point cloud segmentation models in railway settings is presented. The dataset contains 14 individually labelled classes and is the first of its kind to be made publicly available. A modified PointNet++ model achieved the best mean class Intersection over Union (IoU) of 71% for the semantic segmentation task on this new, diverse, and challenging dataset. |
32. | 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 | BibTeX | Tags: Decision-making under uncertainty, Robustness)@inproceedings{Rickard2023QEST, |
31. | 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 | BibTeX | Tags: Machine learning)@article{Bukshh2023maintenance, |
30. | 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 | BibTeX | Tags: Machine learning)@inproceedings{Koprulu2023, |
29. | 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 | BibTeX | Tags: Decision-making under uncertainty, Machine learning)@inproceedings{Krale2023act, |
28. | 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 | BibTeX | Tags: Decision-making under uncertainty, Machine learning, Robustness)@article{Badings2023Decision, |
27. | 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)@inproceedings{Hogewind2023safe, |
26. | 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 | BibTeX | Tags: Decision-making under uncertainty, Machine learning, Robustness)@article{Badings2023JAIR, |
25. | 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)@inproceedings{Simao2023safe, |
24. | 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)@inproceedings{DBLP:journals/corr/abs-2204-00755, |
23. | 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)@inproceedings{DBLP:journals/corr/abs-2210-05989, |
22. | 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)@article{10328827, |
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 | BibTeX | Tags: Bayesian filters, Prognostics)@inproceedings{Keizers2022ESREL, |
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)@article{DBLP:journals/sttt/WeikVKN22, |
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)@inproceedings{DBLP:conf/nfm/BasgozeVKKS22, |
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)@article{Oudenhoven2022, |
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)@article{Yang2022safety-constrained, |
16. | Marnix Suilen; Thiago D. Simão; David Parker; Nils Jansen: Robust Anytime Learning of Markov Decision Processes. In: NeurIPS, 2022. (Type: Proceedings Article | BibTeX | Tags: Decision-making under uncertainty, Machine learning)@inproceedings{DBLP:journals/corr/abs-2205-15827, |
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)@article{9875105, |
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 | BibTeX | Tags: Fault tree analysis, Machine learning)@inproceedings{jimenez2022data, |
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 | BibTeX | Tags: Model learning, Prognostics)@inproceedings{jimenez2022deterioration, |
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)@article{DBLP:journals/sttt/BadingsCJJKT22, |
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)@inproceedings{DBLP:conf/cav/BadingsJJSV22, |
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 | BibTeX | Tags: Machine learning, Maintenance optimization)@inproceedings{Kerkkamp2021, |
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)@inproceedings{DBLP:conf/aaai/BadingsA00PS22, |
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)@inproceedings{JimenezRoa2021_ESREL, In reliability engineering, we need to understand system dependencies, cause-effect relations, identify critical components, and analyze how they trigger failures. Three prominent graph models commonly used for these purposes are fault trees (FTs), decision trees (DTs), and binary decision diagrams (BDDs). These models are popular because they are easy to interpret, serve as a communication tool between stakeholders of various backgrounds, and support decision-making processes. Moreover, these models help to understand real-world problems by computing reliability metrics, minimum cut sets, logic rules, and displaying dependencies. Nevertheless, it is unclear how these graph models compare. Thus, the goal of this paper is to understand the similarities and differences through a systematic comparison based on their (i) purpose and application, (ii) structural representation, (iii) analysis methods, (iv) construction, and (v) benefits & limitations. Furthermore, we use a running example based on a Container Seal Design to showcase the models in practice. Our results show that, given that FTs, DTs, and BDDs have different purposes and application domains, they adopt different structural representations and analysis methodologies that entail a variety of benefits and limitations, the latter can be addressed via conversion methods or extensions. Specific remarks are that BDDs can be considered as a compact representation of binary DTs, since the former allows sub-node sharing, which makes BDDs more efficient at representing logical rules than binary DTs. It is possible to obtain cut sets from BDDs and DTs and construct a FT using the (con/dis)junctive normal form, although this may result in a sub-optimal FT structure. |
7. | Nubia Nale Alves Silveira; Richard Loendersloot; Annemieke Angelique Meghoe; Tiedo Tinga: Data Selection Criteria for the Application of Predictive Maintenance to Centrifugal Pumps. In: Proceedings of the 6th European Conference of the Prognostics and Health Management Societ, pp. 372–380, 2021, (6th European Conference of the Prognostics and Health Management Society, PHME 2021, PHME 2021 ; Conference date: 28-06-2021 Through 02-07-2021). (Type: Proceedings Article | Abstract | Links | BibTeX | Tags: Prognostics, Sensors)@inproceedings{daSilveria2021_PHM, The maintenance of vehicles and components is present in most people's daily lives, ranging from changing a private vehicle's oil to the failure prediction of an aircraft component during flight. Usually, the manufacturer's maintenance recommendation is a good solution when the cost is not too high, and the real application is used as indicated by the manufacturer. However, this recommendation can turn unfeasible when there is a significant variation in operational conditions or high maintenance costs. In these cases, the manufacturer's suggestion is typically conservative, leading to unnecessarily high costs. Therefore, the challenge is to find the best approach for optimizing a component's maintenance, given the system in which it is integrated and the associated operational and environmental conditions. Nevertheless, the available information on the loads on the component also plays a role in that choice. This paper proposes to combine case-specific information with generic degradation prediction models to obtain an acceptable but also affordable approach. The objective is to develop data selection criteria to indicate the parameters that have a high impact on the failure prediction, in this case, of a generic impeller pump. Subsequently, the approach delivers to the user an indication of the component remaining useful life using different operational scenarios. |
6. | Luc S. Keizers; Richard Loendersloot; Tiedo Tinga: Unscented Kalman Filtering for Prognostics Under Varying Operational and Environmental Conditions. In: International Journal of Prognostics and Health Management, vol. 12, no. 2, 2021. (Type: Journal Article | Links | BibTeX | Tags: Bayesian filters, Prognostics)@article{keizers2021unscented, |
5. | Zaharah Allah Bukhsh; Nils Jansen; Aaqib Saeed: Damage detection using in-domain and cross-domain transfer learning. In: Neural Computing and Applications, 2021. (Type: Journal Article | Links | BibTeX | Tags: Sensors)@article{BukshJansenSaeed2021, |
4. | Thom S. Badings; Arnd Hartmanns; Nils Jansen; Marnix Suilen: Balancing Wind and Batteries: Towards Predictive Verification of Smart Grids. In: 13th NASA Formal Methods Symposium, 2021. (Type: Proceedings Article | Links | BibTeX | Tags: Model checking)@inproceedings{Badings2021NFM, |
3. | Thiago D. Simão; Nils Jansen; Matthijs T. J. Spaan: AlwaysSafe: Reinforcement Learning Without Safety Constraint Violations During Training. In: Proceedings of the 20th International Conference on Autonomous Agents and MultiAgent Systems (AAMAS), pp. 1226-1235, IFAAMAS, 2021. (Type: Proceedings Article | Links | BibTeX | Tags: Machine learning)@inproceedings{Simao2021alwayssafe, |
2. | Murat Cubuktepe; Nils Jansen; Sebastian Junges; Ahmadreza Marandi; Marnix Suilen; Ufuk Topcu: Robust Finite-State Controllers for Uncertain POMDPs. In: 35th AAAI Conference on Artificial Intelligence, 2021. (Type: Proceedings Article | BibTeX | Tags: Decision-making under uncertainty)@inproceedings{cubuktepe-et-al-aaai-2021, |
2020 |
|
1. | Bram Ton; Rob Basten; John Bolte; Jan Braaksma; Alessandro Di Bucchianico; Philippe Calseyde; Frank Grooteman; Tom Heskes; Nils Jansen; Wouter Teeuw; Tiedo Tinga; Mariëlle Stoelinga: PrimaVera: Synergising Predictive Maintenance. In: Applied Sciences, vol. 10, no. 23, 2020, ISSN: 2076-3417. (Type: Journal Article | Abstract | Links | BibTeX | Tags: Organizational behavior, Prognostics, Sensors)@article{app10238348, The full potential of predictive maintenance has not yet been utilised. Current solutions focus on individual steps of the predictive maintenance cycle and only work for very specific settings. The overarching challenge of predictive maintenance is to leverage these individual building blocks to obtain a framework that supports optimal maintenance and asset management. The PrimaVera project has identified four obstacles to tackle in order to utilise predictive maintenance at its full potential: lack of orchestration and automation of the predictive maintenance workflow, inaccurate or incomplete data and the role of human and organisational factors in data-driven decision support tools. Furthermore, an intuitive generic applicable predictive maintenance process model is presented in this paper to provide a structured way of deploying predictive maintenance solutions. |