Trabalho em anais de eventoOpen Access
Sound and Automated Synthesis of Digital Stabilizing Controllers for Continuous Plants
ABATE, ALESSANDRO; BESSA, IURY; CATTARUZZA, DARIO; Cordeiro, Lucas; DAVID, CRISTINA; KESSELI, PASCAL; KROENING, DANIEL
Resumo
Resumo
Modern control is implemented with digital microcontrollers, embedded within a dynamical plant that represents physical components. We present a new algorithm based on counterexample guided inductive synthesis that automates the design of digital controllers that are correct by construction. The synthesis result is sound with respect to the complete range of approximations, including time discretization, quantization effects, and finite-precision arithmetic and its rounding errors. We have implemented our new algorithm in a tool called DSSynth, and are able to automatically generate stable controllers for a set of intricate plant models taken from the literature within minutes.
Autoria
Autores do grupo (2)
A lista completa de autores está no topo da página. Abaixo, apenas os pesquisadores do e-Controls vinculados a esta publicação.
palavras-chave
Palavras-chave
controller synthesiscounterexample-guided inductive synthesissoundnesstime discretizationquantization effectsfinite precision arithmeticrounding errorsembedded microcontrollercontroller stability
Status
Published
links
Links e arquivos
Trabalho em anais de evento