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

Table 3

Results.

Number of iterations: 𝐾	Initial state	Solution	Minimum
𝐾=1	(1, 1, 1, 1)	(0.91, 0.56, 0.82, 1)	−1.21𝑒−004
𝐾=2	(0.9, 0.54, 0.83, 0.98)	(0.91, 0.54, 0.82, 0.98)	−1.20𝑒−004