Synthesis of feedback control logic for discrete manufacturing systems

Bruce H. Krogh, Lawrence E. Holloway

Research output: Contribution to journalArticlepeer-review

161 Scopus citations


This paper concerns the supervisory coordination and control of concurrent activity cycles in automated manufacturing facilities. In contrast to commonly used simulation models which integrate the control policy with the system model, the state transition logic for the manufacturing equipment is represented by a class of controlled Petri nets (CtlPN) with external inputs to be determined by the control synthesis algorithm. We formulate the forbidden state control problem in the CtlPN context and present an algorithm for generating maximally permissive controls which guarantee the system will avoid the forbidden states while permitting a maximal amount of flexibility in the system operation. The problem formulation and control synthesis algorithm is illustrated for an example of AGV co-ordination, and several classes of manufacturing control problems which can be addressed within this framework are identified.

Original languageEnglish
Pages (from-to)641-651
Number of pages11
Issue number4
StatePublished - Jul 1991

Bibliographical note

Funding Information:
This research is supported in part by North American Philips Corporation and by the U.S. National Science Foundation under grant number DMC-8451493.


  • Computer control
  • control system synthesis
  • discrete systems
  • manufacturing processes
  • supervisory control
  • synthesis methods

ASJC Scopus subject areas

  • Control and Systems Engineering
  • Electrical and Electronic Engineering


Dive into the research topics of 'Synthesis of feedback control logic for discrete manufacturing systems'. Together they form a unique fingerprint.

Cite this