Modeling and control of discrete event systems using finite state machines with variables and their applications in power grids.
Junhui ZhaoYi-Liang ChenZhong ChenFeng LinCaisheng WangHongwei ZhangPublished in: Syst. Control. Lett. (2012)
Keyphrases
- finite state machines
- discrete event systems
- discrete event
- petri net
- model based diagnosis
- power grids
- control system
- telecommunication networks
- finite state automata
- model checking
- dynamic systems
- complex systems
- hidden markov models
- simulation model
- regular expressions
- temporal constraints
- object oriented
- cooperative