Related papers: Asynchronous Control-State Choreographies
Choreographic programming is a promising new paradigm for programming concurrent systems where a developer writes a single centralized program that compiles to individual programs for each node. Existing choreographic languages, however,…
Model predictive control solves a constrained optimization problem online in order to compute an implicit closed-loop control policy. Recursive feasibility -- guaranteeing that the optimal control problem will have a solution at every time…
Finite-state controllers (FSCs), such as plans with loops, are powerful and compact representations of action selection widely used in robotics, video games and logistics. There has been steady progress on synthesizing FSCs in deterministic…
Dance performance traditionally follows a unidirectional relationship where movement responds to music. While AI has advanced in various creative domains, its application in dance has primarily focused on generating choreography from…
In this note, the coordination of linear discrete-time multi-agent systems over digital networks is investigated with unmeasurable states in agents' dynamics. The quantized-observer based communication protocols and Certainty Equivalence…
Many natural and human-made complex systems feature group interactions that adapt over time in response to their dynamic states. However, most of the existing adaptive network models fall short of capturing these group dynamics, as they…
In this paper, synchronization of fractional order Coullet system with precise and also unknown parameters are studied. The proposed method which is based on the adaptive backstepping, has been developed to synchronize two chaotic systems…
In this paper we briefly report some recent developments on generalized synchronization. We discuss different methods of detecting generalized synchronization. We first consider two unidirectionally coupled systems and then two mutually…
Experimental studies of synchronization properties on networks with controlled connection topology can provide powerful insights into the physics of complex networks. Here, we report experimental results on the influence of connection…
We initiate a formal study on the use of low-dimensional latent representations of dynamical systems for verifiable control synthesis. Our main goal is to enable the application of verification techniques -- such as Lyapunov or barrier…
The paper deals with the verification of reachability properties in a commonly used state transition model of communication protocols, which consists of finite state machines connected by potentially unbounded FIFO channels. Although simple…
We consider the problem of distributing a centralised transition system to a set of asynchronous agents recognising the same language. Existing solutions are either manual or involve a huge explosion in the number of states from the…
We consider the pattern formation problem in coupled identical systems after the global synchronized state becomes unstable. Based on analytical results relating the coupling strengths and the instability of each spatial mode (pattern) we…
The class of controlled synchronization systems under information constraints imposed by limited information capacity of the coupling channel is analyzed. It is shown that the framework proposed in A. L. Fradkov, B. Andrievsky, R. J. Evans,…
The duality between controllability and observability enables methods developed for full-state control to be applied to full-state estimation, and vice versa. In applications in which control or estimation of all state variables is…
We study a network of finitely many interacting clusters where each cluster is a collection of globally coupled circle maps in the thermodynamic (or mean field) limit. The state of each cluster is described by a probability measure, and its…
A metamorphic robotic system (MRS) consists of anonymous modules, each of which autonomously moves in the 2D square grid by sliding and rotation with keeping connectivity among the modules. Existing literature considers distributed…
In this paper, we study a wireless networked control system (WNCS) with $N \ge 2$ sub-systems sharing a common wireless channel. Each sub-system consists of a plant and a controller and the control message must be delivered from the…
Two replicas of spatially extended chaotic systems synchronize to a common spatio-temporal chaotic state when coupled above a critical strength. As a prototype of each single spatio-temporal chaotic system a lattice of maps interacting via…
We study the relationship between the partially synchronous state and the coupling structure in general dynamical systems. Our results show that, on the contrary to the widely accepted concept, topological symmetry in a coupling structure…