References & Citations
Computer Science > Logic in Computer Science
Title: Axiomatizing Analog Algorithms
(Submitted on 14 Apr 2016 (v1), last revised 25 Apr 2016 (this version, v2))
Abstract: 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.
Submission history
From: Olivier Bournez [view email][v1] Thu, 14 Apr 2016 20:13:44 GMT (16kb)
[v2] Mon, 25 Apr 2016 19:57:51 GMT (18kb)
Link back to: arXiv, form interface, contact.