Formal non-fragile stability verification of digital control systems with uncertainty

Página do item simplificado
dc.creatorIury Valente de Bessa
dc.creatorHussama Ibrahim Ismail
dc.creatorReinaldo Martinez Palhares
dc.creatorLucas Carvalho Cordeiro
dc.creatorJoão Edgar Chaves Filho
dc.date.accessioned2025-04-07T16:09:58Z
dc.date.accessioned2025-09-09T00:26:39Z
dc.date.available2025-04-07T16:09:58Z
dc.date.issued2017
dc.identifier.doihttps://doi.org/10.1109/TC.2016.2601328
dc.identifier.issn0018-9340
dc.identifier.urihttps://hdl.handle.net/1843/81345
dc.languageeng
dc.publisherUniversidade Federal de Minas Gerais
dc.relation.ispartofIEEE Transactions on computers
dc.rightsAcesso Restrito
dc.subjectControle automático
dc.subjectControle preditivo
dc.subject.otherFormal Methods
dc.subject.otherStability analysis , Robustness , Uncertainty , Computational modeling , Model checking , Control systems , Transfer functions
dc.subject.otherControle Não Frágil
dc.subject.otherFinite word-length effects
dc.subject.otherInteligência Computacional
dc.subject.otherControle de Processos
dc.subject.otherFormal methods , model checking , finite word-length effects , controller fragility , robustness
dc.subject.otherControl System , Digital Technologies , Digital Control , Verification System , Formal Verification , Digital Control System , Stability Verification , Stability Of System , Linear System , Closed-loop System , Robust Control , Methodological Tools , Uncertain Systems , Robust Stability , Model Checking , Stability Of Control System , Verification Tool , Sampling Time , Time Step , Model Plant , Limit Cycle Oscillations , Poles And Zeros , Formal Methods , Closed-loop Control System , Characteristic Polynomial , Transfer Function , Hybrid System , State Machine , Discrete System
dc.titleFormal non-fragile stability verification of digital control systems with uncertainty
dc.typeArtigo de periódico
local.citation.epage552
local.citation.issue3
local.citation.spage545
local.citation.volume66
local.description.resumoA 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 Satisfiability Modulo Theories to check the stability of digital control systems with uncertainty. DSVerifier determines the control system stability, considering all the plant interval variation set, together with the Finite Word-length (FWL) effects in the digital controller implementation; DSVerifier checks the robust non-fragile stability of a given closed-loop system. The proposed methodology and respective tool are evaluated considering non-fragile control examples from literature. Experimental results show that the approach used in this study is able to foresee fragility problems in robust controllers, which could be overlooked by other existing approaches due to underestimating of FWL effects.
local.publisher.countryBrasil
local.publisher.departmentENG - DEPARTAMENTO DE ENGENHARIA ELETRÔNICA
local.publisher.initialsUFMG
local.url.externahttps://ieeexplore.ieee.org/document/7547378

Arquivos

Licença do pacote

Agora exibindo 1 - 1 de 1
Imagem de Miniatura
Nome:
License.txt
Tamanho:
1.99 KB
Formato:
Plain Text
Descrição:
Baixar

Coleções

Artigo de Periódico

Logo UFMG