在Lince中分析混合程序的多次仿真
计算机科学中的逻辑
2025-11-19 v1 计算工程、金融与科学
摘要
混合系统日益用于医疗设备、基础设施系统和自动驾驶车辆等关键应用领域。Lince是一个用于指定和仿真此类系统的学术工具，其采用类似C语言的语法并包含微分方程。本文介绍了最近的实验，这些实验使Lince能够执行多个仿真变量并生成直方图，以量化给定属性成立的频率。我们使用自适应巡航控制系统的变体演示了扩展后的Lince。
引用
@article{arxiv.2511.14436,
title = {Analyzing Many Simulations of Hybrid Programs in Lince},
author = {Reydel Arrieta and José Proença and Patrick Meumeu Yomsi},
journal= {arXiv preprint arXiv:2511.14436},
year = {2025}
}
备注
In Proceedings FMAS 2025, arXiv:2511.13245