Approximate Completed Trace Equivalence of Three Dimensional t-Model Nonlinear Algebraic Hybrid Systems

Abstract

In order to optimize programs of three dimensional t-model nonlinear algebraic Hybrid Systems and eliminate system states, approximate completed trace equivalence of three dimensional t-model nonlinear algebraic Hybrid Systems is proposed. Firstly, the three dimensional t-model nonlinear algebraic program is used to describe the system continuous transition behavior. Then, the approximate of three dimensional t-model nonlinear algebraic Hybrid System is established. Whether trace is approximate or not could be decided through three dimensional t-model nonlinear algebraic Hybrid System trace approximate algorithm. Next, it put forward the approximate completed trace equivalence of three dimensional t-model nonlinear algebraic Hybrid Systems. It can optimize three dimensional t-model nonlinear algebraic program as well as reduce the number of system states. The experiment result shows that this method is effective.