Physical Sciences and Mathematics Commons^™

Modeling And Control Of Discrete Event Systems Using Finite State Machines With Variables And Their Applications In Power Grids, Junhui Zhao, Le Yi Wang, Zhong Chen, Feng Lin, Hongwei Zhang

Electrical & Computer Engineering and Computer Science Faculty Publications

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 …