Continuity as a computational effect

DOI10.1016/j.jlamp.2016.05.005zbMath1355.68059arXiv1507.03219OpenAlexW3101190929MaRDI QIDQ2374315

Manuel A. Martins, Dirk Hofmann, Renato Neves, Luís Soares Barbosa

Publication date: 15 December 2016

Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1507.03219

zbMATH Keywords

hybrid systemscontrol theorycomponentsmonads

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Eilenberg-Moore and Kleisli constructions for monads (18C20)

Related Items

Hybrid Automata as Coalgebras, Unnamed Item, Languages and models for hybrid automata: a coalgebraic perspective, Probabilistic mediator: a coalgebraic perspective, Limits in categories of Vietoris coalgebras

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Notions of computation and monads
• Transposing partial components--an exercise on coalgebraic refinement
• Kleisli morphisms and randomized congruences for the Giry monad
• Object-oriented hybrid systems of coalgebras plus monoid actions
• Programming from Galois connections
• Towards a linear algebra of programming
• Bisimulation and cocongruence for probabilistic systems
• Strong functors and monoidal monads
• Bisimulation relations for dynamical, control, and hybrid systems
• Tensors, monads and actions
• Formal Verification of Simulink/Stateflow Diagrams
• Towards Component Based Design of Hybrid Systems: Safety and Stability
• Verification and Control of Hybrid Systems
• Introduction to Dynamical Systems
• Non-Hausdorff Topology and Domain Theory
• Extended Static Checking by Calculation Using the Pointfree Transform
• Measurable Spaces and Their Effect Logic
• Preparing Relational Algebra for “Just Good Enough” Hardware