Using Automata in Control Synthesis. A Case Study

Authors

  • Thomas S. Hune
  • Anders B. Sandholm

DOI:

https://doi.org/10.7146/brics.v7i22.20149

Abstract

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.

Downloads

Published

2000-09-01

How to Cite

Hune, T. S., & Sandholm, A. B. (2000). Using Automata in Control Synthesis. A Case Study. BRICS Report Series, 7(22). https://doi.org/10.7146/brics.v7i22.20149