Modeling and Control of Discrete Event Systems Using Finite State Machines with Variables and Their Applications in Power Grids

Authors

Junhui Zhao, University of New HavenFollow
Le Yi Wang, Wayne State University
Zhong Chen, Wayne State University Detroit
Feng Lin, Wayne State University
Hongwei Zhang, Wayne State University

Author URLs

Professor Junhui Zhao's Profile

Document Type

Article

Publication Date

2012

Subject: LCSH

Electric power systems

Disciplines

Computer Engineering | Computer Sciences | Electrical and Computer Engineering

Abstract

Control theories for discrete event systems modeled as finite state machines have been well developed to address various fundamental control issues. However, finite state machine model has long suffered from the problem of state explosion that renders it unsuitable for some practical applications. In an attempt to mitigate the state explosion problem, we propose an efficient representation that appends finite sets of variables to finite state machines in modeling discrete event systems. We also present the control synthesis techniques for such finite state machines with variables (FSMwV). We first present our notion and means of control under this representation. We next present our algorithms for both offline and online synthesis of safety control policies. We then apply these results to the control of electric power grids.

Comments

This is the author's peer-reviewed version of the article published in Systems & Control Letters.

The final version can be found at

http://dx.doi.org/10.1016/j.sysconle.2011.10.010

DOI

10.1016/j.sysconle.2011.10.010

Creative Commons License

This work is licensed under a Creative Commons Attribution-NonCommercial-No Derivative Works 4.0 International License.

Repository Citation

Zhao, Junhui; Yi Wang, Le; Chen, Zhong; Lin, Feng; and Zhang, Hongwei, "Modeling and Control of Discrete Event Systems Using Finite State Machines with Variables and Their Applications in Power Grids" (2012). Electrical & Computer Engineering and Computer Science Faculty Publications. 43.
https://digitalcommons.newhaven.edu/electricalcomputerengineering-facpubs/43

Publisher Citation

J. Zhao, Y. L. Chen, Z. Chen, F. Lin, C. Wang and H. Zhang, “Modeling and control of discrete event systems using finite state machines with variables and their applications in power grids,” Systems & Control Letters, vol. 61, no. 1, pp. 212-222, Jan. 2012.