Supervisory Controller Synthesis for Non-terminating Processes is an Obliging Game.

Rupak Majumdar Anne-Kathrin Schmuck

Published in: CoRR (2020)

Keyphrases

controller synthesis
control system
autonomic computing systems
computer games
support vector
virtual world