神经振荡器的混合自动机与\epsilon-分析
计算工程、金融与科学
2012-08-21 v1 计算机科学中的逻辑
符号计算
摘要
本文提出了一种神经振荡器的混合模型，该模型通过对一个著名的连续模型进行部分离散化而获得。我们的构建指出，在这种情况下，基于用阶跃函数替换 Sigmoid 函数的标准技术并不令人满意。随后，我们通过符号方法和近似技术对该混合模型进行了研究。特别是后一种分析使我们能够展示所考虑的近似方法之间的差异。最后，我们聚焦于通过\epsilon-语义进行的近似，并证明了如何在实践中计算这些近似。
引用
@article{arxiv.1208.3852,
title = {Hybrid Automata and \epsilon-Analysis on a Neural Oscillator},
author = {Alberto Casagrande and Tommaso Dreossi and Carla Piazza},
journal= {arXiv preprint arXiv:1208.3852},
year = {2012}
}
备注
In Proceedings HSB 2012, arXiv:1208.3151