Accurate modeling of the storage or sequestration of CO2 injected into subsurface formations requires an accurate fluid model. This can be achieved using compositional reservoir simulations. However, sophisticated equations of state (EOS) approaches used in current compositional simulators are computationally expensive. It is advantageous and possible to use a simple, but accurate fluid model f...

We investigate logics for coalgebraic simulation from a compositional perspective. Specifically, we show that the expressiveness of an inductively-defined language for coalgebras w.r.t. a given notion of simulation comes as a consequence of an expressivity condition between the language constructor used to define the language for coalgebras, and the relator used to define the notion of simulati...

Although Aitchison’s [Aitchison, J., 1986. The Statistical Analysis of Compositional Data, Chapman and Hall, London] method of logratio transformation of compositional data is widely used in various domains, it is limited by the assumption of a strict non-negativity of the components and the requirement of special treatments in practice of the zero components. We propose a dimension-reduction a...

Phenomena with a constrained sample space appear frequently in practice. This is the case, for example, with strictly positive data, or with compositional data, such as percentages or proportions. If the natural measure of difference is not the absolute one, simple algebraic properties show that it is more convenient to work with a geometry different from the usual Euclidean geometry in real sp...

A compositional generic process control model is presented which has been applied to control enzymatic biochemical processes. The model has been designed at a conceptual and formal level using the compositional development method DESIRE, and includes processes for analysis, planning and simulation. It integrates qualitative and quantitative techniques. Its application to enzymatic chemical proc...

Fully compositional and thermal reservoir simulation capabilities are important in oil exploration and production. There are significant resources in existing wells and in heavy oil, oil sands, and deep-water reservoirs. This article has two main goals: (1) to clearly identify chemical engineering sub-problems within reservoir simulation that the PSE community can potentially make contributions...

The amalgamation operation is frequently used to reduce the number of parts of compositional data but it is a non-linear operation in the simplex with the usual geometry, the Aitchison geometry. The concept of balances between groups, a particular coordinate system designed over binary partitions of the parts, could be an alternative to the amalgamation in some cases. In this work we discuss th...

We present a ompositional veri ation method for ontrol ow based safety properties of smart ard applets. Our method rests on a lose orresponden e between transition system models ordered by simulation and Hennessy-Milner logi extended with simultaneous greatest xed points. We show that simulation an be hara terised logi ally and, vi e versa, logi al satisfa tion an be represented behaviourally b...