MoL-2023-09: A Program Calculus for Dynamical Systems

MoL-2023-09: Weigert, Patrick (2023) A Program Calculus for Dynamical Systems. [Report]

[thumbnail of MoL-2023-09.text.pdf] Text
MoL-2023-09.text.pdf - Published Version

Download (1MB)


We develop a type theory for dynamical systems seen as computational processes. Denotational semantics for dynamical systems are constructed from ‘‘finitary approximations’’ to them, via domain theory. We study the resulting categories of domains, characterise them via certain free constructions, and derive two type theories from them, using techniques from categorical logic. The first theory, obtained from a free construction, is designed to be sound and complete with respect to a finitary fragment of the category; the second is a sound infinitary extension that can express all computable functions. We finish by sketching two applications: a programming language for manipulating dynamical systems, and a logical framework for reasoning about properties of those systems. The work exemplifies a general approach for deriving formal reasoning tools about a computational situation from a suitable category of domains.

Item Type: Report
Report Nr: MoL-2023-09
Series Name: Master of Logic Thesis (MoL) Series
Year: 2023
Subjects: Computation
Depositing User: Dr Marco Vervoort
Date Deposited: 13 Jul 2023 14:38
Last Modified: 22 Jan 2024 13:54

Actions (login required)

View Item View Item