Skip to main content
Disciplines
Automotive Business IT + Informatics Construction + Real Estate Electrical Engineering + Electronics Energy + Sustainability Insurance + Risk Finance + Banking Management + Leadership Marketing + Sales Mechanical Engineering + Materials
Events
DE
EN
Books
Journals
Topic Page
Marketing
Start single access now
Access for companies
EXTENDED SEARCH
Log in
Top
Published in:
Higher-Order Languages: Bisimulation and Coinductive Equivalences (Extended Abstract) Read chapter Read first chapter

2014 | OriginalPaper | Chapter

Algebraic–Coalgebraic Recursion Theory of History-Dependent Dynamical System Models

Authors : Baltasar Trancón y Widemann, Michael Hauhs

Published in: Coalgebraic Methods in Computer Science

Publisher: Springer Berlin Heidelberg

Log in

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

Abstract

We investigate the common recursive structure of history-dependent dynamic models in science and engineering. We give formal semantics in terms of a hybrid algebraic–coalgebraic scheme, namely course-of-value iteration. This theoretical approach yields categories of observationally equivalent model representations with precise semantic relationships. Along the initial–final axis of these categories, history dependence can appear both literally and transformed into instantaneous state. The framework can be connected to philosophical and epistemological discourse on one side, and to algorithmic considerations for computational modeling on the other.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

inform now
previous chapter Towards Systematic Construction of Temporal Logics for Dynamical Systems via Coalgebra
Literature
1.
Box, G.E., Jenkins, G.M.: Time Series Analysis: Forecasting and Control. Holden-Day, San Francisco (1970)MATH
2.
Granger, C.W.J., Joyeux, R.: An introduction to long-memory time series models and fractional differencing. J. Time Ser. Anal. 1, 15–30 (1980)MATHMathSciNetCrossRef
3.
Hauhs, M., Trancón y Widemann, B.: Applications of algebra and coalgebra in scientific modelling, illustrated with the logistic map. Electron. Notes Theoret. Comput. Sci. 264(2), 105–123 (2010)CrossRef
4.
Hipel, K.W., McLeod, A.I.: Time Series Modelling of Water Resources and Environmental Systems. Elsevier, Amsterdam (1994)
5.
Montanari, A., Rosso, R., Taqqu, M.S.: Fractionally differenced ARIMA models applied to hydrologic time series: identification, estimation, and simulation. Water Resour. Res. 33(5), 1035–1044 (1997)CrossRef
6.
Montanari, A., Rosso, R., Taqqu, M.S.: A seasonal fractional ARIMA model applied to the Nile river monthly flows at Aswan. Water Resour. Res. 36(5), 1249–1259 (2000)CrossRef
7.
Peters, R.H.: A Critique for Ecology. Cambridge University Press, Cambridge (1991)
8.
Quinn, C., Vilkomir, S.A., Parnas, D.L., Kostic, S.: Specification of software component requirements using the trace function method. In: Proceedings of ICSEA, p. 50. IEEE Computer Society (2006)
9.
Rosen, R.: Life Itself: a Comprehensive Inquiry into the Nature, Origin, and Fabrication of Life. Columbia University Press, New York (1991)
10.
11.
12.
Smolin, L.: Time Reborn: From the Crisis in Physics to the Future of the Universe. Houghton Mifflin Harcourt, Boston (2013)
13.
Trancón y Widemann, B.: The recursion scheme of the trace function method. In: Filipe, J., Maciaszek, L.A. (eds.) Proceedings of ENASE, pp. 146–155 (2012)
14.
Trnková, V.: Some properties of set functors. Comment. Math. Univ. Carol. 10(2), 323–352 (1969)MATH
15.
Uustalu, T., Vene, V.: Primitive (co)recursion and course-of-value (co)iteration, categorically. Informatica 10(1), 5–26 (1999)MATHMathSciNet
Metadata
Title
Algebraic–Coalgebraic Recursion Theory of History-Dependent Dynamical System Models
Authors
Baltasar Trancón y Widemann
Michael Hauhs
Copyright Year
2014
Publisher
Springer Berlin Heidelberg
Book
Coalgebraic Methods in Computer Science

Print ISBN: 978-3-662-44123-7

Electronic ISBN: 978-3-662-44124-4

Copyright Year: 2014

DOI
https://doi.org/10.1007/978-3-662-44124-4_13

Premium Partner

    Image Credits