Nonblocking supervisory control of state tree structures - Chuan Ma; Wonham, W.M. (IEEE transactions on automatic control, 2006)
Keywords: Algorithm design and analysis; Algorithms; Applied sciences; Automata; Binary decision diagrams; Computer science; control theory; systems; Control system synthesis; Control theory. Systems; Controllers; Design engineering; Discrete-event system; Exact sciences and technology; Explosions; Modelling and identification; nonblocking supervisory control; Organizing; Recursive; Sociotechnical systems; state tree structure (STS); State-space methods; Statecharts; Supervisory control; symbolic computation; Tree data structures; Trees; Tree structured method; Discrete-event system; nonblocking supervisory control; Control synthesis; Tree structure; State space method; Symbolic computation; Recursive algorithm; State diagram; NP hard problem; state tree structure (STS); Supervision; Discrete event system