@@ -18,7 +18,6 @@ function dynamic()
18
18
u[1 ] * tan (u[2 ]),
19
19
)
20
20
end
21
- return F_sys
22
21
end
23
22
24
23
# We define the growth bound function of $f$:
@@ -30,7 +29,7 @@ function jacobian_bound()
30
29
end
31
30
32
31
function jacobian ()
33
- return (x, u) ->
32
+ return (x, u) -> begin
34
33
α = atan (tan (u[2 ]) / 2 )
35
34
β = u[1 ] / cos (α)
36
35
return SMatrix {3, 3} (
@@ -79,10 +78,7 @@ function get_obstacles(
79
78
]
80
79
end
81
80
82
- function system (
83
- _X_;
84
- _U_ = UT. HyperRectangle (SVector (- 1.0 , - 1.0 ), SVector (1.0 , 1.0 )),
85
- )
81
+ function system (_X_; _U_ = UT. HyperRectangle (SVector (- 1.0 , - 1.0 ), SVector (1.0 , 1.0 )))
86
82
return MathematicalSystems. ConstrainedBlackBoxControlContinuousSystem (
87
83
dynamic (),
88
84
Dionysos. Utils. get_dims (_X_),
@@ -108,10 +104,8 @@ function problem(; simple = false)
108
104
_I_ = UT. HyperRectangle (SVector (0.4 , 0.4 , 0.0 ), SVector (0.4 , 0.4 , 0.0 ))
109
105
_T_ = UT. HyperRectangle (SVector (3.0 , 0.3 , - 100.0 ), SVector (3.6 , 0.8 , 100.0 ))
110
106
else
111
- _X_ = UT. HyperRectangle (
112
- SVector (- 0.1 , - 0.1 , - pi - 0.4 ),
113
- SVector (10.1 , 10.1 , pi + 0.4 ),
114
- )
107
+ _X_ =
108
+ UT. HyperRectangle (SVector (- 0.1 , - 0.1 , - pi - 0.4 ), SVector (10.1 , 10.1 , pi + 0.4 ))
115
109
_I_ = UT. HyperRectangle (SVector (0.4 , 0.4 , 0.0 ), SVector (0.4 , 0.4 , 0.0 ))
116
110
_T_ = UT. HyperRectangle (SVector (9.0 , 0.3 , - 100.0 ), SVector (9.6 , 0.8 , 100.0 ))
117
111
end
0 commit comments