On synthesizing controllers from bounded-response properties
Maler O, Nickovic D, Pnueli A. 2007. On synthesizing controllers from bounded-response properties. 19th International Conference on Computer Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 4590, 95–107.
Download
No fulltext has been uploaded. References only!
Conference Paper
| Published
| English
Scopus indexed
Author
Maler, Oded;
Nickovic, DejanISTA;
Pnueli, Amir
Series Title
LNCS
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.
Publishing Year
Date Published
2007-01-01
Proceedings Title
19th International Conference on Computer Aided Verification
Publisher
Springer
Volume
4590
Page
95 - 107
Conference
CAV: Computer Aided Verification
Conference Location
Berlin, Germany
Conference Date
2007-07-03 – 2007-07-07
IST-REx-ID
Cite this
Maler O, Nickovic D, Pnueli A. On synthesizing controllers from bounded-response properties. In: 19th International Conference on Computer Aided Verification. Vol 4590. Springer; 2007:95-107. doi:10.1007/978-3-540-73368-3_12
Maler, O., Nickovic, D., & Pnueli, A. (2007). On synthesizing controllers from bounded-response properties. In 19th International Conference on Computer Aided Verification (Vol. 4590, pp. 95–107). Berlin, Germany: Springer. https://doi.org/10.1007/978-3-540-73368-3_12
Maler, Oded, Dejan Nickovic, and Amir Pnueli. “On Synthesizing Controllers from Bounded-Response Properties.” In 19th International Conference on Computer Aided Verification, 4590:95–107. Springer, 2007. https://doi.org/10.1007/978-3-540-73368-3_12.
O. Maler, D. Nickovic, and A. Pnueli, “On synthesizing controllers from bounded-response properties,” in 19th International Conference on Computer Aided Verification, Berlin, Germany, 2007, vol. 4590, pp. 95–107.
Maler O, Nickovic D, Pnueli A. 2007. On synthesizing controllers from bounded-response properties. 19th International Conference on Computer Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 4590, 95–107.
Maler, Oded, et al. “On Synthesizing Controllers from Bounded-Response Properties.” 19th International Conference on Computer Aided Verification, vol. 4590, Springer, 2007, pp. 95–107, doi:10.1007/978-3-540-73368-3_12.