Sciweavers

118 search results - page 11 / 24
» Hierarchical agent control: a framework for defining agent b...
Sort
View
ACOM
2004
Springer
13 years 11 months ago
A Model of Rational Agency for Communicating Agents
The Cognitive Agent Specification Language (CASL) is a framework for specifying and verifying complex communicating multiagent systems. In this paper, we develop an extended versi...
Shakil M. Khan, Yves Lespérance
ICSE
2009
IEEE-ACM
14 years 8 months ago
Analyzing critical process models through behavior model synthesis
Process models capture tasks performed by agents together with their control flow. Building and analyzing such models is important but difficult in certain areas such as safety-cr...
Christophe Damas, Bernard Lambeau, Francois Roucou...
CDC
2010
IEEE
114views Control Systems» more  CDC 2010»
13 years 2 months ago
Sufficient conditions for flocking via graph robustness analysis
In this paper, we consider a multi-agent system consisting of mobile agents with second-order dynamics. The communication network is determined by a standard interaction rule based...
Samuel Martin, Antoine Girard
AROBOTS
2004
127views more  AROBOTS 2004»
13 years 7 months ago
Distributed, Physics-Based Control of Swarms of Vehicles
We introduce a framework, called "physicomimetics," that provides distributed control of large collections of mobile physical agents in sensor networks. The agents sense...
William M. Spears, Diana F. Spears, Jerry C. Haman...
PRICAI
2000
Springer
13 years 11 months ago
Unified Criterion of State Generalization for Reactive Autonomous Agents
Autonomous state generalization problem is a key issue in the research field of behavior learning of reactive agents, and many approaches have been proposed in recent years. Howeve...
Takehisa Yairi, Koichi Hori, Shinichi Nakasuka