Computational effort of bdd-based supervisor synthesis of extended finite automata

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...

Model-based workflows for optimal long-term reservoir mangement

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...