Enhancing symbolic system synthesis through ASPmT with partial assignment evaluation
- 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.
| Verfasserangaben: | Kai Neubauer, Philipp WankoORCiD, Torsten H. SchaubORCiDGND, Christian HaubeltORCiD |
|---|---|
| DOI: | https://doi.org/10.23919/DATE.2017.7927005 |
| ISBN: | 978-3-9815370-9-3 |
| ISSN: | 1530-1591 |
| Titel des übergeordneten Werks (Englisch): | Proceedings of the Design, Automation & Test in Europe Conference & Exhibition (DATE), 2017 |
| Verlag: | IEEE |
| Verlagsort: | New York |
| Publikationstyp: | Sonstiges |
| Sprache: | Englisch |
| Datum der Erstveröffentlichung: | 15.05.2017 |
| Erscheinungsjahr: | 2017 |
| Datum der Freischaltung: | 17.11.2022 |
| Aufsatznummer: | 16869261 |
| Seitenanzahl: | 4 |
| Erste Seite: | 306 |
| Letzte Seite: | 309 |
| Organisationseinheiten: | Wirtschafts- und Sozialwissenschaftliche Fakultät / Sozialwissenschaften |
| DDC-Klassifikation: | 3 Sozialwissenschaften / 33 Wirtschaft / 330 Wirtschaft |
| Peer Review: | Referiert |
