Please use this identifier to cite or link to this item:
|Title:||Synchronized task decomposition for two cooperative agents|
Task automaton decomposition
|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|
|Appears in Collections:||Staff Publications|
Show full item record
Files in This Item:
There are no files associated with this item.
checked on Jan 9, 2018
checked on Jan 19, 2018
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.