Using Automata in Control Synthesis. A Case Study
AbstractWe 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). https://doi.org/10.7146/brics.v7i22.20149
Articles published in DAIMI PB are licensed under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.