相关论文: Brane Calculi Systems: A Static Preview of their P…
When dealing with control systems, it is useful and even necessary to assess the performance of underlying transfer functions. The functions may or may not be linear, may or may not be even monotonic. In addition, they may have structural…
We describe a new computational method for the numerically stable particle-based simulation of open-boundary flows, including volume conserving chemical reactions. The novel method is validated for the case of heterogeneous catalysis…
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…
We introduce a new theoretical model of simple fluid, whose interactions, defined in terms of the Voronoi cells of the configurations, are local and many-body. The resulting system is studied both theoretically and numerically. We show that…
We address the problem of parameter estimation in models of systems biology from noisy observations. The models we consider are characterized by simultaneous deterministic nonlinear differential equations whose parameters are either taken…
Living systems face both environmental complexity and limited access to free-energy resources. Survival under these conditions requires a control system that can activate, or deploy, available perception and action resources in a context…
We propose the concept of adaptable processes as a way of overcoming the limitations that process calculi have for describing patterns of dynamic process evolution. Such patterns rely on direct ways of controlling the behavior and location…
This short paper discusses continually updated causal abstractions as a potential direction of future research. The key idea is to revise the existing level of causal abstraction to a different level of detail that is both consistent with…
Many organs of higher organisms are heavily branched structures and arise by an at first sight similar process of branching morphogenesis. Yet the regulatory components and local interactions that have been identified differ greatly in…
This paper presents a scheme for dual robust control of batch processes under parametric uncertainty. The dual-control paradigm arises in the context of adaptive control. A trade-off should be decided between the control actions that…
Quantum Computing promises accelerated simulation of certain classes of problems, in particular in plasma physics. Given the nascent interest in applying quantum computing techniques to study plasma systems, a compendium of the relevant…
Numerical simulations of vesicle suspensions are performed in two dimensions to study their dynamical and rheological properties. An hybrid method is adopted, which combines a mesoscopic approach for the solvent with a curvature-elasticity…
In this paper we will try to provide a formalization of some characteristics of the development of biological systems aiming at the highest level of adequacy: justificative adequacy, that is, not only what we observe (descriptive adequacy)…
We introduce behavioral inequalities as a way to model dynamical systems defined by inequalities among their variables of interest. We claim that such a formulation enables the representation of safety-aware dynamical systems, systems with…
Investigation of the critical levels and catastrophes in the complex systems of different nature is useful and perspective. Mathematical modeling and analysis is presented for revealing and investigation of the phenomena and critical levels…
Causality has been the issue of philosophic debate since Hippocrates. It is used in formal verification and testing, e.g., to explain counterexamples or construct fault trees. Recent work defines actual causation in terms of Pearl's…
It has recently become clear that simulations under amorphpous boundary conditions (ABCs) can provide valuable information on the dynamics and thermodynamics of disordered systems with no obvious ordered parameter. In particular, they allow…
We show that Markov couplings can be used to improve the accuracy of Markov chain Monte Carlo calculations in some situations where the steady-state probability distribution is not explicitly known. The technique generalizes the notion of…
The situation calculus logic model is convenient for modelling the actions that can occur in an information system application. The interplay of pre-conditions and post-conditions determines a semantically justified partial order of the…
Studies of strongly nonlinear dynamical systems such as turbulent flows call for superior computational prowess. With the advent of quantum computing, a plethora of quantum algorithms have demonstrated, both theoretically and…