Sciweavers

433 search results - page 8 / 87
» On stabilizers of infinite words
Sort
View
ENTCS
2006
125views more  ENTCS 2006»
13 years 8 months ago
Liveness Checking as Safety Checking for Infinite State Spaces
In previous work we have developed a syntactic reduction of repeated reachability to reachability for finite state systems. This may lead to simpler and more uniform proofs for mo...
Viktor Schuppan, Armin Biere
ITA
2008
165views Communications» more  ITA 2008»
13 years 7 months ago
Dejean's conjecture and letter frequency
We prove two cases of a strong version of Dejean's conjecture involving extremal letter frequencies. The results are that there exist an infinite " 5 4 + " -free wor...
Jérémie Chalopin, Pascal Ochem
TCS
2008
13 years 7 months ago
On different generalizations of episturmian words
In this paper we study some classes of infinite words generalizing episturmian words, and analyse the relations occurring among such classes. In each case, the reversal operator R...
Michelangelo Bucci, Aldo de Luca, Alessandro De Lu...
CORR
2008
Springer
97views Education» more  CORR 2008»
13 years 8 months ago
Directive words of episturmian words: equivalences and normalization
Episturmian morphisms constitute a powerful tool to study episturmian words. Indeed, any episturmian word can be infinitely decomposed over the set of pure episturmian morphisms. ...
Amy Glen, Florence Levé, Gwénaë...
JCP
2007
111views more  JCP 2007»
13 years 7 months ago
Direct Method for Transient Stability Assessment of a Power System with a SSSC
—This paper proposes the energy function of a power system with a Static Synchronous Series Compensator (SSSC). They make it possible for the direct method to acquire the transie...
Prechanon Kumkratug, Panthep Laohachai