A homogeneity property of a class of discrete-time systems

International audienceIn this paper we study a dynamic property of a class of discrete-time systems. Such a property, that we call discrete-homogeneity, is verifiable algebraically in the transition map of the system. Discrete-homogeneity allows to establish stability features of the system by considering only the discrete-homogeneity degree. Such stability properties are studied by means of Lyapunov and Lyapunov-like functions

A behavioral framework for compositionality: linear systems, discrete event systems and hybrid systems

In this paper we formulate a general framework based on the behavioral approach to dynamical systems, in which various issues regarding interconnection of systems can be addressed. The main part of the framework is that interconnections or compositions of systems can be modelled with interconnection of behaviors and generalized projection operations. Control problems such as supervisory control problem or feedback control problem can be expressed in terms of behavioral interconnection, and therefore can be put into this framework. In the paper we discuss some variants of control problems and provide solutions to them

Quantum cellular automata and free quantum field theory

In a series of recent papers it has been shown how free quantum field theory can be derived without using mechanical primitives (including space-time, special relativity, quantization rules, etc.), but only considering the easiest quantum algorithm encompassing a countable set of quantum systems whose network of interactions satisfies the simple principles of unitarity, homogeneity, locality, and isotropy. This has opened the route to extending the axiomatic information-theoretic derivation of the quantum theory of abstract systems to include quantum field theory. The inherent discrete nature of the informational axiomatization leads to an extension of quantum field theory to a quantum cellular automata theory, where the usual field theory is recovered in a regime where the discrete structure of the automata cannot be probed. A simple heuristic argument sets the scale of discreteness to the Planck scale, and the customary physical regime where discreteness is not visible is the relativistic one of small wavevectors. In this paper we provide a thorough derivation from principles that in the most general case the graph of the quantum cellular automaton is the Cayley graph of a finitely presented group, and showing how for the case corresponding to Euclidean emergent space (where the group resorts to an Abelian one) the automata leads to Weyl, Dirac and Maxwell field dynamics in the relativistic limit. We conclude with some perspectives towards the more general scenario of non-linear automata for interacting quantum field theory.Comment: 10 pages, 2 figures, revtex style. arXiv admin note: substantial text overlap with arXiv:1601.0483

Average balance equations, scale dependence, and energy cascade for granular materials

A new averaging method linking discrete to continuum variables of granular materials is developed and used to derive average balance equations. Its novelty lies in the choice of the decomposition between mean values and fluctuations of properties which takes into account the effect of gradients. Thanks to a local homogeneity hypothesis, whose validity is discussed, simplified balance equations are obtained. This original approach solves the problem of dependence of some variables on the size of the averaging domain obtained in previous approaches which can lead to huge relative errors (several hundred percentages). It also clearly separates affine and nonaffine fields in the balance equations. The resulting energy cascade picture is discussed, with a particular focus on unidirectional steady and fully developed flows for which it appears that the contact terms are dissipated locally unlike the kinetic terms which contribute to a nonlocal balance. Application of the method is demonstrated in the determination of the macroscopic properties such as volume fraction, velocity, stress, and energy of a simple shear flow, where the discrete results are generated by means of discrete particle simulation.Comment: Accepted forpublication in Physical Review

The Isotropy of Compact Universes

We discuss the problem of the stability of the isotropy of the universe in the space of ever-expanding spatially homogeneous universes with a compact spatial topology. The anisotropic modes which prevent isotropy being asymptotically stable in Bianchi-type $VII_h$ universes with non-compact topologies are excluded by topological compactness. Bianchi type $V$ and type $VII_h$ universes with compact topologies must be exactly isotropic. In the flat case we calculate the dynamical degrees of freedom of Bianchi-type $I$ and $VII_0$ universes with compact 3-spaces and show that type $VII_0$ solutions are more general than type $I$ solutions for systems with perfect fluid, although the type $I$ models are more general than type $VII_0$ in the vacuum case. For particular topologies the 4-velocity of any perfect fluid is required to be non-tilted. Various consequences for the problems of the isotropy, homogeneity, and flatness of the universe are discussed.Comment: 22 pages in LaTeX2e with the amsmath packag

Error-constrained filtering for a class of nonlinear time-varying delay systems with non-gaussian noises

Copyright [2010] IEEE. This material is posted here with permission of the IEEE. Such permission of the IEEE does not in any way imply IEEE endorsement of any of Brunel University's products or services. Internal or personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution must be obtained from the IEEE by writing to [email protected]. By choosing to view this document, you agree to all provisions of the copyright laws protecting it.In this technical note, the quadratic error-constrained filtering problem is formulated and investigated for discrete time-varying nonlinear systems with state delays and non-Gaussian noises. Both the Lipschitz-like and ellipsoid-bounded nonlinearities are considered. The non-Gaussian noises are assumed to be unknown, bounded, and confined to specified ellipsoidal sets. The aim of the addressed filtering problem is to develop a recursive algorithm based on the semi-definite programme method such that, for the admissible time-delays, nonlinear parameters and external bounded noise disturbances, the quadratic estimation error is not more than a certain optimized upper bound at every time step. The filter parameters are characterized in terms of the solution to a convex optimization problem that can be easily solved by using the semi-definite programme method. A simulation example is exploited to illustrate the effectiveness of the proposed design procedures.This work was supported in part by the Leverhulme Trust of the U.K., the Engineering and Physical Sciences Research Council (EPSRC) of the U.K. under Grant GR/S27658/01, the Royal Society of the U.K., the National Natural Science Foundation of China under Grant 61028008 and Grant 61074016, the Shanghai Natural Science Foundation of China under Grant 10ZR1421200, and the Alexander von Humboldt Foundation of Germany. Recommended by Associate Editor E. Fabre