Abstraction Refinement for Attractivity Controllers Using Quantitative Synthesis.

W. Alejandro Apaza-Perez Antoine Girard

Published in: IEEE Trans. Autom. Control. (2023)

Keyphrases

controller synthesis
high level
reinforcement learning
control system
quantitative and qualitative
data sets
databases
qualitative and quantitative
neural network
texture synthesis
functional programs
real time
social networks
search algorithm
qualitative models
controller design