Sciweavers

813 search results - page 16 / 163
» Correctness Properties for Multiagent Systems
Sort
View
AAAI
2006
15 years 5 months ago
Behaviosites: Manipulation of Multiagent System Behavior through Parasitic Infection
In this paper we present the Behaviosite Paradigm, a new approach to coordination and control of distributed agents in a multiagent system, inspired by biological parasites with b...
Amit Shabtay, Zinovi Rabinovich, Jeffrey S. Rosens...
IAT
2007
IEEE
15 years 10 months ago
Design and Evaluation of a Multiagent Autonomic Information System
The goal of an autonomic system is to self-manage itself and adjust its actions in the face of environmental changes. In this paper, we adopt a multiagent approach to developing a...
Walamitien H. Oyenan, Scott A. DeLoach
CDC
2008
IEEE
15 years 11 months ago
Controllability and observability of leader-based multi-agent systems
— In this work we analyze the controllability and observability properties of several interconnection configurations such as the chain topology and cyclic topology as well as co...
Rogelio Lozano, Mark W. Spong, Jose Alfredo Guerre...
BIRTHDAY
2008
Springer
15 years 6 months ago
Temporal Verification of Probabilistic Multi-Agent Systems
Abstract. Probabilistic systems of interacting intelligent agents are considered. They have two sources of uncertainty: uncertainty of communication channels and uncertainty of act...
Michael I. Dekhtyar, Alexander Ja. Dikovsky, Mars ...
SCP
2010
172views more  SCP 2010»
15 years 2 months ago
Alternating-time stream logic for multi-agent systems
Constraint automata have been introduced to provide a compositional, operational semantics for the exogenous coordination language Reo, but they can also serve interface specifica...
Sascha Klüppelholz, Christel Baier