Deterioration modeling of sewer pipes via discrete-time Markov chains: A large-scale case study in the Netherlands

Autor: Jimenez-Roa, L. A., Heskes, T., Tinga, T., Molegraaf, H., Stoelinga, M.

Sewer pipe network systems are an important part of civil infrastructure, and in order to find a good trade-off between maintenance costs and system performance, reliable sewer pipe degradation models are essential. In this paper, we present a large-

Externí odkaz: http://arxiv.org/abs/2310.01888

Sampling-Based Robust Control of Autonomous Systems with Non-Gaussian Noise

Autor: Badings, T, Abate, A, Jansen, N, Parker, D, Poonawala, H, Stoelinga, M

Publikováno v: Proc. 36th AAAI Conference on Artificial Intelligence (AAAI'22)
Proceedings of the AAAI Conference on Artificial Intelligence, 36, 9, pp. 9669-9678
Proceedings of the AAAI Conference on Artificial Intelligence, 36, 9669-9678

Controllers for autonomous systems that operate in safety-critical settings must account for stochastic disturbances. Such disturbances are often modeled as process noise, and common assumptions are that the underlying distributions are known and/or

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c993f9f4efde5bf1b0a6dfe6f19871d4
https://hdl.handle.net/2066/253565

The impact of Dutch healthcare on the environment. Environmental footprint method, and examples for a health-promoting healthcare environment

Autor: Steenmeijer, MA, Pieters, LI, Warmenhoven, N, Huiberts, EHW, Stoelinga, M, Zijp, MC, van Zelm, R, Waaijers-van der Loop, SL

Climate change is having a major impact on health and the environment. That makes it important to have an overview of all the sources that contribute to climate change. One of these sources is the healthcare sector. The Ministry of Health, Welfare an

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=narcis______::138a70b7e0128e1843345733c3c3353a
http://hdl.handle.net/10029/626296

Apartness and Distinguishing Formulas in Hennessy-Milner Logic

Autor: Geuvers, H., Jansen, N., Stoelinga, M., Bos, P. van den

Publikováno v: Jansen, N.; Stoelinga, M.; Bos, P. van den (ed.), A Journey from Process Algebra via Timed Automata to Model Learning : Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday, 266-282. Cham : Springer Nature Switzerland
STARTPAGE=266;ENDPAGE=282;TITLE=Jansen, N.; Stoelinga, M.; Bos, P. van den (ed.), A Journey from Process Algebra via Timed Automata to Model Learning : Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::cd1b1d36fd0d91e0583aa31914cac6af
http://hdl.handle.net/2066/283085

State Identification and Verification with Satisfaction

Autor: Moerman, J., Wißmann, T.T., Jansen, N., Stoelinga, M., Bos, P. van den

Publikováno v: Jansen, N.; Stoelinga, M.; Bos, P. van den (ed.), A Journey from Process Algebra via Timed Automata to Model Learning : Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday, 450-466. Cham : Springer Nature Switzerland
STARTPAGE=450;ENDPAGE=466;TITLE=Jansen, N.; Stoelinga, M.; Bos, P. van den (ed.), A Journey from Process Algebra via Timed Automata to Model Learning : Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::7f741f09a15297f98a542f80114ca80c
https://hdl.handle.net/2066/282993