File Download
There are no files associated with this item.
Supplementary
-
Citations:
- Scopus: 0
- Appears in Collections:
Conference Paper: Hierarchical system architecture for multi-agent multi-modal systems
Title | Hierarchical system architecture for multi-agent multi-modal systems |
---|---|
Authors | |
Issue Date | 2001 |
Publisher | Institute of Electrical and Electronics Engineers. The Journal's web site is located at http://www.ieeexplore.ieee.org/xpl/conhome.jsp?punumber=1000188 |
Citation | Proceedings Of The Ieee Conference On Decision And Control, 2001, v. 2, p. 1509-1514 How to Cite? |
Abstract | In this paper, a hierarchical system architecture for multi-agent multi-modal systems is proposed. The design principle for the construction of the hierarchy is based on bisimulation and therefore a higher-level system and a lower-level system are bisimilar. The layered system is designed to promote proof obligations so that system specification at one level of granularity conforms with system specification at another level and vice versa. Our approach is illustrated on designing a system architecture for executing a mission of controlling a group of autonomous agents in the pursuit of multiple evaders. |
Persistent Identifier | http://hdl.handle.net/10722/188702 |
ISSN | 2020 SCImago Journal Rankings: 0.395 |
References |
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Koo, TJ | en_US |
dc.date.accessioned | 2013-09-03T04:13:35Z | - |
dc.date.available | 2013-09-03T04:13:35Z | - |
dc.date.issued | 2001 | en_US |
dc.identifier.citation | Proceedings Of The Ieee Conference On Decision And Control, 2001, v. 2, p. 1509-1514 | en_US |
dc.identifier.issn | 0191-2216 | en_US |
dc.identifier.uri | http://hdl.handle.net/10722/188702 | - |
dc.description.abstract | In this paper, a hierarchical system architecture for multi-agent multi-modal systems is proposed. The design principle for the construction of the hierarchy is based on bisimulation and therefore a higher-level system and a lower-level system are bisimilar. The layered system is designed to promote proof obligations so that system specification at one level of granularity conforms with system specification at another level and vice versa. Our approach is illustrated on designing a system architecture for executing a mission of controlling a group of autonomous agents in the pursuit of multiple evaders. | en_US |
dc.language | eng | en_US |
dc.publisher | Institute of Electrical and Electronics Engineers. The Journal's web site is located at http://www.ieeexplore.ieee.org/xpl/conhome.jsp?punumber=1000188 | en_US |
dc.relation.ispartof | Proceedings of the IEEE Conference on Decision and Control | en_US |
dc.title | Hierarchical system architecture for multi-agent multi-modal systems | en_US |
dc.type | Conference_Paper | en_US |
dc.identifier.email | Koo, TJ: john.koo@siat.ac.cn | en_US |
dc.identifier.authority | Koo, TJ=rp01787 | en_US |
dc.description.nature | link_to_subscribed_fulltext | en_US |
dc.identifier.scopus | eid_2-s2.0-0035712368 | en_US |
dc.relation.references | http://www.scopus.com/mlt/select.url?eid=2-s2.0-0035712368&selection=ref&src=s&origin=recordpage | en_US |
dc.identifier.volume | 2 | en_US |
dc.identifier.spage | 1509 | en_US |
dc.identifier.epage | 1514 | en_US |
dc.publisher.place | United States | en_US |
dc.identifier.scopusauthorid | Koo, TJ=7005428590 | en_US |
dc.identifier.issnl | 0191-2216 | - |