Sciweavers

433 search results - page 20 / 87
» On stabilizers of infinite words
Sort
View
ITA
2000
13 years 7 months ago
On a paper by Castelli, Mignosi, Restivo
Fine and Wilf's theorem has recently been extended to words having three periods. Following the method of the authors we extend it to an arbitrary number of periods and deduce...
Jacques Justin
CORR
2008
Springer
61views Education» more  CORR 2008»
13 years 8 months ago
Rich, Sturmian, and trapezoidal words
In this paper we explore various interconnections between rich words, Sturmian words, and trapezoidal words. Rich words, first introduced by the second and third authors together w...
Aldo de Luca, Amy Glen, Luca Q. Zamboni
CSL
2010
Springer
13 years 9 months ago
Automata vs. Logics on Data Words
Abstract. The relationship between automata and logics has been investigated since the 1960s. In particular, it was shown how to determine, given an automaton, whether or not it is...
Michael Benedikt, Clemens Ley, Gabriele Puppis
FUIN
2008
99views more  FUIN 2008»
13 years 8 months ago
Universality Analysis for One-Clock Timed Automata
This paper is concerned with the universality problem for timed automata: given a timed automaton A, does A accept all timed words? Alur and Dill have shown that the universality p...
Parosh Aziz Abdulla, Johann Deneux, Joël Ouak...
IJCNN
2006
IEEE
14 years 1 months ago
Bacteria Foraging: A New Tool for Simultaneous Robust Design of UPFC Controllers
—Robust tuning of lead-lag type controller used for regulating FACTS control signal to improve dynamic stability has been an area of interest in research. This paper presents a n...
M. Tripathy, Sukumar Mishra, Ganesh K. Venayagamoo...