File Download
Supplementary
-
Citations:
- Scopus: 0
- Appears in Collections:
Conference Paper: A hybrid framework for the specification of automated material handling systems
Title | A hybrid framework for the specification of automated material handling systems |
---|---|
Authors | |
Issue Date | 2004 |
Publisher | IEEE. The Journal's web site is located at https://ieeexplore.ieee.org/xpl/conhome.jsp?punumber=1002417 |
Citation | 2004 5th Asian Control Conference, Melbourne, Australia, 20-23 July 2004. In 2004 5th Asian Control Conference, 2004, v. 2, p. 843-849 How to Cite? |
Abstract | This paper presents a hybrid framework that specifies and characterizes the capabilities of generic components in an automated material handling system (AMHS). The framework also provides rules and mechanism for binding these capabilities together so as to facilitate the process of task planning for AMHSs. As a hybrid framework, the formal mathematics of Communicating Sequential Process (CSP) is tightly integrated to the Unified Modeling Language (UML) to provide three important entities, namely, the object structure diagram, object communication diagram and CSP-based statechart to extend the capability of a UML model in specifying the key properties of AMHSs including synchronization, parallelism and communication. The results will bring us a step closer to the generation of a fully automated task-planning executive for AMHSs. |
Persistent Identifier | http://hdl.handle.net/10722/46555 |
ISBN | |
References |
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Lau, HYK | en_HK |
dc.contributor.author | Zhao, Y | en_HK |
dc.date.accessioned | 2007-10-30T06:52:50Z | - |
dc.date.available | 2007-10-30T06:52:50Z | - |
dc.date.issued | 2004 | en_HK |
dc.identifier.citation | 2004 5th Asian Control Conference, Melbourne, Australia, 20-23 July 2004. In 2004 5th Asian Control Conference, 2004, v. 2, p. 843-849 | en_HK |
dc.identifier.isbn | 0-7803-8873-9 | en_HK |
dc.identifier.uri | http://hdl.handle.net/10722/46555 | - |
dc.description.abstract | This paper presents a hybrid framework that specifies and characterizes the capabilities of generic components in an automated material handling system (AMHS). The framework also provides rules and mechanism for binding these capabilities together so as to facilitate the process of task planning for AMHSs. As a hybrid framework, the formal mathematics of Communicating Sequential Process (CSP) is tightly integrated to the Unified Modeling Language (UML) to provide three important entities, namely, the object structure diagram, object communication diagram and CSP-based statechart to extend the capability of a UML model in specifying the key properties of AMHSs including synchronization, parallelism and communication. The results will bring us a step closer to the generation of a fully automated task-planning executive for AMHSs. | en_HK |
dc.format.extent | 1318076 bytes | - |
dc.format.extent | 2836 bytes | - |
dc.format.mimetype | application/pdf | - |
dc.format.mimetype | text/plain | - |
dc.language | eng | en_HK |
dc.publisher | IEEE. The Journal's web site is located at https://ieeexplore.ieee.org/xpl/conhome.jsp?punumber=1002417 | en_HK |
dc.relation.ispartof | 2004 5th Asian Control Conference | en_HK |
dc.rights | ©2004 IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE. | en_HK |
dc.title | A hybrid framework for the specification of automated material handling systems | en_HK |
dc.type | Conference_Paper | en_HK |
dc.identifier.email | Lau, HYK:hyklau@hkucc.hku.hk | en_HK |
dc.identifier.authority | Lau, HYK=rp00137 | en_HK |
dc.description.nature | published_or_final_version | en_HK |
dc.identifier.scopus | eid_2-s2.0-16244422343 | en_HK |
dc.identifier.hkuros | 107229 | - |
dc.relation.references | http://www.scopus.com/mlt/select.url?eid=2-s2.0-16244422343&selection=ref&src=s&origin=recordpage | en_HK |
dc.identifier.volume | 2 | en_HK |
dc.identifier.spage | 843 | en_HK |
dc.identifier.epage | 849 | en_HK |
dc.identifier.scopusauthorid | Lau, HYK=7201497761 | en_HK |
dc.identifier.scopusauthorid | Zhao, Y=8318274300 | en_HK |