Sciweavers

397 search results - page 42 / 80
» Towards Modeling Other Agents: A Simulation-Based Study
Sort
View
CDC
2009
IEEE
201views Control Systems» more  CDC 2009»
14 years 18 days ago
Consensus of discrete-time multi-agent systems with nonlinear local rules and time-varying delays
In a multi-agent system (MAS), the agents are often considered to be autonomous entities, such as robots or software programs, each under the influence of a local rule, representin...
Yao Chen, Jinhu Lu, Zongli Lin
CORR
2010
Springer
63views Education» more  CORR 2010»
13 years 8 months ago
On Opinion Dynamics in Heterogeneous Networks
This paper studies the opinion dynamics model recently introduced by Hegselmann and Krause: (1) each agent in a group mantains a real number describing its opinion, (2) each agent ...
Anahita Mirtabatabaei, Francesco Bullo
CORR
2010
Springer
157views Education» more  CORR 2010»
13 years 8 months ago
Deriving Specifications of Dependable Systems: toward a Method
Abstract--This paper proposes a method for deriving formal specifications of systems. To accomplish this task we pass through a non trivial number of steps, concepts and tools wher...
Manuel Mazzara
CP
2006
Springer
14 years 15 days ago
Towards an Efficient SAT Encoding for Temporal Reasoning
Abstract. In this paper, we investigate how an IA network can be effectively encoded into the SAT domain. We propose two basic approaches to modelling an IA network as a CSP: one r...
Duc Nghia Pham, John Thornton, Abdul Sattar
INFOCOM
2012
IEEE
11 years 11 months ago
Toward simple criteria to establish capacity scaling laws for wireless networks
Abstract—Capacity scaling laws offer fundamental understanding on the trend of user throughput behavior when the network size increases. Since the seminal work of Gupta and Kumar...
Canming Jiang, Yi Shi, Y. Thomas Hou, Wenjing Lou,...