第一届连续参数合成国际研讨会论文集
符号计算
2014-04-09 v2 形式语言与自动机理论
系统与控制
摘要
本卷收录了第一届连续参数合成国际研讨会 (SynCoP'14) 的论文集。该研讨会于 2014 年 4 月 6 日在法国格勒诺布尔举行，作为第 17 届欧洲软件理论与实践联合会议 (ETAPS'14) 的卫星会议。SynCoP 旨在汇聚从事具有连续变量系统参数合成的研究人员，其中参数由（通常是稠密的）常数值集合构成。此类参数的合成问题出现在实时、混合或概率系统中，涉及广泛的应用领域。参数可以是实时系统中的延迟，也可以是生物细胞模型中的反应速率。合成问题的目标是识别合适的参数以实现期望的行为，或者验证给定参数范围内的行为。本卷包含七篇贡献：两场特邀报告和五篇常规论文。
引用
@article{arxiv.1403.7841,
title = {Proceedings 1st International Workshop on Synthesis of Continuous Parameters},
author = {Étienne André and Goran Frehse},
journal= {arXiv preprint arXiv:1403.7841},
year = {2014}
}