Site Accessibility Statement
Wilfrid Laurier University Leaf
December 10, 2016
Canadian Excellence

Ignacio Castillo


email: Ignacio Castillo
phone: 519.884.0710
ext: 6054



Ignacio Castillo

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):4057.

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:

revised Sep 21/06

View all Ignacio Castillo documents