Computability via analog circuits

Graça, Daniel

http://hdl.handle.net/10400.1/1039

Use this identifier to reference this record.

Send Feedback

Authors

Graça, Daniel

Abstract(s)

In this paper we are interested in a particular model of analog computation, the General Purpose Analog Computer (GPAC). In particular, we provide more solid foundations for this model and we show that it can be used to introduce a notion of computability for smooth continuous dynamical systems over Rn. We also show that hierarchies over these dynamical systems can be established, thereby defining a notion of relative computability.

URI

http://hdl.handle.net/10400.1/1039

Publisher

V. Brattka, M. Schröder, K. Weihrauch, and N. Zhong

Collections

FCT2-Artigos (em revistas ou actas indexadas)

Full item page