Discrete Search in Heterogeneous Integer Spaces for Automated Choice of Parameters using Correct-by-Construction Methods
Systems and Control
2023-02-01 v1 Systems and Control
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.
Keywords
Cite
@article{arxiv.2301.13426,
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},
journal= {arXiv preprint arXiv:2301.13426},
year = {2023}
}
Comments
5 pages,