TY  - GEN
A1  - Neubauer, Kai
A1  - Wanko, Philipp
A1  - Schaub, Torsten H.
A1  - Haubelt, Christian
T1  - Enhancing symbolic system synthesis through ASPmT with partial assignment evaluation
T2  - Proceedings of the Design, Automation & Test in Europe Conference & Exhibition (DATE), 2017
N2  - The design of embedded systems is becoming continuously more complex such that efficient system-level design methods are becoming crucial. Recently, combined Answer Set Programming (ASP) and Quantifier Free Integer Difference Logic (QF-IDL) solving has been shown to be a promising approach in system synthesis. However, this approach still has several restrictions limiting its applicability. In the paper at hand, we propose a novel ASP modulo Theories (ASPmT) system synthesis approach, which (i) supports more sophisticated system models, (ii) tightly integrates the QF-IDL solving into the ASP solving, and (iii) makes use of partial assignment checking. As a result, more realistic systems are considered and an early exclusion of infeasible solutions improves the entire system synthesis.
Y1  - 2017
SN  - 978-3-9815370-9-3
U6  - https://doi.org/10.23919/DATE.2017.7927005
SN  - 1530-1591
SP  - 306
EP  - 309
PB  - IEEE
CY  - New York
ER  -