Sciweavers

896 search results - page 71 / 180
» On completeness of word reversing
Sort
View
98
Voted
AI
2008
Springer
15 years 27 days ago
The measurement of ranks and the laws of iterated contraction
: Ranking theory delivers an account of iterated contraction; each ranking function induces a specific iterated contraction behavior. The paper shows how to reconstruct a ranking f...
Matthias Hild, Wolfgang Spohn
AUTOMATICA
2007
113views more  AUTOMATICA 2007»
15 years 27 days ago
Asymptotic rejection of unknown sinusoidal disturbances in nonlinear systems
This paper deals with global disturbance rejection of nonlinear systems. The disturbance is assumed to be sinusoidal with completely unknown phases, amplitude, and frequencies, bu...
Zhengtao Ding
ENTCS
2006
124views more  ENTCS 2006»
15 years 24 days ago
Formal Conformance Testing of Systems with Refused Inputs and Forbidden Actions
The article introduces an extension of the well-known conformance relation ioco on labeled transition systems (LTS) with refused inputs and forbidden actions. This extension helps...
Igor B. Bourdonov, Alexander Kossatchev, Victor V....
51
Voted
JUCS
2006
68views more  JUCS 2006»
15 years 22 days ago
Time-varying H Systems Revisited
: We cast a new look on time-varying distributed H systems. In their original definition, where only new strings are passed to the next component, this language definition in itsel...
Remco Loos
ENTCS
2002
136views more  ENTCS 2002»
15 years 17 days ago
Final Coalgebras And a Solution Theorem for Arbitrary Endofunctors
Every endofunctor F of Set has an initial algebra and a final coalgebra, but they are classes in general. Consequently, the endofunctor F of the category of classes that F induces...
Jirí Adámek, Stefan Milius, Jiri Vel...