{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:20:12Z","timestamp":1725484812733},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540430759"},{"type":"electronic","value":"9783540455752"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45575-2_47","type":"book-chapter","created":{"date-parts":[[2007,5,30]],"date-time":"2007-05-30T21:30:22Z","timestamp":1180560622000},"page":"494-499","source":"Crossref","is-referenced-by-count":2,"title":["Generalised Computability and Applications to Hybrid Systems"],"prefix":"10.1007","author":[{"given":"Margarita V.","family":"Korovina","sequence":"first","affiliation":[]},{"given":"Oleg V.","family":"Kudinov","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,12,18]]},"reference":[{"key":"47_CR1","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-11035-5","volume-title":"Admissible sets and structures","author":"J. Barwise","year":"1975","unstructured":"J. Barwise, Admissible sets and structures, Berlin, Springer-Verlag, 1975."},{"key":"47_CR2","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/S0304-3975(98)00097-8","volume":"210","author":"A. Edalat","year":"1998","unstructured":"A. Edalat, P. S\u00fcnderhauf, A domain-theoretic approach to computability on the real line, Theoretical Computer Science, 210, 1998, pages 73\u201398.","journal-title":"Theoretical Computer Science"},{"key":"47_CR3","unstructured":"Yu. L. Ershov, Definability and computability, Plenum, New York, 1996."},{"key":"47_CR4","doi-asserted-by":"crossref","unstructured":"A. Grzegorczyk, On the definitions of computable real continuous functions, Fund. Math., N 44, 1957, pages 61\u201371.","DOI":"10.4064\/fm-44-1-61-71"},{"key":"47_CR5","series-title":"Lect Notes Comput Sci","first-page":"36","volume-title":"Towards refining Temporal Specifications into Hybrid Systems","author":"T.A. Henzinger","year":"1993","unstructured":"T.A. Henzinger, Z. Manna, A. Pnueli, Towards refining Temporal Specifications into Hybrid Systems, LNCS N 736, 1993, pages 36\u201360."},{"issue":"3","key":"47_CR6","first-page":"59","volume":"8","author":"M. Korovina","year":"1998","unstructured":"M. Korovina, O. Kudinov, A New Approach to Computability over the Reals, SibAM, v. 8, N 3, 1998, pages 59\u201373.","journal-title":"A New Approach to Computability over the Reals, SibAM"},{"key":"47_CR7","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"188","DOI":"10.1007\/10703163_14","volume-title":"Characteristic Properties of Majorant-Computability over the Reals","author":"M. Korovina","year":"1999","unstructured":"M. Korovina, O. Kudinov, Characteristic Properties of Majorant-Computability over the Reals, Proc. of CSL\u201998, LNCS, 1584, 1999, pages 188\u2013204."},{"key":"47_CR8","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"10","DOI":"10.1007\/3-540-46562-6_2","volume-title":"A Logical approach to Specifications of Hybrid Systems","author":"M. Korovina","year":"2000","unstructured":"M. Korovina, O. Kudinov, A Logical approach to Specifications of Hybrid Systems, Proc. of PSI\u201999, LNCS 1755, 2000, pages 10\u201316."},{"key":"47_CR9","series-title":"Lect Notes Comput Sci","volume-title":"Formalisation of Computability of Operators and Real-Valued Functionals via Domain Theory","author":"M. Korovina","year":"2001","unstructured":"M. Korovina, O. Kudinov, Formalisation of Computability of Operators and Real-Valued Functionals via Domain Theory, Proceedings of CCA-2000, to appear in LNCS, 2001."},{"key":"47_CR10","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"4","DOI":"10.1007\/3-540-57318-6_22","volume-title":"Verifying Hybrid Systems","author":"Z. Manna","year":"1993","unstructured":"Z. Manna, A. Pnueli, Verifying Hybrid Systems, LNCS N 736, 1993, pages 4\u201336."},{"key":"47_CR11","doi-asserted-by":"crossref","unstructured":"R. Montague, Recursion theory as a branch of model theory, Proc. of the third international congr. on Logic, Methodology and the Philos. of Sc., 1967, Amsterdam, 1968, pages 63\u201386.","DOI":"10.1016\/S0049-237X(08)71187-X"},{"key":"47_CR12","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"317","DOI":"10.1007\/3-540-57318-6_35","volume-title":"Models for Hybrid Systems, Automata, Topologies, Controllability, Observability","author":"A. Nerode","year":"1993","unstructured":"A. Nerode, W. Kohn, Models for Hybrid Systems, Automata, Topologies, Controllability, Observability, LNCS N 736, 1993, pages 317\u2013357."},{"key":"47_CR13","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"174","DOI":"10.1007\/BFb0031561","volume-title":"Agent Based Velocity Control of Highway Systems","author":"W. Kohn","year":"1997","unstructured":"W. Kohn, A. Nerode, J. B. Remmel Agent Based Velocity Control of Highway Systems, LNCS N 1273, 1997, pages 174\u2013215."},{"key":"47_CR14","doi-asserted-by":"crossref","unstructured":"M. B. Pour-El, J. I. Richards, Computability in Analysis and Physics, Springer-Verlag, 1988.","DOI":"10.1007\/978-3-662-21717-7"},{"key":"47_CR15","unstructured":"D. Scott, Outline of a mathematical theory of computation, In 4th Annual Princeton Conference on Information Sciences and Systems, 1970, pages 169\u2013176."},{"key":"47_CR16","doi-asserted-by":"publisher","first-page":"347","DOI":"10.1016\/S0304-3975(98)00296-5","volume":"219","author":"V. Stoltenberg-Hansen","year":"1999","unstructured":"Viggo Stoltenberg-Hansen, John V. Tucker, Concrete models of computation for topological algebras, TCS 219, 1999, pages 347\u2013378.","journal-title":"TCS"},{"key":"47_CR17","doi-asserted-by":"crossref","unstructured":"K. Weihrauch, Computable analysis. An introduction, Springer, 2000.","DOI":"10.1007\/978-3-642-56999-9"}],"container-title":["Lecture Notes in Computer Science","Perspectives of System Informatics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45575-2_47","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T09:34:47Z","timestamp":1556444087000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45575-2_47"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540430759","9783540455752"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-45575-2_47","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}