Definition of time horizon doesn't work?

[johnaoga]

Running this file docs/src/examples/solvers/Unicycle robot.jl from this PR#383 I got the following error.

It seems that we don't support the explicit definition of the variable over a time horizon, which can help to define some objective functions properly, e.g., the terminal cost.

ERROR: MethodError: no method matching compute_symmodel_from_controlsystem!(::Dionysos.Symbolic.SymbolicModelList{…}, ::Dionysos.System.ControlSystemGrowth{…})
The function `compute_symmodel_from_controlsystem!` exists, but no method is defined for this combination of argument types.

Closest candidates are:
  compute_symmodel_from_controlsystem!(::Dionysos.Symbolic.SymbolicModel{N}, ::Dionysos.System.ControlSystemLinearized{N}) where N
   @ Dionysos ~/devlab/CONTROL/Dionysos.jl/src/symbolic/symbolicmodel.jl:183
  compute_symmodel_from_controlsystem!(::Dionysos.Symbolic.SymbolicModel{N}, ::Dionysos.System.ControlSystemGrowth{N}) where N
   @ Dionysos ~/devlab/CONTROL/Dionysos.jl/src/symbolic/symbolicmodel.jl:101

Stacktrace:
  [1] macro expansion
    @ ./timing.jl:581 [inlined]
  [2] build_abstraction(concrete_system::MathematicalSystems.ConstrainedBlackBoxControlContinuousSystem{…}, model::Dionysos.Optim.Abstraction.UniformGridAbstraction.Optimizer{…})
    @ Dionysos.Optim.Abstraction.UniformGridAbstraction ~/devlab/CONTROL/Dionysos.jl/src/optim/abstraction/uniform_grid_abstraction.jl:129
  [3] optimize!(optimizer::Dionysos.Optim.Abstraction.UniformGridAbstraction.Optimizer{Float64})
    @ Dionysos.Optim.Abstraction.UniformGridAbstraction ~/devlab/CONTROL/Dionysos.jl/src/optim/abstraction/uniform_grid_abstraction.jl:228
  [4] optimize!(model::Dionysos.Optimizer)
    @ Dionysos ~/devlab/CONTROL/Dionysos.jl/src/MOI_wrapper.jl:386
  [5] optimize!
    @ ~/.julia/packages/MathOptInterface/HB8aJ/src/Bridges/bridge_optimizer.jl:367 [inlined]
  [6] optimize!
    @ ~/.julia/packages/MathOptInterface/HB8aJ/src/MathOptInterface.jl:122 [inlined]
  [7] optimize!(m::MathOptInterface.Utilities.CachingOptimizer{…})
    @ MathOptInterface.Utilities ~/.julia/packages/MathOptInterface/HB8aJ/src/Utilities/cachingoptimizer.jl:321
  [8] optimize!(model::Model; ignore_optimize_hook::Bool, _differentiation_backend::MathOptInterface.Nonlinear.SparseReverseMode, kwargs::@Kwargs{})
    @ JuMP ~/.julia/packages/JuMP/V9nZm/src/optimizer_interface.jl:595
  [9] optimize!(model::Model)
    @ JuMP ~/.julia/packages/JuMP/V9nZm/src/optimizer_interface.jl:546
 [10] top-level scope
    @ ~/devlab/CONTROL/Dionysos.jl/docs/src/examples/solvers/Unicycle robot.jl:178
Some type information was truncated. Use `show(err)` to see complete types.