Related papers: Fluid Model Checking
The conventional no-slip boundary condition leads to a non-integrable stress singularity at a moving contact line. This makes numerical simulations challenging, especially when capillary effects are essential for the dynamics of the flow.…
We propose a framework for the decentralized control of a team of agents that are assigned local tasks expressed as Linear Temporal Logic (LTL) formulas. Each local LTL task specification captures both the requirements on the respective…
The paper is devoted to the approximate consensus problem for networks of nonlinear agents with switching topology, noisy and delayed measurements. In contrast to the existing stochastic approximation-based control algorithms (protocols), a…
The pressure-correction method is a well established approach for simulating unsteady, incompressible fluids. It is well-known that implicit discretization of the time derivative in the momentum equation e.g. using a backward…
Hyperproperties have shown to be a powerful tool for expressing and reasoning about information-flow security policies. In this paper, we investigate the problem of statistical model checking (SMC) for hyperproperties. Unlike exhaustive…
A calculational approach in fluid turbulence is presented. Use is made of the attracting nature of the fluid-dynamic dynamical system. An approximate approach is offerred that effectively propagates the statistics in time. Loss of…
Analyzing field data from pumping tests, we show that as with many other natural phenomena, groundwater flow exhibits a complex dynamics described by 1/f power spectrum. This result is theoretically studied within an agent perspective.…
We present TTCF4LAMMPS, a toolkit for performing non-equilibrium molecular dynamics (NEMD) simulations to study fluid behaviour at low shear rates using the LAMMPS software. By combining direct NEMD simulations and the transient-time…
In the present paper we give a brief summary of some recent theoretical advances in the treatment of inhomogeneous fluids and methods which have applications in the study of dynamical properties of liquids in situations of extreme…
Techniques for runtime verification often utilise specification languages that are (i) reasonably expressive, and (ii) relatively abstract (i.e. they operate on a level of abstraction that separates them from the system being monitored).…
The increasing deployment of intelligent agents in digital ecosystems, such as social media platforms, has raised significant concerns about traceability and accountability, particularly in cybersecurity and digital content protection.…
Heterogeneous multiscale methods (HMM) combine molecular accuracy of particle-based simulations with the computational efficiency of continuum descriptions to model flow in soft matter liquids. In these schemes, molecular simulations…
The behavior of fluids in the vicinity of the liquid-gas critical point is studied within the cell fluid model framework. The analytic method for deriving the equation of state of a cell fluid model in the low-temperature region (T<Tc) is…
Agentic systems are evaluated on benchmarks where agents interact with environments to solve tasks. Most papers report a pass@1 score computed from a single run per task, assuming this gives a reliable performance estimate. We test this…
Model checking is a proven approach for checking whether the behavior model of a safety-critical system fulfills safety properties that are stated as LTL formulas.We propose rules for generating such LTL formulas automatically based on the…
We propose a method for multi-scale hybrid simulations of molecular dynamics (MD) and computational fluid dynamics (CFD). In the method, usual lattice-mesh based simulations are applied for CFD level, but each lattice is associated with a…
Characterization of composite materials, whose properties vary in space over microscopic scales, has become a problem of broad interdisciplinary interest. In particular, estimation of the inhomogeneous transport coefficients, e.g. the…
Vehicular traffic is a classical example of a multi-agent system in which autonomous drivers operate in a shared environment. The article provides an overview of the state-of-the-art in microscopic traffic modeling and the implications for…
In this paper I present a first attempt for a possible description of fluids dynamics by mean of a cellular automata technique. With the use of simple and elementary rules, based on random behaviour either, the model permits to obtain the…
The Patlak-Keller-Segel equation describes the chemotactic interactions of small organisms in the continuum limit, and a singular peak appears through spontaneous aggregation when the total mass of the organisms exceeds a critical value. To…