Safety control of discrete event systems using finite state machines with parameters
- 1 January 2001
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- Vol. 2, 975-980 vol.2
- https://doi.org/10.1109/acc.2001.945847
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 (and, hence, the corresponding control techniques) unsuitable for many practical applications. To mitigate the state explosion problem, we proposed, in our previous work, an efficient representation that appends finite sets of parameters to finite state machines in modeling discrete event systems. We follow up in this paper to present the control synthesis techniques operating under this modeling representation. We first propose our notion and means of control under this representation. We then present our algorithms for both offline and online synthesis of safety control policies and illustrate these algorithms with examples.Keywords
This publication has 7 references indexed in Scilit:
- Modeling of discrete event systems using finite state machines with parametersPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Introduction to Discrete Event SystemsPublished by Springer Nature ,1999
- Automatic generation of functional vectors using the extended finite state machine modelACM Transactions on Design Automation of Electronic Systems, 1996
- Variable lookahead supervisory control with state informationIEEE Transactions on Automatic Control, 1994
- Limited lookahead policies in supervisory control of discrete event systemsIEEE Transactions on Automatic Control, 1992
- On observability of discrete-event systemsInformation Sciences, 1988
- Supervisory Control of a Class of Discrete Event ProcessesSIAM Journal on Control and Optimization, 1987