- document
- De Borst, R. (author), Van den Boogaard, A.H. (author) conference paper 1995
- document
- Post, J. (author), Koutamanis, A. (author) conference paper 2007
- document
- Feenstra, P.H. (author), De Borst, R. (author), Rots, J.G. (author) conference paper 1991
- document
- Schellekens, J.C.J. (author), De Borst, R. (author) conference paper 1991
- document
- Den Hartog, J.P. (author), Koutamanis, A. (author) conference paper 2000
- document
- Van Der Does, J. (author), Giro, H. (author) conference paper 1997
- document
- Koutamanis, A. (author), Den Hartog, P. (author) conference paper 2001
- document
- Breen, J.L.H. (author), Stellingwerff, M.C. (author) conference paper 1997
- document
- Post, J. (author), Koutamanis, A. (author) conference paper 2005
- document
- Koutamanis, A. (author) conference paper 1995
- document
- Breen, J. (author), Van Dijk, T. (author) conference paper 1997
- document
-
Lee, J. (author), Mitici, M.A. (author)Predictive aircraft maintenance is a complex process, which requires the modeling of the stochastic degradation of aircraft systems, as well as the dynamic interactions between the stakeholders involved. In this paper, we show that the stochastically and dynamically colored Petri nets (SDCPNs) are able to formalize the predictive aircraft...conference paper 2021
- document
-
Roungas, V. (author), Meijer, S.A. (author), Verbraeck, A. (author)The complexity of modern systems has made the use of simulations paramount, in order to test different scenarios in an affordable, ethical, and risk-free way. As such, simulations need to be validated, ensuring that the obtained results are meaningful. But validation apart from the computational difficulties, bears several other problems. The...conference paper 2018
- document
-
Augusto da Silva, F. (author), Bagbaba, Ahmet Cagri (author), Hamdioui, S. (author), Sauer, Christian (author)This work aims at an alternative method to verify the correctness of Fault Lists generated by fault simulators tools in context of safety verification. The lists generated by simulation tools are verified against lists from formal tools. The consistency evaluation between the lists supports the Tool Confidence Level (TCL) assessment, defined in...conference paper 2018
- document
-
Vermeulen, A.C.J. (author), Papic, Alvaro (author), Kiem, Jason (author), Hallak, D. (author), Brazier, F.M. (author)To enable sustainable long-duration human space flight, regenerative life support systems (RLSS) will be indispensable. Waste materials will need to be processed and transformed back into nutrients for life-supporting ecosystems. MELiSSA (Micro-Ecological Life Support System Alternative) is a well-documented and studied example of such an...conference paper 2019
- document
-
Wu, J. (author), Everhardt, Rob (author), Stepanovic, K. (author), de Weerdt, M.M. (author)District heating system (DHS) optimization is becoming an increasingly important problem because of the unused potential in flexibility that could allow less energy being wasted and the integration of renewable energy. While new optimization methods are proposed every year to tackle this problem, the literature lacks a good way to benchmark...conference paper 2022
- document
-
Čustović, I. (author), Kuttantharappel Soman, R. (author), Pauwels, Pieter (author), Hall, Daniel M. (author)A digital twin (DT) can enhance construction management with comprehensive real-time simulations. However, research rarely considers prefabrication factories, whose processes have a significant impact on cost and duration. It remains unclear how construction DTs can achieve their expected benefits without dynamically interacting with the DTs of...conference paper 2023
- document
-
Jensen, T. (author), Chappin, E.J.L. (author)Agent-based modeling is useful to simulate the human role in socio-technical systems. Thereby, the complexity of such systems can be captured. For instance, it has shown to be useful at simulating innovation in socio-technical systems. We develop a next step in which laborious model building is automated. We present a working example on...conference paper 2016
- document
-
Endo, A. (author), Pascual Laguna, A. (author), Hähnle, S.A. (author), Karatsu, K. (author), Thoen, David (author), Murugesan, V. (author), Baselmans, J.J.A. (author)Superconducting resonators and transmission lines are fundamental building blocks of integrated circuits for millimeter-submillimeter astronomy. Accurate simulation of radiation loss from the circuit is crucial for the design of these circuits because radiation loss increases with frequency, and can thereby deteriorate the system performance....conference paper 2020
- document
-
Suau, M. (author), He, J. (author), Spaan, M.T.J. (author), Oliehoek, F.A. (author)Learning effective policies for real-world problems is still an open challenge for the field of reinforcement learning (RL). The main limitation being the amount of data needed and the pace at which that data can be obtained. In this paper, we study how to build lightweight simulators of complicated systems that can run sufficiently fast for...conference paper 2022