Controller function generation method based on state machine constraint solution

The invention relates to a controller function generation method based on state machine constraint solution, which uses a state transition system to describe agent behaviors, uses a controller function to change a system state and gives a group of state transition data, and can use a constraint solver to find a state transition rule and cluster the rule so as to obtain a set of state transition data. And describing the clustered state transition data and the generated behavior function, generating a logic condition to limit the activation condition, synthesizing a controller program by using a template, and further deriving a new state transition by using the generated controller program. According to the scheme provided by the invention, the rule of state transition data can be accurately concluded, a corresponding program is automatically generated, the data-driven conditional behavior function design is realized, and the manpower, data and time costs of intelligent agent system development are reduced. 本发明