Linear stationary control systems over a Boolean semiring: Geometric properties and the isomorphism problem

In the present paper, we consider linear stationary dynamical systems over a Boolean semiring B. We analyze the complete observability, identifiability, reachability, and controllability of such systems. We define the notion of a “graph of modules” of completely controllable, completely reachable Boolean linear stationary systems by analogy with the spaces of modules in the case of systems over fields. We give a graph-theoretic interpretation of systems of this class. We solve the isomorphism problem in this class of systems.     

Isochronous systems and their quantization

We review recent results about classical isochronous systems characterized by the presence of an open (hence fully dimensional) region in their phase space in which all their solutions are completely periodic (i.e., periodic in all degrees of freedom) with the same fixed period (independent of the initial data provided they are inside the isochronicity region). We report a technique for generating such systems, whose wide applicability justifies the statement that isochronous systems are not rare. We also present an analogous technique applicable to a vast class of Hamiltonian systems and generating isochronous Hamiltonian systems. We also report some results concerning the quantized versions of such systems.     

On the heritability of the property <Emphasis Type="Italic">D</Emphasis><Subscript><Emphasis Type="Italic">π</Emphasis></Subscript> by subgroups

We consider the so-called Jordan-Pochhammer systems, a special class of linear Pfaffian systems of Fuchsian type on complex linear (or projective) spaces. These systems appeared as systems of differential equations for hypergeometric type integrals in which the integrand is a product of powers of linear functions. These systems also arise in some reductions of the Knizhnik-Zamolodchikov equations. The main advantage of these systems is the possibility of presenting a basis in the solution space of such systems in an explicit integral form and, as a consequence, of describing their monodromy representation. The main focus in the paper is placed on the applications of Jordan-Pochhammer systems. We describe the relationship of Jordan-Pochhammer systems to isomonodromic deformations of Fuchsian systems that are described by the Schlesinger equations, as well as to the linearization of the dynamical system of bending spatial polygons. We also describe the application of Jordan-Pochhammer systems to constructing Kohno systems on the Manin-Schechtman configuration spaces.     

Reduction of underdetermined systems of ordinary differential equations: I

We consider the equivalence problem for underdetermined systems of ordinary differential equations. We present canonical forms for some types of autonomous systems linear in the derivatives. It is shown that, among three-dimensional autonomous systems linear in the derivatives, there are infinitely many locally nonequivalent systems.     

On Stability of Solutions to One Class of Nonlinear Difference Systems

We consider some class of systems of nonlinear ordinary differential equations. We adjust the difference schemes corresponding to the equations under study in order to guarantee agreement between differential and difference systems in the sense of stability of the zero solution. We obtain conditions under which perturbations do not violate the asymptotic stability of solutions to difference systems.     

Optimal control of ellipsoidal motions

We study the target control problem for systems with ellipsoid-valued trajectories admitting reconfiguration of the ellipsoids in the course of motion. We present solutions for linear-convex systems in the class of positional (synthesized) controls under integral-quadratic motion performance criteria. We use Hamiltonian formalism methods, including the dynamic programming equations for such systems.     

Generalization of the Jurdjevic-Quinn theorem and stabilization of bilinear control systems with periodic coefficients: II

We prove sufficient conditions for the uniform global asymptotic stabilization of the origin for bilinear time-varying systems that can be reduced by a Lyapunov transformation to bilinear periodic systems with time-invariant drift, in particular, for bilinear periodic systems with time-varying drift. We obtain corollaries for consistent systems.     

相对论性Birkhoff系统动力学方程的代数结构与Poisson积分方法

定义相对论性Ｐｆａｆｆ作用量,得到相对论性Ｐｆａｆｆ Ｂｉｒｋｈｏｆｆ原理和相对论性Ｂｉｒｋｈｏｆｆ方程．证明了自治形式和半自治形式的相对论性Ｂｉｒｋｈｏｆｆ方程具有相容代数结构和Ｌｉｅ代数结构;一般非 自治形式的相对论性Ｂｉｒｋｈｏｆｆ方程没有代数结构．研究一种特殊的非自治形式的相对论性Ｂｉｒｋｈｏｆｆ方程,它具有相容代数结构和Ｌｉｅ容许代数结构．给出相对论性Ｂｉｒｋｈｏｆｆ方程的Ｐｏｉｓｓｏｎ积分 方法．最后给出应用性实例．     

Reliable Solution of Bidiagonal Systems with Applications

We show that the stability of Gaussian elimination with partial pivoting relates to the well definition of the reduced triangular systems. We develop refined perturbation bounds that generalize Skeel bounds to the case of ill conditioned systems. We finally develop reliable algorithms for solving general bidiagonal systems of linear equations with applications to the fast and stable solution of tridiagonal systems.     

Discontinuous Dynamical Systems in Optimal Control Theory

