Hybrid synthesis of optimal control for discrete event systems

A new solution to the synthesis of optimal control for discrete event systems modeled as finite state automata is given. The problem is as follows: given a system G and a forbidden state qb, find a state feedback policy (if there is one) f_max such that a given performance index E is maximized. The solution space is first reduced by some algebraic operations and then the optimal control problem is solved in the reduced solution space. Comparisons between this hybrid approach and other approaches are discussed. An example is given to illustrate the results