ω-automaton

About: ω-automaton is a research topic. Over the lifetime, 2299 publications have been published within this topic receiving 68468 citations. The topic is also known as: stream automaton & ω-automata.

Optimal metric planning with state sets in automata representation

Abstract: This paper proposes an optimal approach to infinite-state action planning exploiting automata theory. State sets and actions are characterized by Presburger formulas and represented using minimized finite state machines. The exploration that contributes to the planning via model checking paradigm applies symbolic images in order to compute the deterministic finite automaton for the sets of successors. A large fraction of metric planning problems can be translated into Presburger arithmetic, while derived predicates are simply compiled away. We further propose three algorithms for computing optimal plans; one for uniform action costs, one for the additive cost model, and one for linear plan metrics. Furthermore, an extension for infinite state sets is discussed.

2D elementary cellular automata with four neighbors

Abstract: This paper is focused on the study of square boolean synchronous four-neighbor peripheral cellular automata. It is first shown that, due to conjugation and plane reflection symmetry transformations, the number of dynamically nonequivalent such automata is equal to 4856. The cellular automata for which the homogeneous final states play a significant role are then identified. Finally, it is shown that, contrary to what happens in the case of one-dimensional boolean three-neighbor cellular automata, for some peripheral automata, there is coexistence between a homogeneous final state and other dynamics.

Finite automata with imperfect information as classification tools

Abstract: The concepts of finite automata with imperfect information and finite automata as classification tools are main objectives of this study. These concepts stemming form the theory of finite automata are introduced here to support original ideas for intelligent data processing. The new definition of finite automata with imperfect information generalizes classical definitions of finite automata (deterministic and nondeterministic) and fuzzy automata. It leads to models with different kinds of information imperfectness. The idea usage of using finite automata in classification problems stems from ways of accepting input data. The idea is powerful when tied to finite automata with imperfect information, which is outlined in a case study of classification of a certain type of time series. This case study identifies also some interesting directions of further development of the newly introduced concepts.

Analysis of Communicating Infinite State Machines using Lattice Automata

Abstract: Communication protocols can be formally described by the Communicating Finite-State Machines~(CFSM) model. This model is expressive, but not expressive enough to deal with complex protocols that involve structured messages encapsulating integers or lists of integers. This is the reason why we propose an extension of this model : the Symbolic Communicating Machines (SCM). We also propose an approximate reachability analysis method, based on lattice automata. Lattice automata are finite automata, the transitions of which are labeled with elements of an atomic lattice. We tackle the problem of the determinization as well as the definition of a widening operator for these automata. We also show that lattice automata are useful for the interprocedural analysis.