Discrete Search in Heterogeneous Integer Spaces for Automated Choice of Parameters using Correct-by-Construction Methods

TL;DR

This paper introduces a correct-by-construction method for discrete search in heterogeneous integer spaces, enabling automated and reliable parameter selection for complex systems with diverse parameter types.

Contribution

It presents a novel approach for heterogeneous parameter reachability and validity search, addressing limitations of existing homogeneous-focused tools.

Findings

Demonstrated effectiveness on heterogeneous system examples

Provided a new framework for parameter reachability in diverse spaces

Enhanced reliability through correct-by-construction methods

Abstract

Discrete Search of integer spaces for tool parameter values provides a powerful methodology for modeling and finding a heuristically optimal parameter list for a given system. Current tools and implementations that exist focus primarily on homogeneous tool parameters, and the implementations for heterogeneous tool parameters is lacking. In this paper we introduce a correct-by-construction method of heterogeneous parameter reachability and validity search, and further outline the implementation as well as a demonstration using examples of heterogeneous systems that this tool can be used for.