A case study on using automata in control synthesis
| Author(s) : | Anders S Thomas Hune, |
| Publisher : | N/A |
| Publication Date : | 2000 |
| ISSN : | N/A |
| Abstract : | Abstract. We study a method for synthesizing control programs. The method merges an existing control program with a control automaton. We have used monadic second order logic over strings to specify the control automata. Specications are translated into automata by the Mona tool. This yields a new control program restricting the behavior of the old control program such that the specications are satised. The method is presented through a concrete example. 1, |