A Semantics for Hybrid Iteration

07/03/2018
by   Sergey Goncharov, et al.
0

The recently introduced notions of guarded traced (monoidal) category and guarded (pre-)iterative monad aim at unifying different instances of partial iteration whilst keeping in touch with the established theory of total iteration and preserving its merits. In this paper we use these notions and the corresponding stock of results to examine different types of iteration for hybrid computations. As a starting point we use an available notion of hybrid monad restricted to the category of sets, and modify it in order to obtain a suitable notion of guarded iteration with guardedness interpreted as progressiveness in time - we motivate this modification by our intention to capture Zeno behaviour in an arguably general and feasible way. We illustrate our results with a simple programming language for hybrid computations and interpret it over the developed semantic foundations.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
07/30/2018

A Metalanguage for Guarded Iteration

Notions of guardedness serve to delineate admissible recursive definitio...
research
02/23/2018

Guarded Traced Categories

Notions of guardedness serve to delineate the admissibility of cycles, e...
research
02/23/2021

Uniform Elgot Iteration in Foundations

Category theory is famous for its innovative way of thinking of concepts...
research
09/29/2020

Implementing Hybrid Semantics: From Functional to Imperative

Hybrid programs combine digital control with differential equations, and...
research
06/07/2023

On categorical structures arising from implicative algebras: from topology to assemblies

Implicative algebras have been recently introduced by Miquel in order to...
research
01/15/2023

Shades of Iteration: from Elgot to Kleene

Notions of iteration range from the arguably most general Elgot iteratio...
research
02/20/2019

An Adequate While-Language for Hybrid Computation

Hybrid computation combines discrete and continuous dynamics in the form...

Please sign up or login with your details

Forgot password? Click here to reset