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

Table 4

Results.

Number of iterations: 𝐾	Initial state	Solution	Minimum
𝐾=1	(1, 1, 1, 1)	(0.91, 0.55, 0.82, 1)	−1.21𝑒−004
𝐾=2	(0.92, 0.55, 0.84, 0.99)	(0.92, 0.54, 0.84, 0.99)	−1.21𝑒−004