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

Authors

Hao Yang, Chengdu Institute of Computer Application, Chinese Academy of Sciences, China
Jinzhao Wu
Zhiwei Zhang
Yang Liu

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

Recommended Citation

Yang, Hao; Wu, Jinzhao; Zhang, Zhiwei; and Liu, Yang (2013) "Approximate Completed Trace Equivalence of Three Dimensional t-Model Nonlinear Algebraic Hybrid Systems," Applied Mathematics & Information Sciences: Vol. 07: Iss. 5, Article 6.
Available at: https://digitalcommons.aaru.edu.jo/amis/vol07/iss5/6