Discrete-event system abstractions for on-line logical and real-time hierarchical control by Ngo, Quang Ha

“…The problem is addressed by formulating, for a reference output set, a new abstraction concept for output control feasibility of a DES modeled by a Moore automaton, and a system decomposition of a Moore automaton with a natural output control structure into a controllable subsystem and an uncontrollable subsystem. …”
Get full text

Communications in cellular automata by Guillaume Theyssier, Ivan Rapaport, Eric Goles, Pierre-Etienne Meunier

“…Our work is guided by the following idea: if we are able to give a protocol describing a cellular automaton, then we can understand its behavior.…”
Get full text

A coalgebraic take on regular and $\omega$-regular behaviours by Tomasz Brengos

“…The second part of the paper focuses on presenting the concepts of a (coalgebraic) automaton and its ($\omega$-) behaviour. We end the paper with coalgebraic Kleene-type theorems for ($\omega$-) regular input. …”
Get full text

Quasitriangular Structure of Myhill–Nerode Bialgebras by Robert G. Underwood

“…In computer science the Myhill–Nerode  Theorem states that a set L of words in a finite alphabet is accepted by a finite automaton if and only if the equivalence relation ∼L, defined  as x ∼L  y if and only if xz ∈ L exactly when yz ∈ L, ∀z, has finite index. …”
Get full text

Irreducible compositions of degree two polynomials over finite fields have regular structure by Ferraguti, A, Micheli, G, Schnyder, R

“…In this paper we prove that D has a natural regular structure by showing that there exists a finite automaton having D as accepted language. Our method is constructive.…”

Transformations Between Different Types of Unranked Bottom-Up Tree Automata by Xiaoxue Piao, Kai Salomaa

“…The bottom-up computation of an unranked tree automaton may be either deterministic or nondeterministic, and further variants arise depending on whether the horizontal string languages defining the transitions are represented by a DFA or an NFA. …”
Get full text

A minimalist model of characteristic earthquakes by M. Vázquez-Prada, Á. González, J. B. Gómez, A. F. Pacheco

“…In a spirit akin to the sandpile model of self-organized criticality, we present a simple statistical model of the cellular-automaton type which simulates the role of an asperity in the dynamics of a one-dimensional fault. …”
Get full text

An Event Based Semantics of P Systems by G.M. Pinna, A. Saba

“…In this paper we propose a translation of membrane system into zero safe nets and then we show how to associate an event automaton to the 1-unfolding of these nets. Thus we propose an event based view of computations of a membrane system.…”
Get full text

Spatial fire modeling in Mkuze Game Reserve: A case study* by S.G. Berjak, J.W. Hearne

“…In this paper we evaluate a cellular automaton model for fire spread in terms of this objective using empirical data for two case studies in Mkuze Game Reserve. …”
Get full text

Cancer disease: integrative modelling approaches by Byrne, H, Owen, M, Alarcon, T, Maini, P

“…The model is formulated as a hybrid cellular automaton and contains submodels that describe subcellular, cellular and tissue level features. …”

Cancer disease: Integrative modelling approaches by Byrne, H, Owen, MR, Alarcon, T, Maini, P, IEEE

“…The model is formulated as a hybrid cellular automaton and contains submodels that describe subcellular, cellular and tissue level features. …”

Spiral wave generation in heterogeneous excitable media. by Bub, G, Shrier, A, Glass, L

“…These results are modeled in a heterogeneous cellular automaton model in which the neighborhood of interaction is modified.…”

Polynomial automata: zeroness and applications by Benedikt, M, Duff, T, Sharad, A, Worrell, J

“…We introduce a generalisation of weighted automata over a field, called polynomial automata, and we analyse the complexity of the Zeroness Problem in this model, that is, whether a given automaton outputs zero on all words. While this problem is non-primitive recursive in general, we highlight a subclass of polynomial automata for which the Zeroness Problem is primitive recursive. …”

Robust hybrid control for autonomous vehicle motion planning by Frazzoli, Emilio, 1970-

Get full text

Biological interactions between cell populations in heterogeneous tumour spheroids by Paczkowski, M

“…Our third piece of work involves the development of a cellular automaton model of avascular tumour growth to allow for spatial variation within the tumour. …”

Finite Automata with Generalized Acceptance Criteria by Timo Peichl, Heribert Vollmer

“…We examine the power of nondeterministic finite automata with acceptance of an input word defined by a leaf language, i.e., a condition on the sequence of leaves in the automaton's computation tree. We study leaf languages either taken from one of the classes of the Chomsky hierarchy, or taken from a time- or space-bounded complexity class. …”
Get full text

Antichains for the Automata-Based Approach to Model-Checking by Laurent Doyen, Jean-Francois Raskin

“…We evaluate the performance of the algorithm to check the universality of Buechi automata using the random automaton model recently proposed by Tabakov and Vardi. …”
Get full text

Social movements, relative deprivation and cellular automata by Juan P. Tobar L

“…Additionally, a cellular automaton is employed to evaluate how the RDI turns into future satisfied, indifferent, and dissatisfied citizens. …”
Get full text

Un automate cellulaire pour expérimenter les effets de la proximité dans le processus d’étalement urbain : le modèle Raumulus by Diego Moreno, Dominique Badariotti, Arnaud Banos

“…In this article, a cellular automaton model is proposed to analyze the effect of different kinds of proximity in urban growth process. …”
Get full text

Prolific Compositions by Murray Tannock, Michael Albert

“…For each pattern, there is an easily constructed automaton that recognises prolific compositions for that pattern. …”
Get full text