Site Accessibility Statement
Wilfrid Laurier University Leaf
October 28, 2016
Canadian Excellence

Ignacio Castillo


email: Ignacio Castillo
phone: 519.884.0710
ext: 6054



Ignacio Castillo

Automatic generation of control software using Discrete Event Control Networks (ABSTRACT)

Castillo, I., C.A. Roberts, and K.D. Peterman

published: 2003 | Research publication | Refereed Journals - ODS

Castillo, I.,  C.A. Roberts, and K.D. Peterman (2003). "Automatic generation of control software using Discrete Event Control Networks", International Journal of Industrial Engineering, 10(3):213–221.

ABSTRACT: The objective of the research presented in this paper is to develop a systematic formal specification approach that generates control software for automated manufacturing environments. The foundation of this system is a graphical formal model of parallel computation that adequately describes the behavior of the system and provides a framework for analytical techniques to meet the goals of design, modeling, and control of automated manufacturing environments. The proposed control software generator’s objective is to reduce the limitations of software development. Our experimentation shows that the proposed methodology successfully creates generic language control software for several models of automated manufacturing environments using the aforementioned formalism.

Download the article at:

revised Sep 21/06

View all Ignacio Castillo documents