Document Type


Publication Date


Subject: LCSH

Electric power systems


Computer Engineering | Computer Sciences | Electrical and Computer Engineering


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.


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

The final version can be found at



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.

Check your library



To view the content in your browser, please download Adobe Reader or, alternately,
you may Download the file to your hard drive.

NOTE: The latest versions of Adobe Reader do not support viewing PDF files within Firefox on Mac OS and if you are using a modern (Intel) Mac, there is no official plugin for viewing PDF files within the browser window.