Searched for: subject%3A%22Computational%255C%2Beffort%22
(1 - 2 of 2)
Thuijsman, S. (author), Hendriks, D. (author), Theunissen, R. (author), Reniers, M. (author), Schiffelers, R. (author)
We consider supervisor synthesis of Extended Finite Automata that are represented using Binary Decision Diagrams (BDDs). Peak used BDD nodes and BDD operation count are introduced as platform independent and deterministic metrics that quantitatively indicate the computational effort needed to synthesize a supervisor. The use of BDD operation...
conference paper 2019
Leeuwenburgh, O. (author), Egberts, P. (author), Chitu, A. (author), Wilschut, F. (author)
Life-cycle optimization is the process of finding field operation strategies that aim to optimize recovery or economic value with a long-term (years to decades) horizon. A reservoir simulation model is therefore generally appropriate and sufficient to explore the impact of different recovery scenarios. A number of challenges arise when trying to...
conference paper 2014