Dynamic logic in control

For the dynamic property in the control system, in this paper we advance dynamic logic to analyze and synthesize the control problems. this approach is similar to the way in which people always resolve such problems, and it can reflect the nature of the system. The dynamic logic combines the people's logic analysis with the dynamic property of the control system. On the basis of the dynamic logic qualitative model, the analyzing process and synthesizing process may go on. So there are many of the non-linear and logic factors which can be directly taken into consideration in the analyzing and designing process. The combination of the human intelligence and artificial intelligent techniques with the conventional methods of analysis and design, has provide an effective tool for the qualitative analysis and the qualitative design of the intelligent control system. We have successfully resolved the stablizing problem of the inverted pendulum with dynamic logic.