Formal Non-Fragile Stability Verification of Digital Control Systems with Uncertainty

Abstract

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

Topics

8 Figures and Tables

Slides referencing similar topics