Approximate Bisimulation and Optimization of Software Programs Based on Symbolic-Numeric Computation

Table 6

Results.

Nonlinear polynomial systems	Solutions	Computing costs
NLPS1	(0.0001, −0.0002)	6.789s
NLPS2	(0.0001, −0.0002)	4.878s
{NLPS1,NLPS2,NLPS3,NLPS4,NLPS5}	{(0.0001, −0.0002), (0.0001, −0.0002), {(−0.01, 0.02), (0.01, −0.02)}, {(−0.01005, 0.0199), (0.01005, −0.0199)}, {(−0.01, 0.02), (0.01, −0.02)}}	12.041s
{NLPS11,NLPS12}	{(0.0001, −0.0002), {(−0.01, 0.02), (0.01, −0.02)}}	9.678s