Object-oriented hybrid systems of coalgebras plus monoid actions

DOI10.1016/S0304-3975(99)00213-3zbMATH Open0944.68122MaRDI QIDQ1575271FDOQ1575271

Authors: Bart Jacobs 

Publication date: 21 August 2000

Published in: Theoretical Computer Science (Search for Journal in Brave)

Recommendations

• Hybrid automata as coalgebras
• Hybrid action systems
• Publication:2722027
• Languages and models for hybrid automata: a coalgebraic perspective
• scientific article; zbMATH DE number 1301627

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• The algorithmic analysis of hybrid systems
• An approach to object semantics based on terminal co-algebras
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• CONCUR '90. Theories of concurrency: unification and extension. Amsterdam, The Netherlands, August 1990. Proceedings
• Title not available (Why is that?)
• A Common Framework for Automata Theory and Control Theory
• Realization is universal
• Discrete-time machines in closed monoidal categories. I
• Minimal realization of machines in closed categories
• Proving the correctness of behavioural implementations
• Mongruences and cofree coalgebras

Cited In (4)

• A Single Complete Relational Rule for Coalgebraic Refinement
• Continuity as a computational effect
• Languages and models for hybrid automata: a coalgebraic perspective
• Hybrid Automata as Coalgebras

Uses Software

• Eiffel

This page was built for publication: Object-oriented hybrid systems of coalgebras plus monoid actions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1575271)