A Case Study on Using Automata in Control Synthesis

Authors:
Thomas Hune;Anders Sandholm
Affiliations:
-;-
Venue:
FASE '00 Proceedings of the Third Internationsl Conference on Fundamental Approaches to Software Engineering: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
Year:
2000

Citing 3
Cited 1

High-level Petri nets: theory and application

High-level Petri nets: theory and application
Synthesis of Communicating Processes from Temporal Logic Specifications

ACM Transactions on Programming Languages and Systems (TOPLAS)
Solution of a problem in concurrent programming control

Communications of the ACM

MONA Implementation Secrets

CIAA '00 Revised Papers from the 5th International Conference on Implementation and Application of Automata

Quantified Score

Hi-index	0.00

Visualization

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. Specifications 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 specifications are satisfied. The method is presented through a concrete example.