Specifications.txt

Initial states:

x1 = [0.6, 0.7]
x2 = [-0.7, -0.6]
x3 = [-0.4, -0.3]
x4 = [0.5, 0.6]

t = 20 seconds
control period = 1s

Property:

The system states always stays within the box x ∈ [-2,2]