Simulation and Bisimulation over Multiple Time Scales in a Behavioral Setting

This paper introduces a new behavioral system model with distinct external and internal signals possibly evolving on different time scales. This allows to capture abstraction processes or signal aggregation in the context of control and verification of large scale systems. For this new system model different notions of simulation and bisimulation are derived, ensuring that they are, respectively, preorders and equivalence relations for the system class under consideration. These relations can capture a wide selection of similarity notions available in the literature. This paper therefore provides a suitable framework for their comparisonComment: Submitted to 22nd Mediterranean Conference on Control and Automatio

Homogenization of the Poisson-Nernst-Planck Equations for Ion Transport in Charged Porous Media

Effective Poisson-Nernst-Planck (PNP) equations are derived for macroscopic ion transport in charged porous media under periodic fluid flow by an asymptotic multi-scale expansion with drift. The microscopic setting is a two-component periodic composite consisting of a dilute electrolyte continuum (described by standard PNP equations) and a continuous dielectric matrix, which is impermeable to the ions and carries a given surface charge. Four new features arise in the upscaled equations: (i) the effective ionic diffusivities and mobilities become tensors, related to the microstructure; (ii) the effective permittivity is also a tensor, depending on the electrolyte/matrix permittivity ratio and the ratio of the Debye screening length to the macroscopic length of the porous medium; (iii) the microscopic fluidic convection is replaced by a diffusion-dispersion correction in the effective diffusion tensor; and (iv) the surface charge per volume appears as a continuous "background charge density", as in classical membrane models. The coefficient tensors in the upscaled PNP equations can be calculated from periodic reference cell problems. For an insulating solid matrix, all gradients are corrected by the same tensor, and the Einstein relation holds at the macroscopic scale, which is not generally the case for a polarizable matrix, unless the permittivity and electric field are suitably defined. In the limit of thin double layers, Poisson's equation is replaced by macroscopic electroneutrality (balancing ionic and surface charges). The general form of the macroscopic PNP equations may also hold for concentrated solution theories, based on the local-density and mean-field approximations. These results have broad applicability to ion transport in porous electrodes, separators, membranes, ion-exchange resins, soils, porous rocks, and biological tissues

Constructing (Bi)Similar Finite State Abstractions using Asynchronous ll-Complete Approximations

This paper constructs a finite state abstraction of a possibly continuous-time and infinite state model in two steps. First, a finite external signal space is added, generating a so called $\Phi$-dynamical system. Secondly, the strongest asynchronous $l$-complete approximation of the external dynamics is constructed. As our main results, we show that (i) the abstraction simulates the original system, and (ii) bisimilarity between the original system and its abstraction holds, if and only if the original system is $l$-complete and its state space satisfies an additional property

Recent advances in the evolution of interfaces: thermodynamics, upscaling, and universality

We consider the evolution of interfaces in binary mixtures permeating strongly heterogeneous systems such as porous media. To this end, we first review available thermodynamic formulations for binary mixtures based on \emph{general reversible-irreversible couplings} and the associated mathematical attempts to formulate a \emph{non-equilibrium variational principle} in which these non-equilibrium couplings can be identified as minimizers. Based on this, we investigate two microscopic binary mixture formulations fully resolving heterogeneous/perforated domains: (a) a flux-driven immiscible fluid formulation without fluid flow; (b) a momentum-driven formulation for quasi-static and incompressible velocity fields. In both cases we state two novel, reliably upscaled equations for binary mixtures/multiphase fluids in strongly heterogeneous systems by systematically taking thermodynamic features such as free energies into account as well as the system's heterogeneity defined on the microscale such as geometry and materials (e.g. wetting properties). In the context of (a), we unravel a \emph{universality} with respect to the coarsening rate due to its independence of the system's heterogeneity, i.e. the well-known ${\cal O}(t^{1/3})$-behaviour for homogeneous systems holds also for perforated domains. Finally, the versatility of phase field equations and their \emph{thermodynamic foundation} relying on free energies, make the collected recent developments here highly promising for scientific, engineering and industrial applications for which we provide an example for lithium batteries

Rate of Convergence of Phase Field Equations in Strongly Heterogeneous Media towards their Homogenized Limit

We study phase field equations based on the diffuse-interface approximation of general homogeneous free energy densities showing different local minima of possible equilibrium configurations in perforated/porous domains. The study of such free energies in homogeneous environments found a broad interest over the last decades and hence is now widely accepted and applied in both science and engineering. Here, we focus on strongly heterogeneous materials with perforations such as porous media. To the best of our knowledge, we present a general formal derivation of upscaled phase field equations for arbitrary free energy densities and give a rigorous justification by error estimates for a broad class of polynomial free energies. The error between the effective macroscopic solution of the new upscaled formulation and the solution of the microscopic phase field problem is of order $\epsilon^1/2$ for a material given characteristic heterogeneity $\epsilon$. Our new, effective, and reliable macroscopic porous media formulation of general phase field equations opens new modelling directions and computational perspectives for interfacial transport in strongly heterogeneous environments

Comparing Asynchronous ll-Complete Approximations and Quotient Based Abstractions

This paper is concerned with a detailed comparison of two different abstraction techniques for the construction of finite state symbolic models for controller synthesis of hybrid systems. Namely, we compare quotient based abstractions (QBA), with different realizations of strongest (asynchronous) $l$-complete approximations (SAlCA) Even though the idea behind their construction is very similar, we show that they are generally incomparable both in terms of behavioral inclusion and similarity relations. We therefore derive necessary and sufficient conditions for QBA to coincide with particular realizations of SAlCA. Depending on the original system, either QBA or SAlCA can be a tighter abstraction