Share Email Print

Proceedings Paper

Joint approach to design and control of process flows to avoid deadlocks in flexible production systems
Author(s): Elzbieta K. Roszkowska
Format Member Price Non-Member Price
PDF $14.40 $18.00
cover GOOD NEWS! Your organization subscribes to the SPIE Digital Library. You may be able to download this paper for free. Check Access

Paper Abstract

In the paper we develop a discrete dynamic model of concurrent cyclic processes and state two formal decision problems concerning testing the realizability of such system at its design phase and testing the safety (with respect to deadlocks) of control decisions undertaken on-line. We prove the NP-completeness of the problems and point out that such complexity clearly hinders a practical application of the optimal (i.e. the least-restrictive) approach proposed. Thus, we discuss a pragmatic solution for deadlock handling being a compromise between the restriction level of the algorithms required and their computational time-complexity. We introduce a satisfactory condition for realizability of the system and prove that in the cyclic systems which satisfy the condition we can employ deadlock avoidance algorithms developed for pipeline processes.

Paper Details

Date Published: 9 October 1998
PDF: 12 pages
Proc. SPIE 3517, Intelligent Systems in Design and Manufacturing, (9 October 1998); doi: 10.1117/12.326939
Show Author Affiliations
Elzbieta K. Roszkowska, Wroclaw Univ. of Technology (Poland)

Published in SPIE Proceedings Vol. 3517:
Intelligent Systems in Design and Manufacturing
Bhaskaran Gopalakrishnan; San Murugesan, Editor(s)

© SPIE. Terms of Use
Back to Top