|
|
 |
| |
|
|
|
Approximate Completed Trace Equivalence of Three Dimensional t-Model Nonlinear Algebraic Hybrid Systems |
|
|
|
PP: 1693-1697 |
|
|
|
Author(s) |
|
|
|
Hao Yang,
Jinzhao Wu,
Zhiwei Zhang,
Yang Liu,
|
|
|
|
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. |
|
|
|
|
|
|
|
