基于构造正确方法的异构整数空间离散搜索以实现参数自动选择
系统与控制
2023-02-01 v1 系统与控制
摘要
针对工具参数值的整数空间离散搜索，为给定系统建模并启发式地寻找最优参数列表提供了强大方法。现有工具与实现主要关注同构工具参数，而异构工具参数的实现尚显不足。本文引入一种异构参数可达性与有效性搜索的构造正确（correct-by-construction）方法，并进一步概述其实现及使用异构系统示例展示该工具可应用的场景。
引用
@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}
}
备注
5 pages,