We develop foundations of the theory of discontinuous Hamiltonian systems appearing in the problems of optimal control. We consider analogs of the classical Poisson and Liouville theorems for discontinuous Hamiltonian systems. We study the local geometry of discontinuous dynamical systems and describe singularities in general position and the behavior of integral trajectories near an elliptical submanifold (sliding mode).     

Qualitative theory of p-adic dynamical systems

We consider a class of dynamical systems over the p-adic number field: hierarchical dynamical systems. We prove a strong variant of the Poincaré theorem on the number of returns for such systems and show that hierarchical systems do not admit mixing. We describe hierarchical dynamical systems over the projective line and present an example of a nonhierarchical p-adic system that admits mixing: the p-adic baker’s transformation.     

New architectures for constructed complex systems

This paper is an overview of our research program in intelligent systems. Our object of study is constructed complex systems, which are software and hardware systems mediated or managed by computers. We describe how biological systems provide stiff competition for constructed complex systems in the areas of autonomy and intelligence, robustness, adaptability, and communication. We describe our computationally reflective integration infrastructure, called ‘wrappings', and show how it can provide many of the necessary flexibilities. We also describe two directions of research in computational semiotics, which for us means the study of the use of symbols by computing systems. We describe our ‘conceptual categories', which are a method of knowledge representation that supports these flexibilities, and some new results on symbol systems, which leads to some new mathematical questions about what can be represented in formal systems and how they can be extended automatically. These are then combined to describe our architecture, which we are currently in the process of implementing.     

Absorbing-state phase transition for driven-dissipative stochastic dynamics on ℤ

We study the long-time behavior of conservative interacting particle systems in ℤ: the activated random walk model for reaction-diffusion systems and the stochastic sandpile. We prove that both systems undergo an absorbing-state phase transition.     

On Asymptotic Properties of Solutions to Weakly Nonlinear Systems in the Neighborhood of a Singular Point

In this paper, we consider the class of so-called weakly hyperbolic linear systems, which includes correct and hyperbolic (exponentially-dichotomous) systems. We prove new results generalizing related classical theorems on the conditional stability of solutions. We establish the existence of stable manifolds consisting of points corresponding to the solutions of such systems with negative Lyapunov exponents. We study the behavior of solutions starting outside the stable manifold. The technique used in our paper is similar to that in the theory of hyperbolic systems.     

Stabilization of irregular systems

We consider the stabilization problem for the zero equilibrium of bilinear and affine systems in canonical form. We obtain necessary and sufficient conditions for the stabilizability of second-order bilinear and affine systems in canonical form and generalize these conditions to the case of simultaneous stabilization of a family of bilinear systems and to nth-order bilinear systems.     

Some results on systems of quasi-variational inclusion problems and systems of generalized quasi-variational inclusion problems

In this paper, we study systems of quasi-variational inclusion problem and systems of quasi-variational disclusion problem. From the existence theorems of solution for these two types of problems, we study various types of systems of quasi-variational inclusion problems, systems of quasi-equilibrium problems, systems of quasi-KKM theorem, abstract economics and system of KKM theorem. We also show their equivalent relations. We study further existence theorems of solution for generalized quasi-variational inclusion problem. Our results are different from any existence result in the literature.     

Variational approach to homoclinic orbits in twist maps and an application to billiard systems

We study in this article the topological entropy of billiard systems on a convex domain of the Euclidean plane. We restrict our attention to those systems whose boundary curve has positive curvature and show that for generic billiard ball systems satisfying this condition the topological entropy is positive.     

Positive and Monotone Systems in a Partially Ordered Space

We investigate properties of positive and monotone differential systems with respect to a given cone in the phase space. We formulate criteria for the stability of linear positive systems in terms of monotonically invertible operators and develop methods for the comparison of systems in a partially ordered space.     

Polling systems with multiple coupled servers

We consider polling systems with multiple coupled servers. We explore the class of systems that allow an exact analysis. For these systems we present distributional results for the waiting time, the marginal queue length, and the joint queue length at polling epochs. The class in question includes several single-queue systems with a varying number of servers, two-queue two-server systems with exhaustive service and exponential service times, as well as infinite-server systems with an arbitrary number of queues, exhaustive or gated service, and deterministic service times.     

Shadowing, entropy and minimal subsystems

We consider non-wandering dynamical systems having the shadowing property, mainly in the presence of sensitivity or transitivity, and investigate how closely such systems resemble the shift dynamical system in the richness of various types of minimal subsystems. In our excavation, we do discover regularly recurrent points, sensitive almost 1-1 extensions of odometers, minimal systems with positive topological entropy, etc. We also show that transitive semi-distal systems with shadowing are in fact minimal equicontinuous systems (hence with zero entropy) and, in contrast to systems with shadowing, the entropy points do not have to be densely distributed in transitive systems.