Abstract
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 bounded-variability assumptions, deterministic timed automata to which we apply safety synthesis algorithms to derive a controller that satisfies the properties by construction. Some preliminary experimental results are reported. © Springer-Verlag Berlin Heidelberg 2007.
Cite
CITATION STYLE
Maler, O., Nickovic, D., & Pnueli, A. (2007). On synthesizing controllers from bounded-response properties. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4590 LNCS, pp. 95–107). Springer Verlag. https://doi.org/10.1007/978-3-540-73368-3_12
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
