3482 search results - page 275 / 697 » Cooperative Assembly Systems |
187
click to vote
IJMTM
2006
15 years 7 months ago
2006
: Today, industry is confronted with a fast changing market. Customers demand a high-quality, low price and tailored product. This requires flexible manufacturing systems. At K.U. ...
223
click to vote
AUTOMATICA
2011
15 years 2 months ago
2011
It is shown that, for any time-invariant exponentially stable linear system with additive disturbances, time-varying exponentially stable interval observers can be constructed. Th...
325
click to vote
CADE
2007
Springer
16 years 7 months ago
2007
Springer
We show how theorem proving and methods for handling real algebraic constraints can be combined for hybrid system verification. In particular, we highlight the interaction of deduc...
174
click to vote
SEFM
2009
IEEE
16 years 2 months ago
2009
IEEE
—This paper addresses the issue of guaranteeing the correctness of fault diagnosis mechanisms in multi-agent systems. We propose an automated approach to verifying the property o...
197
click to vote
ESAW
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. Cooperative, autonomous and distributed properties of multiagent systems deduce the dynamic capabilities of multi-agent system applications. On the other hand, these suit...