Robustness in Interaction Systems

We treat the effect of absence/failure of ports or components on properties of component-based systems. We do so in the framework of interaction systems, a formalism for component-based systems that strictly separates the issues of local behavior and interaction, for which ideas to establish properties of systems where developed. We propose to adapt these ideas to analyze how the properties behave under absence or failure of certain components or merely some ports of components. We demonstrate our approach for the properties local and global deadlock-freedom as well as liveness and local progress

Starling flock networks manage uncertainty in consensus at low cost

Flocks of starlings exhibit a remarkable ability to maintain cohesion as a group in highly uncertain environments and with limited, noisy information. Recent work demonstrated that individual starlings within large flocks respond to a fixed number of nearest neighbors, but until now it was not understood why this number is seven. We analyze robustness to uncertainty of consensus in empirical data from multiple starling flocks and show that the flock interaction networks with six or seven neighbors optimize the trade-off between group cohesion and individual effort. We can distinguish these numbers of neighbors from fewer or greater numbers using our systems-theoretic approach to measuring robustness of interaction networks as a function of the network structure, i.e., who is sensing whom. The metric quantifies the disagreement within the network due to disturbances and noise during consensus behavior and can be evaluated over a parameterized family of hypothesized sensing strategies (here the parameter is number of neighbors). We use this approach to further show that for the range of flocks studied the optimal number of neighbors does not depend on the number of birds within a flock; rather, it depends on the shape, notably the thickness, of the flock. The results suggest that robustness to uncertainty may have been a factor in the evolution of flocking for starlings. More generally, our results elucidate the role of the interaction network on uncertainty management in collective behavior, and motivate the application of our approach to other biological networks.Comment: 19 pages, 3 figures, 9 supporting figure

Time-crystalline behavior in an engineered spin chain ?

Time crystals appear when systems display a commensurate spontaneous breaking of the discrete time translational invariance imposed by an external periodic drive. No consensus on the definition has been reached as yet, but important aspects comprise robustness against small variations of the parameters and the initial quantum state. Often, disorder and interaction are thought to be essential ingredients for the occurrence of time crystals. We study a finite-length polarized XX spin chain engineered to display a spectrum of equidistant energy levels without drive and show that it keeps a spectrum of equidistant quasienergies in Floquet theory for a large variety of periodic driving schemes. This interesting behavior is explained by mapping the XX spin chain with $N+1$ sites to a single large spin with $S=N/2$ invoking the closure of the group SU(2). For suitably tuned parameters this system realizes time crystals of various periodicities for \emph{all} initial states. The robustness against variations of the parameters is also discussed. Thereby, we establish a clean system without interaction which can display the phenomenon of time crystallization.Comment: 17 pages, 5 figures. Title changed. Extended discussion of disorder effects. Accepted for publication in Phys. Rev.

A role-based software architecture to support mobile service computing in IoT scenarios

The interaction among components of an IoT-based system usually requires using low latency or real time for message delivery, depending on the application needs and the quality of the communication links among the components. Moreover, in some cases, this interaction should consider the use of communication links with poor or uncertain Quality of Service (QoS). Research efforts in communication support for IoT scenarios have overlooked the challenge of providing real-time interaction support in unstable links, making these systems use dedicated networks that are expensive and usually limited in terms of physical coverage and robustness. This paper presents an alternative to address such a communication challenge, through the use of a model that allows soft real-time interaction among components of an IoT-based system. The behavior of the proposed model was validated using state machine theory, opening an opportunity to explore a whole new branch of smart distributed solutions and to extend the state-of-the-art and the-state-of-the-practice in this particular IoT study scenario.Peer ReviewedPostprint (published version

Initial/boundary-value problems of tumor growth within a host tissue

This paper concerns multiphase models of tumor growth in interaction with a surrounding tissue, taking into account also the interplay with diffusible nutrients feeding the cells. Models specialize in nonlinear systems of possibly degenerate parabolic equations, which include phenomenological terms related to specific cell functions. The paper discusses general modeling guidelines for such terms, as well as for initial and boundary conditions, aiming at both biological consistency and mathematical robustness of the resulting problems. Particularly, it addresses some qualitative properties such as a priori nonnegativity, boundedness, and uniqueness of the solutions. Existence of the solutions is studied in the one-dimensional time-independent case.Comment: 30 pages, 5 figure