Efficient symbolic multi-objective design space exploration

Lukasiewycz M, Glaß M, Haubelt C, Teich J (2008)

Publication Status: Published

Publication Type: Conference contribution, Conference Contribution

Publication year: 2008

Pages Range: 691-696

Article Number: 4484040

Event location: Seoul KR

ISBN: 9781424419227

DOI: 10.1109/ASPDAC.2008.4484040

Abstract

Nowadays many design space exploration tools are based on Multi-Objective Evolutionary Algorithms (MOEAs). Beside the advantages of MOEAs, there is one important drawback as MOEAs might fail in design spaces containing only a few feasible solutions or as they are often afflicted with premature convergence, i.e., the same design points are revisited again and again. Exact methods, especially Pseudo Boolean solvers (PB solvers) seem to be a solution. However, as typical design spaces are multi-objective, there is a need for multi-objective PB solvers. In this paper, we will formalize the problem of design space exploration as multi-objective 0-1 ILP. We will propose (1) a heuristic approach based on PB solvers and (2) a complete multi-objective PB solver based on a backtracking algorithm that incorporates the non-dominance relation from multi-objective optimization and is restricted to linear objective functions. First results from applying our novel multi-objective PB solver to synthetic problems will show its effectiveness in small sized design spaces as well as in large design spaces only containing a few feasible solutions. For non-linear and large problems, the proposed heuristic approach is outperforming common MOEA approaches. Finally, a real world example from the automotive area will emphasize the efficiency of the proposed algorithms. ©2008 IEEE.

Authors with CRIS profile

Michael Glaß Graduiertenzentrum der FAU Christian Haubelt Technische Fakultät Jürgen Teich Lehrstuhl für Informatik 12 (Hardware-Software-Co-Design)

How to cite

APA:

Lukasiewycz, M., Glaß, M., Haubelt, C., & Teich, J. (2008). Efficient symbolic multi-objective design space exploration. In Proceedings of the 2008 Asia and South Pacific Design Automation Conference, ASP-DAC (pp. 691-696). Seoul, KR.

MLA:

Lukasiewycz, Martin, et al. "Efficient symbolic multi-objective design space exploration." Proceedings of the 2008 Asia and South Pacific Design Automation Conference, ASP-DAC, Seoul 2008. 691-696.

BibTeX: Download