Least-violating symbolic controller synthesis for safety, reachability and attractivity specifications.

Antoine Girard Alina Eqtami

Published in: Autom. (2021)

Keyphrases

controller synthesis
autonomic computing systems
high level
closed loop
control algorithm
multi agent
control system
state space
autonomic systems