Lose Fat, Not Muscle: An Examination of Supervisor Reduction in Discrete-Event Systems

  • Authors:
  • Sarah-Jane Whittaker;Karen Rudie

  • Affiliations:
  • School of Computing, Queen's University, Kingston, Canada K7L 3N6;Department of Electrical and Computer Engineering, Queen's University, Kingston, Canada K7L 3N6

  • Venue:
  • Discrete Event Dynamic Systems
  • Year:
  • 2008

Quantified Score

Hi-index 0.00

Visualization

Abstract

This paper is concerned with the elimination of unnecessary states in discrete-event system control agents. Several approaches to supervisor reduction are studied and a new relation between agents, comparability, is defined to encapsulate most of the concepts found in the aforementioned methods. This relation is also proven to be preserved under conjunction, which is commonly employed to determine the centralized representation of two decentralized DES supervisors.