相关论文: A collective of stateless automata in a $n$-dimens…

This paper considers the problem of determining an optimal control action based on observed data. We formulate the problem assuming that the system can be modelled by a nonlinear state-space model, but where the model parameters, state and…

Automaton models are often seen as interpretable models. Interpretability itself is not well defined: it remains unclear what interpretability means without first explicitly specifying objectives or desired attributes. In this paper, we…

This work reflects on mechanics as an epistemological framework on the state of a physical system to regard dynamics as the distribution of mechanical properties over spacetime coordinates. The resulting distribution is taken to be the…

These lecture notes cover basic automata-theoretic concepts and logical formalisms for the modeling and verification of concurrent and distributed systems. Many of these concepts naturally extend the classical automata and logics over…

We propose a version of the non-relativistic quantum mechanics in which the pure states of a quantum system are described as sections of a Hilbert (generally infinitely-dimensional) fibre bundle over the space-time. There evolution is…

Discrete abstractions have become a standard approach to assist control synthesis under complex specifications. Most techniques for the construction of discrete abstractions are based on sampling of both the state and time spaces, which may…

With the aim of understanding the emergence of collective motion from local interactions of organisms in a "noisy" environment, we study biologically inspired, inherently non-equilibrium models consisting of self-propelled particles. In…

Infinite-dimensional control systems with outputs are considered in the Hamiltonian formulation with generalized coordinates. An explicit scheme for constructing a dynamic observer for this class of systems is proposed with arbitrary gain…

A new kind of cellular automaton (CA) for the study of the dynamics of urban systems is proposed. The state of a cell is not described using a finite set, but by means of continuum variables. A population sector is included, taking into…

Distributed automata are finite-state machines that operate on finite directed graphs. Acting as synchronous distributed algorithms, they use their input graph as a network in which identical processors communicate for a possibly infinite…

A broad class of systems, including ecological, epidemiological, and sociological ones, are characterized by populations of individuals assigned to specific categories, e.g., a chemical species, an opinion or an epidemic state, that are…

We introduce and study a nonlinear discrete dynamical system describing the evolution of a resource distribution among interacting agents. The model generalizes several classical mean-field and opinion-dynamics frameworks and is defined on…

We construct coherent states of the massless and massive representations of the Poincar\'e group. They are parameterised by points on the classical state space of spinning particles. Their properties are explored, with special emphasis on…

The paper presents a method by which the mean field dynamics of a population of dynamical systems with parameter diversity and global coupling can be described in terms of a few macroscopic degrees of freedom. The method applies to…

In this paper we return to the problem of reduced-state dynamics in the presence of an interacting environment. The question we investigate is how to appropriately model a particular system evolution given some knowledge of the…

We present a planning and control approach for collaborative transportation of objects in space by a team of robots. Object and robots in microgravity environments are not subject to friction but are instead free floating. This property is…

We study discrete dynamical systems through the topological concepts of limit set, which consists of all points that can be reached arbitrarily late, and asymptotic set, which consists of all adhering values of orbits. In particular, we…

Cellular automata are arrays of finite state machines that can exist in a finite number of states. These machines update their states simultaneously based on specific local rules that govern their interactions. This framework provides a…

In this paper, a first sample-based formulation of the recently considered population observers, or ensemble observers, which estimate the state distribution of dynamic populations from measurements of the output distribution is…

We study trajectories of collective spin states of an ensemble of spinors. The spinors considered here are either trapped ions in free space or atoms confined in a cavity, both systems of which are engineered through their interactions with…