Formal non-fragile stability verification of digital control systems with uncertainty
A verification methodology is described and evaluated to formally determine uncertain linear systems stability in digital controllers with considerations to the implementation aspects. In particular, this methodology is combined with the digital-system verifier (DSVerifier), which is a verification...
| Main Authors: | , , , , |
|---|---|
| Format: | Journal article |
| Published: |
IEEE
2016
|