Verification of settling time

[lennonchaves]

• Added verification of settling time (state-space)
• Fixed some state-space issues in DSVerifier
• Removed some warnings in dsverifier

[lennonchaves]

@lucasccordeiro Could you please start to review the new code for verification of settling time?

[lucasccordeiro]

May I also ask you squash the commits? There are many commits with the same message (e.g., fixing, fixing, updating, updating, etc).

[lucasccordeiro]

You also need to provide regression tests to check the implemented functions.

[lennonchaves]

@thiago-cavalcante, please check the comments

[lucasccordeiro]

In addition to the usual regression tests, you could also provide unit tests to check the implementation of each function.

[thiago-cavalcante]

@lucasccordeiro Do you use any specific tool for unit tests?

[lucasccordeiro]

https://libcheck.github.io/check/ http://aceunit.sourceforge.net/

[thiago-cavalcante]

@lucasccordeiro Could you please start to review the new code for verification of settling time?