Discrete Event Dynamic Systems

, Volume 14, Issue 1, pp 31–53

Supervisor Reduction for Discrete-Event Systems

  • R. Su
  • W.M. Wonham
Article

DOI: 10.1023/B:DISC.0000005009.40749.b6

Cite this article as:
Su, R. & Wonham, W. Discrete Event Dynamic Systems (2004) 14: 31. doi:10.1023/B:DISC.0000005009.40749.b6

Abstract

In supervisory control theory (SCT) the supremal supervisor (representing the supremal controllable sublanguage) typically has a large state size (of order the product of state sizes of the plant and specification automata). In this paper, we propose an algorithm which can significantly reduce supervisor size while preserving control action. We also show that finding a supervisor of minimal size is NP-hard.

supervisory control theorycontrol congruencealgorithmic supervisor reductionminimal supervisor size estimation

Copyright information

© Kluwer Academic Publishers 2004

Authors and Affiliations

  • R. Su
    • 1
  • W.M. Wonham
    • 1
  1. 1.Edward S. Rogers Sr. Department of Electrical and Computer EngineeringUniversity of TorontoTorontoCanada