Modeling of discrete event systems using finite state machines with parameters

Control theories for discrete event systems modeled as finite state machines have been well developed over the years in addressing various fundamental control issues. However, modeling in finite state machines has long suffered the potential problem of state explosion that renders it unsuitable for many practical applications. In this paper, we propose an approach that appends finite sets of parameters to finite state machines in modeling discrete event systems. We show with an example that many discrete event applications can then be represented efficiently in this approach and the state explosion problem can then been mitigated.