4985 search results - page 4 / 997 » Observation of String-Rewriting Systems |
139
click to vote
SOFSEM
2010
Springer
16 years 1 days ago
2010
Springer
We present a new technique to prove termination of Term Rewriting Systems, with full automation. A crucial task in this context is to find suitable well-founded orderings. A popul...
112
click to vote
SIAMADS
2010
14 years 10 months ago
2010
We study the extent to which properties of infinite-dimensional dynamical systems can be accurately detected by examining observations of such systems. Let H be a separable Hilbert...
114
click to vote
CDC
2010
IEEE
14 years 10 months ago
2010
IEEE
In this paper, the authors investigate the problem of designing an observer for Lipschitz nonlinear systems with discrete time measurements (continuous-discrete time systems). The ...
121
click to vote
CDC
2010
IEEE
14 years 10 months ago
2010
IEEE
This paper investigates the problem of causal observability of the states and unknown inputs of nonlinear time-delay systems. Using the theory of non-commutative rings, the nonline...
127
Voted
SIAMCO
2010
14 years 10 months ago
2010
This work is concerned with identification of Hammerstein systems whose outputs are measured by quantized sensors. The system consists of a memoryless nonlinearity that is polynomi...