pyHybrid分析

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

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换