3680 search results - page 294 / 736 » cases 2010 |
132
click to vote
ATAL
2010
Springer
15 years 7 months ago
2010
Springer
Generally, swarm models and algorithms consider synchronous agents, i.e., they act simultaneously. This hypothesis does not fit multi-agent simulators nor robotic systems. In this...
160
click to vote
ATAL
2010
Springer
15 years 7 months ago
2010
Springer
Information security is vital to many multiagent system applications. In this paper we formalise the notion of detectability of attacks in a MAS setting and analyse its applicabil...
169
click to vote
ATAL
2010
Springer
15 years 7 months ago
2010
Springer
Alternating-time Temporal Logic (ATL) [1] is used to reason about strategic abilities of agents. Aiming at strategies that can realistically be implemented in software, many varia...
134
click to vote
ATVA
2010
Springer
15 years 7 months ago
2010
Springer
In this paper we study the fault codiagnosis problem for discrete event systems given by finite automata (FA) and timed systems given by timed automata (TA). We provide a uniform c...
158
click to vote
CEC
2010
IEEE
15 years 7 months ago
2010
IEEE
In this article we analyze different metaheuristic algorithms applied to wind farm optimization. The basic idea is to utilize CHC (a sort of GA) and Simulated Annealing to obtain a...