Performance modeling of automated manufacturing systems
Performance modeling of automated manufacturing systems
Distributed problem solving and planning
Multiagent systems
ConGolog, a concurrent programming language based on the situation calculus
Artificial Intelligence
Object coloured Petri nets - a formal technique for object oriented modelling
Concurrent object-oriented programming and petri nets
Knowlege in action: logical foundations for specifying and implementing dynamical systems
Knowlege in action: logical foundations for specifying and implementing dynamical systems
Modeling and verifying multi-agent behaviors using predicate/transition nets
SEKE '02 Proceedings of the 14th international conference on Software engineering and knowledge engineering
Principled Communication for Dynamic Multi-robot Task Allocation
ISER '00 Experimental Robotics VII
Using Colored Petri Nets for Conversation Modeling
Issues in Agent Communication
COLBERT: A Language for Reactive Control in Sapphira
KI '97 Proceedings of the 21st Annual German Conference on Artificial Intelligence: Advances in Artificial Intelligence
Planning with Sensing for a Mobile Robot
ECP '97 Proceedings of the 4th European Conference on Planning: Recent Advances in AI Planning
Artificial Intelligence: A Modern Approach
Artificial Intelligence: A Modern Approach
Adaptive execution in complex dynamic worlds
Adaptive execution in complex dynamic worlds
Distributed Coordination in Heterogeneous Multi-Robot Systems
Autonomous Robots
Probabilistic Robotics (Intelligent Robotics and Autonomous Agents)
Probabilistic Robotics (Intelligent Robotics and Autonomous Agents)
Petri Net-Based Cooperation In Multi-Agent Systems
CRV '07 Proceedings of the Fourth Canadian Conference on Computer and Robot Vision
Multi-objective exploration and search for autonomous rescue robots: Research Articles
Journal of Field Robotics
Coordinated Team Play in the Four-Legged RoboCup League
ICTAI '07 Proceedings of the 19th IEEE International Conference on Tools with Artificial Intelligence - Volume 01
Petri net plans: a formal model for representation and execution of multi-robot plans
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 1
A robotic soccer passing task using petri net plans
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems: demo papers
First principles planning in BDI systems
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
Flexible teamwork in behavior-based robots
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 1
Representing conversations for scalable overhearing
Journal of Artificial Intelligence Research
Journal of Artificial Intelligence Research
STRIPS: a new approach to the application of theorem proving to problem solving
IJCAI'71 Proceedings of the 2nd international joint conference on Artificial intelligence
ProMAS'06 Proceedings of the 4th international conference on Programming multi-agent systems
AAAI'92 Proceedings of the tenth national conference on Artificial intelligence
The frame problem and knowledge-producing actions
AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence
Temporal-Logic-Based Reactive Mission and Motion Planning
IEEE Transactions on Robotics
Supervisory control of mobile sensor networks: math formulation, simulation, and implementation
IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics
Coordinated execution of tasks in a multiagent environment
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
Model-driven behavior specification for robotic teams
Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems - Volume 1
Quantitative and qualitative coordination for multi-robot systems
AICI'12 Proceedings of the 4th international conference on Artificial Intelligence and Computational Intelligence
Hi-index | 0.00 |
Programming the behavior of multi-robot systems is a challenging task which has a key role in developing effective systems in many application domains. In this paper, we present Petri Net Plans (PNPs), a language based on Petri Nets (PNs), which allows for intuitive and effective robot and multi-robot behavior design. PNPs are very expressive and support a rich set of features that are critical to develop robotic applications, including sensing, interrupts and concurrency. As a central feature, PNPs allow for a formal analysis of plans based on standard PN tools. Moreover, PNPs are suitable for modeling multi-robot systems and the developed behaviors can be executed in a distributed setting, while preserving the properties of the modeled system. PNPs have been deployed in several robotic platforms in different application domains. In this paper, we report three case studies, which address complex single robot plans, coordination and collaboration.