Discrete-event multiagent coordination : framework and algorithms
This thesis proposes a formal design framework for three inter-agent coordination problems that have not been addressed in the literature: A fundamental coordination problem, a networked coordination problem and an on-line coordination problem. The problems arise when distributed agents need to inte...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Thesis |
| Language: | English |
| Published: |
2011
|
| Subjects: | |
| Online Access: | https://hdl.handle.net/10356/46271 |
| _version_ | 1811680342596124672 |
|---|---|
| author | Pham, Manh Tung |
| author2 | Seow Kiam Tian |
| author_facet | Seow Kiam Tian Pham, Manh Tung |
| author_sort | Pham, Manh Tung |
| collection | NTU |
| description | This thesis proposes a formal design framework for three inter-agent coordination problems that have not been addressed in the literature: A fundamental coordination problem, a networked coordination problem and an on-line coordination problem. The problems arise when distributed agents need to interact and communicate among themselves in order to guarantee conformance to some inter-agent constraints that restrict their behaviors. These problems are formulated and addressed for a class of agents in a discrete-event behavioral formalism. The basic solution proposed is to equip agents with some distributed, local cooperation mechanism called coordination modules (CM's), by which they can compute their local coordinating actions in response to each other's information update. The framework developed supports the automated synthesis of CM's for discrete-event agents. |
| first_indexed | 2024-10-01T03:23:32Z |
| format | Thesis |
| id | ntu-10356/46271 |
| institution | Nanyang Technological University |
| language | English |
| last_indexed | 2024-10-01T03:23:32Z |
| publishDate | 2011 |
| record_format | dspace |
| spelling | ntu-10356/462712023-03-04T00:41:07Z Discrete-event multiagent coordination : framework and algorithms Pham, Manh Tung Seow Kiam Tian School of Computer Engineering Emerging Research Lab DRNTU::Engineering::Computer science and engineering::Computing methodologies::Artificial intelligence This thesis proposes a formal design framework for three inter-agent coordination problems that have not been addressed in the literature: A fundamental coordination problem, a networked coordination problem and an on-line coordination problem. The problems arise when distributed agents need to interact and communicate among themselves in order to guarantee conformance to some inter-agent constraints that restrict their behaviors. These problems are formulated and addressed for a class of agents in a discrete-event behavioral formalism. The basic solution proposed is to equip agents with some distributed, local cooperation mechanism called coordination modules (CM's), by which they can compute their local coordinating actions in response to each other's information update. The framework developed supports the automated synthesis of CM's for discrete-event agents. DOCTOR OF PHILOSOPHY (SCE) 2011-11-26T02:37:51Z 2011-11-26T02:37:51Z 2011 2011 Thesis Pham, M. T. (2011). Discrete-event multiagent coordination : framework and algorithms. Doctoral thesis, Nanyang Technological University, Singapore. https://hdl.handle.net/10356/46271 10.32657/10356/46271 en 182 p. application/pdf |
| spellingShingle | DRNTU::Engineering::Computer science and engineering::Computing methodologies::Artificial intelligence Pham, Manh Tung Discrete-event multiagent coordination : framework and algorithms |
| title | Discrete-event multiagent coordination : framework and algorithms |
| title_full | Discrete-event multiagent coordination : framework and algorithms |
| title_fullStr | Discrete-event multiagent coordination : framework and algorithms |
| title_full_unstemmed | Discrete-event multiagent coordination : framework and algorithms |
| title_short | Discrete-event multiagent coordination : framework and algorithms |
| title_sort | discrete event multiagent coordination framework and algorithms |
| topic | DRNTU::Engineering::Computer science and engineering::Computing methodologies::Artificial intelligence |
| url | https://hdl.handle.net/10356/46271 |
| work_keys_str_mv | AT phammanhtung discreteeventmultiagentcoordinationframeworkandalgorithms |