Controller Synthesis in Timed Büchi Automata: Robustness and Punctual Guards.

Benoît Barbot Damien Busatto-Gaston Catalin Dima Youssouf Oualhadj

Published in: CoRR (2024)

Keyphrases

controller synthesis
timed automata
autonomic computing systems
petri net
finite state machines
closed loop
multi agent
model checking
control algorithm
pattern classification
autonomic systems