Using Automata in Control Synthesis -- A Case Study

Thomas S. Hune
Anders B. Sandholm

September 2000


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

Available as PostScript, PDF.


Last modified: 2003-06-08 by webmaster.