•  
  •  
 

Author Country (or Countries)

China

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.

Suggested Reviewers

N/A

Share

COinS