Publications – Primavera Project

by Thom Badings December 24, 2020

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

Bayesian filters Decision tree Decision trees Decision-making under uncertainty Failure mechanisms Fault tree analysis Human decision-making Machine learning Maintenance optimization Model checking Model learning Organizational behavior Prognostics Reliability engineering Robustness Scenario optimization Sensors smart services Spare part management

2024
7.	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, title = {CTMCs with Imprecisely Timed Observations}, author = {Thom S. Badings and Matthias Volk and Sebastian Junges and Mariëlle Stoelinga and Nils Jansen}, url = {https://doi.org/10.48550/arXiv.2401.06574}, doi = {10.48550/ARXIV.2401.06574}, year = {2024}, date = {2024-01-01}, urldate = {2024-01-01}, booktitle = {TACAS 2024}, keywords = {Model checking, Robustness}, pubstate = {published}, tppubtype = {inproceedings} } Close https://doi.org/10.48550/arXiv.2401.06574 doi:10.48550/ARXIV.2401.06574 Close
2023
6.	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, title = {Robust Spare Parts Inventory Management}, author = {Zhao Kang and Ahmadreza Marandi and Rob J. I. Basten and Ton De Kok}, url = {https://papers.ssrn.com/sol3/papers.cfm?abstract_id=4553430}, year = {2023}, date = {2023-08-27}, urldate = {2023-08-27}, journal = {Management Science (submitted)}, volume = {15}, keywords = {Maintenance optimization, Robustness}, pubstate = {published}, tppubtype = {article} } Close https://papers.ssrn.com/sol3/papers.cfm?abstract_id=4553430 Close
5.	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, title = {Decision-making under uncertainty: beyond probabilities. Challenges and Perspectives}, author = {Thom Badings and Thiago D. Simão and Marnix Suilen and Nils Jansen}, year = {2023}, date = {2023-01-01}, urldate = {2023-01-01}, journal = {STTT}, keywords = {Decision-making under uncertainty, Machine learning, Robustness}, pubstate = {published}, tppubtype = {article} } Close
4.	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, title = {Formal Controller Synthesis for Markov Jump Linear Systems with Uncertain Dynamics}, author = {Luke Rickard and Thom S. Badings and Licio Romao and Nils Jansen and Alessandro Abate}, year = {2023}, date = {2023-01-01}, urldate = {2023-01-01}, booktitle = {QEST}, keywords = {Decision-making under uncertainty, Robustness}, pubstate = {published}, tppubtype = {inproceedings} } Close
3.	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, title = {Probabilities Are Not Enough: Formal Controller Synthesis for Stochastic Dynamical Models with Epistemic Uncertainty}, author = {Thom S. Badings and Licio Romao and Alessandro Abate and Nils Jansen}, url = {https://arxiv.org/abs/2210.05989}, year = {2023}, date = {2023-01-01}, urldate = {2023-01-01}, booktitle = {AAAI}, keywords = {Decision-making under uncertainty, Robustness}, pubstate = {published}, tppubtype = {inproceedings} } Close https://arxiv.org/abs/2210.05989 Close
2.	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, title = {Robust Control for Dynamical Systems with Non-Gaussian Noise via Formal Abstractions}, author = {Thom Badings and Licio Romao and Alessandro Abate and David Parker and Hasan A. Poonawala and Marielle Stoelinga and Nils Jansen}, year = {2023}, date = {2023-01-01}, urldate = {2023-01-01}, journal = {Journal of Artificial Intelligence Research (to appear)}, pages = {1–29}, keywords = {Decision-making under uncertainty, Machine learning, Robustness}, pubstate = {published}, tppubtype = {article} } Close
2022
1.	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, title = {Sampling-Based Robust Control of Autonomous Systems with Non-Gaussian Noise}, author = {Thom S. Badings and Alessandro Abate and Nils Jansen and David Parker and Hasan A. Poonawala and Mariëlle Stoelinga}, url = {https://ojs.aaai.org/index.php/AAAI/article/view/21201/20950}, year = {2022}, date = {2022-01-01}, urldate = {2022-01-01}, booktitle = {AAAI}, pages = {9669–9678}, publisher = {AAAI Press}, keywords = {Decision-making under uncertainty, Model checking, Robustness}, pubstate = {published}, tppubtype = {inproceedings} } Close https://ojs.aaai.org/index.php/AAAI/article/view/21201/20950 Close