Related papers: Variational Synthesis of Controlled Dynamic Mappin…
Dynamics of ideal fluid with free surface can be effectively solved by perturbing the Hamiltonian in weak nonlinearity limit. However it is shown that perturbation theory, which includes third and fourth order terms in the Hamiltonian,…
Dynamical canonical systems and their connections with the classical (spectral) canonical systems are considered. We construct B\"acklund-Darboux transformation and explicit solutions of the dynamical canonical systems. We study also those…
The canonical partition function approach was designed to avoid the overlap problem that affects the lattice simulations of nuclear matter at high density. The method employs the projections of the quark determinant on a fix quark number…
General purpose correct-by-construction synthesis methods are limited to systems with low dimensionality or simple specifications. In this work we consider highly symmetrical counting problems and exploit the symmetry to synthesize provably…
In this work, inspired in the symbolic dynamic of chaotic systems and using machine learning techniques, a control strategy for complex systems is designed. Unlike the usual methodologies based on modeling, where the control signal is…
If a higher derivative theory arises from a transformation of variables that involves time derivatives, a tailor-made Hamiltonian formulation is shown to exist. The details and advantages of this elegant Hamiltonian formulation, which…
It is shown how the canonical symmetry is used to look for the hierarchy of the Hamiltonian operators relevant to the system under consideration. It appears that only the invariance condition can be used to solve the problem.
Canonical transformation in a three-dimensional phase space endowed with Nambu bracket is discussed in a general framework. Definition of the canonical transformations is constructed as based on canonoid transformations. It is shown that…
This paper presents an automatic formal controller synthesis method for nonlinear sampled-data systems with safety and reachability specifications. Fundamentally, the presented method is not restricted to polynomial systems and controllers.…
Systems with singular higher order- Lagrangians are investigated by using the extended form of the canonical method. Besides, the canonical path integral formulation is generalized using the Hamilton- jacobi formulation to investigate…
In many Lagrangian field theories one has a Poisson bracket defined on the space of local functionals. We find necessary and sufficient conditions for a transformation on the space of local functionals to be canonical in three different…
We resurrect a standard construction of analytical mechanics dating from the last century. The technique allows one to pass from any dynamical system whose first order evolution equations are known, and whose bracket algebra is not…
The Hamiltonian treatment of constrained systems in $G\ddot{u}ler's$ formalism leads us to the total differential equations in many variables. These equations are integrable if the corresponding system of partial differential equations is a…
We study the canonical variables based numerical schemes of a hybrid model with kinetic ions and mass-less electrons. Two equivalent formulations of the hybrid model are presented with the vector potentials in different gauges and the…
Dynamic systems have found their use in sound synthesis as well as score synthesis. These levels can be integrated in monolithic autonomous systems in a novel approach to algorithmic composition that shares certain aesthetic motivations…
Quantum coherence inherently affects the dynamics and the performances of a quantum machine. Coherent control can, at least in principle, enhance the work extraction and boost the velocity of evolution in an open quantum system. Using…
The Kalman canonical form for quantum linear systems was derived in \cite{ZGPG18}. The purpose of this paper is to present an alternative derivation by means of a Gramian matrix approach. Controllability and observability Gramian matrices…
We present a method to control transport in Hamiltonian systems. We provide an algorithm - based on a perturbation of the original Hamiltonian localized in phase space - to design small control terms that are able to create isolated…
This paper is concerned with finite-level quantum memory systems for retaining initial dynamic variables in the presence of external quantum noise. The system variables have an algebraic structure, similar to that of the Pauli matrices, and…
An infinite dimensional canonical symplectic structure and structure-preserving geometric algorithms are developed for the photon-matter interactions described by the Schr\"odinger-Maxwell equations. The algorithms preserve the symplectic…