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

Table 1

Results.

Number of iterations: 𝐾	Initial states	Solutions	Minimum
𝐾=1	(1, 1, 1, 1)	(0.06, 0.82, 1, 0.82)	−9.08𝑒−005
𝐾=2	(0.04, 0.86, 1, 0.86)	(0.05, 0.86, 1, 0.86)	−9.17𝑒−005
𝐾=3	(0.05, 0.85, 1, 0.85)	(0.05, 0.85, 1, 0.85)	−9.19𝑒−005
𝐾=4	(0.04, 0.84, 1, 0.85)	(0.05, 0.84, 1, 0.85)	−8.97𝑒−005
𝐾=5	(0.04, 0.85, 1, 0.84)	(0.05, 0.85, 1, 0.85)	−9.13𝑒−005