Abstraction Refinement for Attractivity Controllers Using Quantitative Synthesis

DOI10.1109/TAC.2022.3227371OpenAlexW4281721378MaRDI QIDQ6047080

W. Alejandro Apaza-Perez, Antoine Girard

Publication date: 9 October 2023

Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1109/tac.2022.3227371

zbMATH Keywords

formal methodssymbolic controlattractivity specification

Mathematics Subject Classification ID

Systems theory; control (93-XX)

This page was built for publication: Abstraction Refinement for Attractivity Controllers Using Quantitative Synthesis