H Yang, J Wu, Z Zhang, Y Liu - Applied Mathematics & Information …, 2013 - Citeseer
In order to optimize programs of three dimensional t-model nonlinear algebraic Hybrid
Systems and eliminate system states, approximate completed trace equivalence of three …