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