Related papers: Synthesizing the L\"{u} attractor by parameter-swi…
In this paper the Chua circuit with five linear elements and saturation non-linearity is studied. Numerical localization of self-excited attractor in the Chua circuit model can be done by computation of trajectory with initial data in a…
For a two-variable formula ψ(X,Y) of Monadic Logic of Order (MLO) the Church Synthesis Problem concerns the existence and construction of an operator Y=F(X) such that ψ(X,F(X)) is universally valid over Nat. B\"{u}chi and Landweber…
A generalization of the Lorenz equations is proposed where the variables take values in a Lie algebra. The finite dimensionality of the representation encodes the quantum fluctuations, while the non-linear nature of the equations can…
This paper introduces a novel method to approximate limit cycles of nonlinear ODEs by use of switching affine dynamics in order to ease data-based modeling and analysis. Previous approaches to approximating limit cycles by switching systems…
Every program should be accompanied by a specification that describes important aspects of the code's behavior, but writing good specifications is often harder than writing the code itself. This paper addresses the problem of synthesizing…
This paper presents basis parts of a new method to synthesize a return trajectory for a reactive process from a default mode to one of the nominal modes. The process is modeled with a hybrid automata. The purpose consists of doing a…
Coupled phase-oscillators are important models related to synchronization. Recently, Ott-Antonsen(OA) ansatz is developed and used to get low-dimensional collective behaviors in coupled oscillator systems. In this paper, we develop a simple…
The controllability problem for nonlinear control systems with one-dimensional control of the form $ dx/dt=a(x)+B(x)\beta(x,u)$ is considered, where $a(x)$ is an $n$-dimensional vector function, $B(x)$ is an $(n\times m)$-matrix, and…
We have investigated noise-induced transition of atoms between double or triple phase-space attractors that are produced in the parametrically driven magneto-optical trap. The transition rates between two or three dynamic attractors,…
In this paper, we investigate the problem of synthesizing strategies for linear temporal logic (LTL) specifications that are interpreted over finite traces -- a problem that is central to the automated construction of controllers, robot…
This paper addresses the synthesis of safety-critical controllers using estimate feedback. We propose an observer-controller interconnection to ensure that the nonlinear system remains safe despite bounded disturbances on the system…
This paper deals with the control synthesis problem for a continuous nonlinear dynamical system under a Linear Temporal Logic (LTL) formula. The proposed solution is a top-down hierarchical decomposition of the control problem involving…
This paper investigates the verification and synthesis of parameterized protocols that satisfy leadsto properties $R \leadsto Q$ on symmetric unidirectional rings (a.k.a. uni-rings) of deterministic and constant-space processes under no…
An embedding of chaotic data into a suitable phase space creates a diffeomorphism of the original attractor with the reconstructed attractor. Although diffeomorphic, the original and reconstructed attractors may not be topologically…
The confluence of quantum mechanics and complexity, which leads to the emergence of rich, exotic states of matter, motivates the extension of our concepts of quantum ordering. The twin concepts of spontaneously broken symmetry, described in…
In the present paper the classical ideas of Hausdorff and Lebesgue are combined and the Hausdorff--Lebesgue measure is introduced. This makes it possible to obtain new results in chaotic dynamics.
A challenging problem for autonomous systems is to synthesize a reactive controller that conforms to a set of given correctness properties. Linear temporal logic (LTL) provides a formal language to specify the desired behavioral properties…
We apply the dynamical approach to the study of the second order semi-linear elliptic boundary value problem in a cylindrical domain with a small parameter at the second derivative with respect to the "time" variable corresponding to the…
Our goal is to build systems which write code automatically from the kinds of specifications humans can most easily provide, such as examples and natural language instruction. The key idea of this work is that a flexible combination of…
Complex real-world applications of cyber-physical systems give rise to the need for multi-objective controller synthesis, which concerns the problem of computing an optimal controller subject to multiple (possibly conflicting) criteria. The…