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 tool that employs Bounded Model Checking based on… (More)
DOI: 10.1109/TC.2016.2601328


8 Figures and Tables

Slides referencing similar topics