Data-Driven Controller Synthesis via Co-Büchi Barrier Certificates With Formal Guarantees.

Daniel Ajeleye Majid Zamani

Published in: IEEE Control. Syst. Lett. (2024)

Keyphrases

data driven
controller synthesis
autonomic computing systems
closed loop
control system
control algorithm
multi agent
neural network
access control
autonomic systems
regression model
control scheme
sensitivity analysis
path planning
computer systems
support vector machine
machine learning