English
Related papers

Related papers: Embedding odometers in cellular automata

200 papers

Indoor localization systems often fuse inertial odometry with map information via hand-defined methods to reduce odometry drift, but such methods are sensitive to noise and struggle to generalize across odometry sources. To address the…

Robotics · Computer Science 2022-11-15 Dennis Melamed , Karnik Ram , Vivek Roy , Kris Kitani

Cellular automata are a discrete dynamical system which models massively parallel computation. Much attention is devoted to computations with small time complexity for which the parallelism may provide further possibilities. In this paper,…

Formal Languages and Automata Theory · Computer Science 2012-08-15 Anaël Grandjean , Gaétan Richard , Véronique Terrier

This paper has been withdrawn by the authors due to a mistake in the proof and a corresponding incorrect result. A correct rigorous analysis of a similar model is presented in ``Spiral Model: a cellular automaton with a discontinuous glass…

Statistical Mechanics · Physics 2007-10-29 Cristina Toninelli , Giulio Biroli

We introduce the entropy rate of multidimensional cellular automata. This number is invariant under shift-commuting isomorphisms; as opposed to the entropy of such CA, it is always finite. The invariance property and the finiteness of the…

Dynamical Systems · Mathematics 2012-06-29 François Blanchard , Pierre Tisseur

This paper studies directional dynamics in cellular automata, a formalism previously introduced by the third author. The central idea is to study the dynamical behaviour of a cellular automaton through the conjoint action of its global rule…

Discrete Mathematics · Computer Science 2010-08-23 Martin Delacourt , Victor Poupet , Mathieu Sablik , Guillaume Theyssier

Robots using cellular-like redundant binary actuators could outmatch electric-gearmotor robotic systems in terms of reliability, force-to-weight ratio and cost. This paper presents a robust fault tolerant control scheme that is designed to…

Robotics · Computer Science 2024-07-26 Alexandre Girard , Jean-Sébastien Plante

This paper presents a self-supervised framework for learning to detect robust keypoints for odometry estimation and metric localisation in radar. By embedding a differentiable point-based motion estimator inside our architecture, we learn…

Computer Vision and Pattern Recognition · Computer Science 2020-02-25 Dan Barnes , Ingmar Posner

A simple mathematical expression for the universal map for cellular automata is found in closed form with the help of a digit function, whose most basic properties are established. This result is found after proving a theorem on the…

Cellular Automata and Lattice Gases · Physics 2015-08-03 Vladimir Garcia-Morales

We present an efficient multi-sensor odometry system for mobile platforms that jointly optimizes visual, lidar, and inertial information within a single integrated factor graph. This runs in real-time at full framerate using fixed lag…

Robotics · Computer Science 2021-02-18 David Wisth , Marco Camurri , Sandipan Das , Maurice Fallon

A two-state, three-dimensional, deterministic, reversible cellular automaton is shown to be capable of approximately circular orbits, wavelike undulations, and particle-like configurations that decay in accordance with a half-life law.

Cellular Automata and Lattice Gases · Physics 2012-06-12 Daniel B. Miller , Edward Fredkin

How do cellular automata behave in the limit of a very large number of cells? Is there a continuum limit with simple properties? We attack this problem by mapping certain classes of automata to quantum field theories for which powerful…

Cellular Automata and Lattice Gases · Physics 2022-12-08 C. Wetterich

Let M be a monoid (e.g. the lattice Z^D), and A an abelian group. A^M is then a compact abelian group; a linear cellular automaton (LCA) is a continuous endomorphism F:A^M --> A^M that commutes with all shift maps. Let mu be a (possibly…

Dynamical Systems · Mathematics 2009-09-25 Marcus Pivato , Reem Yassawi

We Propose A Novel Automaton Model which uses Arithmetic Operations as the Evolving Rules, each cell has the states of the Natural Numbers k = (N), a radius of r = 1/2 and operates on an arbitrary input size. The Automaton reads an…

Formal Languages and Automata Theory · Computer Science 2017-05-18 Abdulrhman Elnekiti

Universality in cellular automata theory is a central problem studied and developed from their origins by John von Neumann. In this paper, we present an algorithm where any Turing machine can be converted to one-dimensional cellular…

Cellular Automata and Lattice Gases · Physics 2019-07-10 Sergio J. Martinez , Ivan M. Mendoza , Genaro J. Martinez , Shigeru Ninagawa

In this paper, we investigate the halting problem for deterministic cellula automata in the pentagrid. We prove that the problem is decidable when the cellular automaton starts its computation from a finite configuration and when it has at…

Formal Languages and Automata Theory · Computer Science 2018-12-11 Maurice Margenstern

In this paper we propose a rule-independent description of applications of cellular automata rules for one-dimensional additive cellular automata on cylinders of finite sizes. This description is shown to be a useful tool for for answering…

Dynamical Systems · Mathematics 2007-05-23 Valeriy K. Bulitko

We investigate topological and ergodic properties of cellular automata having equicontinuity points. In this class surjectivity on a transitive SFT implies existence of a dense set of periodic points. Our main result is that under the…

Dynamical Systems · Mathematics 2015-06-26 Francois Blanchard , Pierre Tisseur

This work introduces a new problem, named as, affinity classification problem which is a generalization of the density classification problem. To solve this problem, we introduce temporally stochastic cellular automata where two rules are…

Formal Languages and Automata Theory · Computer Science 2022-07-13 Kamalika Bhattacharjee , Subrata Paul , Sukanta Das

An automata network (AN) is a finite graph where each node holds a state from a finite alphabet and is equipped with a local map defining the evolution of the state of the node depending on its neighbors. They are studied both from the…

Computational Complexity · Computer Science 2022-09-22 Martín Ríos-Wilson , Guillaume Theyssier

Consider an ergodic unimodular random one-ended planar graph $\G$ of finite expected degree. We prove that it has an isometry-invariant locally finite embedding in the Euclidean plane if and only if it is invariantly amenable. By "locally…

Probability · Mathematics 2021-10-27 Itai Benjamini , Adam Timar