The need for new theoretical and experimental approaches to understand dynamic and heterogeneous behavior in complex economic and social systems is increasing recently. An approac...
Abstract. We define a probabilistic contract framework for the construction of component-based embedded systems, based on the theory of Interactive Markov Chains. A contract specif...
The aim of this paper is to investigate the mathematical properties of a continuum model for diffusion of multiple species incorporating size exclusion effects. The system for two ...
Martin Burger, Marco Di Francesco, Jan-Frederik Pi...
Abstract—Controlling self-organizing systems with given control parameters is often unintuitive and inefficient for the user. Typically, there is some emergent behavior that the...
Despite progress in model engineering, modeling large distributed systems is still a long and complex task. This paper outlines a methodology based on UML to make the modeling of ...