Please use this identifier to cite or link to this item: https://doi.org/10.1109/RAMECH.2010.5513167
Title: Synchronized task decomposition for two cooperative agents
Authors: Karimadini, M.
Lin, H. 
Keywords: Cooperative control
Multi-agent systems
Task automaton decomposition
Issue Date: 2010
Source: Karimadini, M.,Lin, H. (2010). Synchronized task decomposition for two cooperative agents. 2010 IEEE Conference on Robotics, Automation and Mechatronics, RAM 2010 : 368-373. ScholarBank@NUS Repository. https://doi.org/10.1109/RAMECH.2010.5513167
Abstract: One of the most important issues in top-down cooperative control of multi-agent systems is to decompose the global specification in order to design the local supervisors such that the fulfilment of these sub-specifications by each individual agent, results in the satisfaction of the global specification as a team. Given the global desired behavior, represented as an automaton, and the distribution of its events into local plants, the question is whether it is always possible to decompose the task automaton into a finite number of sub-automata such that the parallel composition of sub-automata is bisimilar to the original task automaton, and if not, what are the necessary and sufficient conditions for such decomposability. It is shown that it is not always possible to do so. We then present the necessary and sufficient conditions for decomposability of a given task automaton such that the parallel composition of these local task automata bisimulates the original task automaton. It is found that the task automaton is decomposable if and only if it satisfies some symmetry properties, representing independence of the order and the choice of private events from different local event sets, and some properties on the interleaving of strings that share the same first appearing common event. This result will help to design the local controllers from the global logical specification, to be used in the top-down cooperative control of distributed systems. ©2010 IEEE.
Source Title: 2010 IEEE Conference on Robotics, Automation and Mechatronics, RAM 2010
URI: http://scholarbank.nus.edu.sg/handle/10635/71918
ISBN: 9781424465033
DOI: 10.1109/RAMECH.2010.5513167
Appears in Collections:Staff Publications

Show full item record
Files in This Item:
There are no files associated with this item.

SCOPUSTM   
Citations

5
checked on Jan 9, 2018

Page view(s)

13
checked on Jan 19, 2018

Google ScholarTM

Check

Altmetric


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.