Axiomatizing Analog Algorithms
Axiomatizing Analog Algorithms
复制标题
公理化模拟算法
DOI：
10.1007/978-3-319-40189-8_22
复制
发表时间：
2016
期刊：
影响因子：
--
通讯作者：
P. Néron
中科院分区：
文献类型：
--
作者：
Olivier Bournez;N. Dershowitz;P. Néron
我们提出了一个形式化的通用算法，包括模拟算法。这是通过重新制定和扩展抽象状态机的框架，包括连续时间的计算模型。我们证明了每一个混合算法满足一些合理的假设，可以精确地表示为一个简单的和富有表现力的语言程序。
We propose a formalization of generic algorithms that includes analog algorithms. This is achieved by reformulating and extending the framework of abstract state machines to include continuous-time models of computation. We prove that every hybrid algorithm satisfying some reasonable postulates may be expressed precisely by a program in a simple and expressive language.