File tree Expand file tree Collapse file tree 1 file changed +5
-6
lines changed Expand file tree Collapse file tree 1 file changed +5
-6
lines changed Original file line number Diff line number Diff line change @@ -841,16 +841,15 @@ let
841
841
842
842
sys_alias = alias_elimination (sys_con)
843
843
D = Differential (t)
844
- true_eqs = [0 ~ D (sys. v) - sys. u
845
- 0 ~ sys. x - ctrl. x
846
- 0 ~ sys. v - D (sys. x)
847
- 0 ~ ctrl. kv * D (sys. x) + ctrl. kx * ctrl. x - D (sys. v)]
844
+ true_eqs = [0 ~ ctrl. u - sys. u
845
+ 0 ~ D (D (sys. x)) - ctrl. u
846
+ 0 ~ ctrl. kv * D (sys. x) + ctrl. kx * sys. x - ctrl. u]
848
847
@test isequal (full_equations (sys_alias), true_eqs)
849
848
850
849
sys_simp = structural_simplify (sys_con)
851
850
D = Differential (t)
852
- true_eqs = [D (sys. v ) ~ ctrl. kv * sys . v + ctrl . kx * sys . x
853
- D (sys . x ) ~ sys . v ]
851
+ true_eqs = [D (sys. x ) ~ ctrl. v
852
+ D (ctrl . v ) ~ ctrl . kv * ctrl . v + ctrl . kx * sys . x ]
854
853
@test isequal (full_equations (sys_simp), true_eqs)
855
854
end
856
855
You can’t perform that action at this time.
0 commit comments