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.
Creative Commons License
This work is licensed under a Creative Commons Attribution-NonCommercial-No Derivative Works 4.0 International License.
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.
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.