Lib.rs

› 算法 › Banquo
#hybrid #distance #temporal #logic #metrics #monitoring #banquo

banquo-hybrid_distance

Banquo 监视器的混合距离实现

由 Quinn Thibeault 编写

1 个不稳定版本

0.1.0 2024年2月7日

#2271 in 算法


用于 banquo

BSD-3-Clause

150KB
2K SLoC

Banquo 混合距离

该软件包包含 Banquo 时间逻辑监视库用于支持混合距离度量的类型和实现。该库不打算直接使用，而是应使用带有 hybrid-distance 功能启用的 banquo 软件包。

结构体

  • HybridPredicate
  • HybridState
  • HybridDistance

依赖项

~3MB
~52K SLoC