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

DOI10.1109/TC.2016.2601328MaRDI QIDQ5346090zbMATH OpenFDO

Authors Iury Bessa, Hussama Ismail, R. Palhares, Lucas Cordeiro, João Edgar Chaves Filho

Publication date 8 June 2017

Published in IEEE Transactions on Computers (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1109/TC.2016.2601328

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Feedback control (93B52) Robust stability (93D09) Digital control/observation systems (93C62)

Recommendations

• Robust Stabilizability Verification of Polynomially Uncertain LTI Systems
• Verification techniques for sensitivity analysis and design of controllers for nonlinear dynamical systems with uncertainties
• Verified stability analysis of continuous-time control systems with bounded parameter uncertainties and stochastic disturbances
• Verification techniques for sensitivity analysis and design of controllers for nonlinear dynamic systems with uncertainties
• Stability robustness analysis of digital control systems in state-space models
• Formal Methods for Control of Nonlinear Systems
• Improved stability robustness bounds for digital control systems in state-space models
• Asymptotic stability of digitally redesigned control systems
• Finite verification for robustness of discrete systems under structured perturbations

Cited in

(2)

• Non-fragile control for a class of fractional-order uncertain linear systems with time-delay
• Automated formal synthesis of provably safe digital controllers for continuous plants

This page was built for publication: Formal Non-Fragile Stability Verification of Digital Control Systems with Uncertainty

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5346090)