Sciweavers

639 search results - page 56 / 128
» A Finite State Mobile Agent Computation Model
Sort
View
ASM
2005
ASM
15 years 5 months ago
Verifying Security Protocols: An ASM Approach
In this paper we present a modeling technique for security protocols using Abstract State Machines [BS03,Gur95] (ASMs). We describe how we model the different agents in the scenar...
Dominik Haneberg, Holger Grandy, Wolfgang Reif, Ge...
GI
2007
Springer
15 years 6 months ago
A Discrete Event Simulation Framework for Agent-Based Modelling of Logistic Systems
: Agent-based simulation can be viewed as methodical advancement and generalization of microscopic modelling styles in object-oriented and discrete event simulation well suited for...
Bernd Page, Nicolas Knaak, A. Kruse
JIRS
2008
100views more  JIRS 2008»
14 years 11 months ago
Model-based Predictive Control of Hybrid Systems: A Probabilistic Neural-network Approach to Real-time Control
Abstract This paper proposes an approach for reducing the computational complexity of a model-predictive-control strategy for discrete-time hybrid systems with discrete inputs only...
Bostjan Potocnik, Gasper Music, Igor Skrjanc, Boru...
ATAL
2008
Springer
15 years 1 months ago
Modeling how humans reason about others with partial information
Computer agents participate in many collaborative and competitive multiagent domains in which humans make decisions. For computer agents to interact successfully with people in su...
Sevan G. Ficici, Avi Pfeffer
AGENTS
2001
Springer
15 years 4 months ago
Using rat navigation models to learn orientation from visual input on a mobile robot
Rodents possess extraordinary navigation abilities that are far in excess of what current state-of-the-art robot agents are capable of. This paper describes research that is part ...
Brett Browning