pyHybrid分析

pyHybrid Analysis：一个用于混合系统语义分析的包。混合自动机自然地表现出混合离散连续行为的系统。他们的可达性问题的不确定性限制了准时调查这种形式主义的机会。建立了这种否定结果和与任何可观察现象不对应的伪影的存在，主要是由于连续域的密度所致，因此提出了一类有限精度语义（epsilon-semantics）来分析混合自动机。本文提出了一个Python包pyHybrid Analysis，它既实现了[epsilon]-语义框架，又允许分析混合自动机。