Add ConstrainedLinearControlParametric* systems

[alecarraro]

The goal of this PR is to introduce two new system types named ConstrainedLinearControlParametric* systems to represent systems of the form x' = A x + B u, x∈ X, u ∈ U, A ∈ AS, B ∈ BS .

The macro parsing nows allows multiple set constraints

[schillic]

We use the convention to use ControlConstrained in the name if you want a domain restriction. There is currently no way to only restrict the input dimension, but so far this was not a problem. So I suggest to change the struct name accordingly.

[alecarraro]

So I suggest to change the struct name accordingly.

Maybe I did not understand correctly your comment, but isn't this what I am doing? The systems representing x'=Ax + Bu, u ∈ U, A ∈ As, B ∈Bs is named LinearControlParametricContinuousSystem . Before this PR, there was no field to store U . I saw that other systems follow similar convention.

EDIT: I think you mean Control restricts X not U?

[schillic]

Oops, I meant Constrained.

[alecarraro]

Oops, I meant Constrained.

Perfect. I updated the PR

[schillic]

Sorry, what I meant with my cryptic message was: the Constrained version should add constraints for all relevant domains. In this case for both X and U.

[alecarraro]

Sorry, what I meant with my cryptic message was: the Constrained version should add constraints for all relevant domains. In this case for both X and U.

Alright, I fixed it now. Please, let me know if this is correct

[schillic]

Try rebasing with the current master. I fixed the CI issues.

[schillic]

The tests fail because you cannot only define constraints on U. You also need to define constraints on X.

The documentation run fails because you need to add ConstrainedLinearControlParametricContinuousSystem and ConstrainedLinearControlParametricDiscreteSystem here.

[schillic]

LGTM, but there should be tests for the new code.