Formal modeling methodologies for control of manufacturing cells: survey and comparison (ABSTRACT)
Castillo, I. and J.S. Smith
published: 2002 | Research publication | Refereed Journals - ODS
Castillo. I. and J.S. Smith (2002). "Formal modeling methodologies for control of manufacturing cells: survey and comparison", Journal of Manufacturing Systems, 21(1):40–57.
ABSTRACT: Over the last two decades, several formal modelling methodologies have emerged. In the manufacturing cell control domain, these methodologies are directed towards integrating the requirements specification, the design, and the implementation of the cell controller into a consistent process, supported by efficient analysis and development tools. The search for a single methodology powerful enough to span all the stages of the development life cycle of a formal model capable of replacing existing non-formal practices, however, has proven more difficult than expected. This paper presents a survey of several formal modelling methodologies that have been used for manufacturing cell control. Furthermore, the methodologies are classified and compared based on their expressive power, their verification power, their level of abstraction, and their span in relation to the formal model's development life cycle.
Download the article at: http://proquest.umi.com/pqdweb?did=154526641&sid=1&Fmt=2&clientId=27850&RQT=309&VName=PQD
revised Sep 21/06
View all Ignacio Castillo documents