Using Automata in Control Synthesis. A Case Study

  • Thomas S. Hune
  • Anders B. Sandholm


We study a method for synthesizing control programs. The
method merges an existing control program with a control automaton.
For specifying the control automata we have used monadic second order
logic over strings. Using the Mona tool, specifications are translated into
automata. This yields a new control program restricting the behavior of
the old control program such that the specifications are satisfied. The
method is presented through a concrete example.
How to Cite
Hune, T., & Sandholm, A. (2000). Using Automata in Control Synthesis. A Case Study. BRICS Report Series, 7(22).