1690 search results - page 139 / 338 » Algorithmic Properties of Millstream Systems |
150
click to vote
AUTOMATICA
2007
15 years 4 months ago
2007
An image-based strategy for visual servo control of a class of dynamic systems is proposed. The class of systems considered includes dynamic models of unmanned aerial vehicles cap...
142
click to vote
FORMATS
2008
Springer
15 years 6 months ago
2008
Springer
Verification of partially synchronous distributed systems is difficult because of inherent concurrency and the potentially large state space of the channels. This paper identifies ...
127
click to vote
DEDS
2007
15 years 4 months ago
2007
Decentralized diagnosis of discrete event systems has received a lot of attention to deal with distributed systems or with systems that may be too large to be diagnosed by one cen...
137
click to vote
IJSYSC
2006
15 years 4 months ago
2006
: A backlash compensator is designed for nonlinear systems using the fuzzy logic. The classification property of fuzzy logic systems makes them a natural candidate for the rejectio...
154
click to vote
AAECC
2008
Springer
15 years 4 months ago
2008
Springer
We consider unary term rewriting, i.e., term rewriting with unary signatures where all function symbols are either unary or constants. Terms over such signatures can be transformed...