By Topic

Specification and coordination of a flexible manufacturing system

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $31
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

2 Author(s)
de Ridder, M.A. ; Public Health Res. Unit, Glasgow Univ., UK ; Spathopoulos, M.P.

The growing demand for performance and flexibility in flexible manufacturing systems (FMS) makes their modeling design increasingly more complex. For this reason it is important to have tools which are adequate to the task. The use of recursive processes is particularly suited to modelling concurrent systems due to the inherent modular and algebraic structure which makes the bottom-up and top-down synthesis design feasible. In this paper we apply a structured modelling design technique developed by Spathopoulos and De Ridder (1992, 1994) using communicating or finitely recursive processes. This way of modelling and specification is especially suited due to the possibility of directly realising control systems on the basis of the constructed model.

Published in:

Control, 1994. Control '94. International Conference on  (Volume:2 )

Date of Conference:

21-24 March 1994