Formal Non-Fragile Stability Verification of Digital Control Systems with Uncertainty
From MaRDI portal
Publication:5346090
DOI10.1109/TC.2016.2601328zbMath1364.93447MaRDI QIDQ5346090
Reinaldo M. Palhares, Lucas Cordeiro, Hussama Ismail, Iury Bessa, João Edgar Chaves Filho
Publication date: 8 June 2017
Published in: IEEE Transactions on Computers (Search for Journal in Brave)
Feedback control (93B52) Robust stability (93D09) Digital control/observation systems (93C62) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (1)
This page was built for publication: Formal Non-Fragile Stability Verification of Digital Control Systems with Uncertainty
