Controller Synthesis for MTL Specifications

  title={Controller Synthesis for MTL Specifications},
  author={Patricia Bouyer and Laura Bozzelli and Fabrice Chevalier},
We consider the control problem for timed automata against s pecifications given asMTL formulas. The logicMTL is a linear-time timed temporal logic which extendsLTL with timing constraints on modalities, and recently, its model-checking has been proved decidable in several cas es. We investigate these decidable fragments of MTL (full MTL when interpreted over finite timed words, andSafety-MTL when interpreted over infinite timed words), and prove two kinds of results. (1) We first prove that… CONTINUE READING
Highly Cited
This paper has 24 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.
18 Citations
24 References
Similar Papers


Publications referenced by this paper.
Showing 1-10 of 24 references

Controller synt hesis for MTL specifications

  • P. Bouyer, L. Bozzelli, F. Chevalier
  • Research report, Laboratoire Spécification & Ve…
  • 2006
Highly Influential
5 Excerpts

Similar Papers

Loading similar papers…