This paper describes the experience and the results of using agent-based component patterns for developing mobile robots. The work is based on the open source ICARO-T framework, which provides four categories of compo...
详细信息
ISBN:
(纸本)9783642123832
This paper describes the experience and the results of using agent-based component patterns for developing mobile robots. The work is based on the open source ICARO-T framework, which provides four categories of component patterns: agent organization pattern to describe the overall architecture of the system, cognitive and reactive agent patterns to model agent behavior, and resource patterns to encapsulate computing entities providing services to agents. The experimental setting is based on the development of a team of cooperating robots for achieving surveillance tasks. The approached development, illustrated with working examples of the utilization of the patterns, is detailed.
This paper describes the experience and the results of using agent-based component patterns for developing mobile robots. The work is based on the open source ICARO-T framework, which provides four categories of compo...
详细信息
ISBN:
(纸本)9789896740221
This paper describes the experience and the results of using agent-based component patterns for developing mobile robots. The work is based on the open source ICARO-T framework, which provides four categories of component patterns: agent organization pattern to describe the overall architecture of the system, cognitive and reactive agent patterns to model agent behaviour, and resource patterns to encapsulate computing entities providing services to agents. The experimental setting is based on the development of a team of cooperating robots for achieving surveillance tasks.
There is an increasing number of agent-oriented programming languages that have working interpreters and platforms, with significant progress in the quality of such platforms over the last few years. With these platfo...
详细信息
ISBN:
(纸本)9780981738123
There is an increasing number of agent-oriented programming languages that have working interpreters and platforms, with significant progress in the quality of such platforms over the last few years. With these platforms becoming more popular, and multi-agent systems being increasingly used for safety-critical applications, the need for verification techniques that apply to systems written in such languages is proportionally intensified. Building on our previous work on model checking for a particular agent-orientedprogramming language, we have developed a new approach whereby model checking techniques can be used directly on a variety of such languages. The approach also supports the verification of multi-agent systems where individual agents have been programmed in different agentlanguages.
暂无评论