Modeling of discrete event systems using finite state machines with parameters
- 11 November 2002
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 941-946
- https://doi.org/10.1109/cca.2000.897591
Abstract
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.Keywords
This publication has 12 references indexed in Scilit:
- Masked prioritized synchronization for interaction and control of discrete event systemsIEEE Transactions on Automatic Control, 2000
- Introduction to Discrete Event SystemsPublished by Springer Nature ,1999
- Synthesis of minimally restrictive legal controllers for a class of hybrid systemsPublished by Springer Nature ,1997
- A Survey of Petri Net Methods for Controlled Discrete Event SystemsDiscrete Event Dynamic Systems, 1997
- Automatic generation of functional vectors using the extended finite state machine modelACM Transactions on Design Automation of Electronic Systems, 1996
- Control of vector discrete-event systems. II. Controller synthesisIEEE Transactions on Automatic Control, 1994
- Control of vector discrete-event systems. I. The base modelIEEE Transactions on Automatic Control, 1993
- A GSMP formalism for discrete event systemsProceedings of the IEEE, 1989
- The control of discrete event systemsProceedings of the IEEE, 1989
- Supervisory Control of a Class of Discrete Event ProcessesSIAM Journal on Control and Optimization, 1987