违反

Breach,一个用于混合系统验证和参数综合的工具箱。我们描述了Breach,一个Matlab/C++工具箱,提供了一套连贯的基于仿真的技术,旨在分析混合动力系统的确定性模型。突破口的主要特点是便于大组轨迹的计算和性质研究。它依赖于一个高效的常微分方程数值解算器,该解算器还可以提供有关参数变化敏感性的信息。后者用于近似可达性分析和参数综合。一个主要的新特性是对度量区间时态逻辑(MITL)公式的健壮监视。突破口的应用领域从嵌入式系统设计到系统生物学的复杂非线性模型分析。