Algebraic–Coalgebraic Recursion Theory of History-Dependent Dynamical System Models
B Trancón y Widemann, M Hauhs - … in Computer Science: 12th IFIP WG …, 2014 - Springer
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 …
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 …
[HTML][HTML] Algebraic–coalgebraic recursion theory of history-dependent dynamical system models
BT y Widemann, M Hauhs - Theoretical Computer Science, 2015 - Elsevier
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 …
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 …
Showing the best results for this search. See all results