Specification and execution of multiagent missions

@article{MacKenzie1995SpecificationAE,
  title={Specification and execution of multiagent missions},
  author={D. MacKenzie and J. Cameron and R. Arkin},
  journal={Proceedings 1995 IEEE/RSJ International Conference on Intelligent Robots and Systems. Human Robot Interaction and Cooperative Robots},
  year={1995},
  volume={3},
  pages={51-58 vol.3}
}
  • D. MacKenzie, J. Cameron, R. Arkin
  • Published 1995
  • Engineering, Computer Science
  • Proceedings 1995 IEEE/RSJ International Conference on Intelligent Robots and Systems. Human Robot Interaction and Cooperative Robots
Specifying a multiagent behavioral configuration requires both a careful choice of the behavior set and creation of a temporal chain executing the mission using those behaviors. This difficult task is simplified by applying an object-oriented approach to the design using a methodology called temporal sequencing to partition the mission into discrete operating states and enumerate the perceptual triggers causing transitions between those states. Several smaller independent configurations… Expand
Flexible reactive control for multi-agent robotic systems in hostile environments
Abstract : The goals of this research are to produce intelligent, flexible, reactive behaviors and methods for specifying and communicating information between multiagent teams. In particular we haveExpand
Behavioral programming with hierarchy and parallelism in the DARPA urban challenge and robocup
TLDR
By combining hierarchy with parallelism the authors present an approach to behavior design that balances complexity and scalability with the practical demands of developing behavioral systems for use in the real-world. Expand
Behavioral programming with hierarchy and parallelism in the DARPA urban challenge and robocup
  • Jesse G. Hurdus, D. Hong
  • Computer Science
  • 2008 IEEE International Conference on Multisensor Fusion and Integration for Intelligent Systems
  • 2008
TLDR
By combining hierarchy with parallelism the authors present an approach to behavior design that balances complexity and scalability with the practical demands of developing behavioral systems for use in the real-world. Expand
Motor Schema-Based Formation Control for Multiagent Robot Teams
New reactive behaviors that implement formations in multi-robot teams are presented and evaluated. These motor schemas, or primitive behaviors, for relative positional maintenance are integrated withExpand
Property specification patterns for robotic missions
TLDR
This work presents a catalog of mission specification patterns for mobile robots that support researchers working on tool support and techniques to synthesize and verify mission specifications, and language designers creating rich domain-specific languages for mobile Robots, incorporating the patterns as language concepts. Expand
Implementing efficient joint beliefs on multi-robot teams
In this report, I investigate the problem of coordinating multiple robots in a cooperative team activity. Many different approaches have been suggested for team coordination, ranging from swarmExpand
Poster: Property Specification Patterns for Robotic Missions
TLDR
This work presents a catalog of mission specification patterns that support researchers working on tool support and techniques to synthesize and verify mission specifications, and language designers creating rich domain-specific languages for mobile robots, incorporating the authors' patterns as language concepts. Expand
Analysis and prediction of the behavior of one class of multiple foraging robots with the help of stochastic Petri nets
  • P. Rongier, A. Liégeois
  • Computer Science
  • IEEE SMC'99 Conference Proceedings. 1999 IEEE International Conference on Systems, Man, and Cybernetics (Cat. No.99CH37028)
  • 1999
TLDR
The paper proposes to model such systems by the stochastic Petri nets formalism by using the powerful tools of Markov chains analysis for computing quickly the evolution of the states of the multi-agent system and of the environment. Expand
Modeling and Execution of Coordinated Missions in Reconfigurable Robot Ensembles
TLDR
This paper presents the Block Definition Language (BDL) for modeling and executing UAV missions, and demonstrates the plugin mechanism in a proof of concept using the BDL in conjunction with the robotic middleware ROS for hardware control and robot synchronization. Expand
Software for specification and monitoring of mobile robots missions
The need of a software used for a mission control and maintenance of a group of robots increases with the expansion of mobile robotics applications. This paper discusses requirements for a softwareExpand
...
1
2
3
4
5
...

References

SHOWING 1-10 OF 30 REFERENCES
A Multivalued Logic Approach to Integrating Planning and Control
TLDR
An approach for integrating planning and control based on behavior schemas, which link physical movements to abstract action descriptions, is proposed, which provides the key to using standard knowledge-based deliberation techniques to generate complex controllers. Expand
Representing and analyzing action plans as networks of concurrent processes
  • D. Lyons
  • Computer Science
  • IEEE Trans. Robotics Autom.
  • 1993
TLDR
A concurrent-process based representation is developed which represents both the plan and the uncertain and dynamic environment in which the plan operates and a methodology for analyzing the behavior of this interacting system of plan and world. Expand
Robot Behavior Conflicts: Can Intelligence Be Modularized?
TLDR
It is shown how removing conflicts results in less flexible and less useful behaviour modules and the probability of conflict is greater for more powerful behaviour systems, which means purely reactive systems are limited by cyclic behaviours in the complexity of tasks they can perform. Expand
Communication in reactive multiagent robotic systems
TLDR
The importance of communication in robotic societies is investigated through experiments on both simulated and real robots, finding that in cases where communication helps, the lowest level of communication is almost as effective as the more complex type. Expand
A formal model of computation for sensory-based robotics
TLDR
A special model of computation is constructed, called RS (robot schemas), with properties designed to facilitate sensory-based robot programming, and offers the potential to construct robot task representations which are easy to use and concise, and which execute in an efficient manner. Expand
Formal specification for behavior-based mobile robots
This paper presents formalisms for describing societies of cooperating behavior-based mobile robots, including the coordination between members of homogeneous teams, members of heterogeneous castes,Expand
Temporal coordination of perceptual algorithms for mobile robot navigation
A methodology for integrating multiple perceptual algorithms within a reactive robotic control system is presented. A model using finite state accepters is developed as a means for expressingExpand
Communication of behavorial state in multi-agent retrieval tasks
TLDR
The impact on performance of a society of robots in a foraging task when simple communication is introduced is assessed and distance graphs indicate that by adding robots, independent of communication, the task can be accomplished faster. Expand
A robust layered control system for a mobile robot
  • R. Brooks
  • Computer Science, Engineering
  • IEEE J. Robotics Autom.
  • 1986
TLDR
A new architecture for controlling mobile robots is described, building a robust and flexible robot control system that has been used to control a mobile robot wandering around unconstrained laboratory areas and computer machine rooms. Expand
Motor Schema — Based Mobile Robot Navigation
  • R. Arkin
  • Engineering, Computer Science
  • Int. J. Robotics Res.
  • 1989
TLDR
A variant of the potential field method is used to produce the appropriate velocity and steering commands for the robot and demonstrates the feasibility of this approach. Expand
...
1
2
3
...