Preprint
Discrete Search in Heterogeneous Integer Spaces for Automated Choice of Parameters using Correct-by-Construction Methods
Omar Radwan, Yilin Zhang, Luca Geretti
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.
Cite
@misc{radwan2023discretesearchheterogeneousinteger,
title={Discrete Search in Heterogeneous Integer Spaces for Automated Choice of Parameters using Correct-by-Construction Methods},
author={Omar Radwan and Yilin Zhang and Luca Geretti},
year={2023},
eprint={2301.13426},
archivePrefix={arXiv},
primaryClass={eess.SY},
url={https://arxiv.org/abs/2301.13426},
}