101 search results - page 1 / 21 » Controller Synthesis for MTL Specifications |
76
Voted
CONCUR
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. We consider the control problem for timed automata against specifications given as MTL formulas. The logic MTL is a linear-time timed temporal logic which extends LTL wit...
76
Voted
CAV
2007
Springer
15 years 3 months ago
2007
Springer
In this paper we propose a complete chain for synthesizing controllers from high-level specifications. From real-time properties expressed in the logic MTL we generate, under boun...
HYBRID
2010
Springer
15 years 1 months ago
2010
Springer
HYBRID
2000
Springer
15 years 1 months ago
2000
Springer
CDC
2008
IEEE
15 years 4 months ago
2008
IEEE
