Hybrid automata as coalgebras
From MaRDI portal
Publication:3179412
DOI10.1007/978-3-319-46750-4_22zbMATH Open1400.68111OpenAlexW2522370207MaRDI QIDQ3179412FDOQ3179412
Authors: Renato Neves, L. S. Barbosa 
Publication date: 21 December 2016
Published in: Theoretical Aspects of Computing – ICTAC 2016 (Search for Journal in Brave)
Full work available at URL: http://repositorio.inesctec.pt/handle/123456789/6831
Recommendations
Formal languages and automata (68Q45) Algebraic theory of languages and automata (68Q70) Categories of machines, automata (18B20)
Cites Work
- Universal coalgebra: A theory of systems
- Title not available (Why is that?)
- Traces for coalgebraic components
- The algorithmic analysis of hybrid systems
- Modeling and simulation of cardiac tissue using hybrid I/O automata
- Title not available (Why is that?)
- Title not available (Why is that?)
- Bisimulation relations for dynamical, control, and hybrid systems
- Approximate bisimulation: a bridge between computer science and control theory
- Continuity as a computational effect
- Introduction to coalgebra. Towards mathematics of states and observation
- Object-oriented hybrid systems of coalgebras plus monoid actions
- Title not available (Why is that?)
- Hybrid automata as coalgebras
Cited In (8)
- Coalgebraic Semantics of Heavy-Weighted Automata
- Integrated Formal Methods
- Pliant modalities in hybrid Event-B
- Structured coalgebras and minimal HD-automata for the \(\pi\)-calculus
- Languages and models for hybrid automata: a coalgebraic perspective
- Hybrid automata as coalgebras
- Limits in categories of Vietoris coalgebras
- Stream Automata Are Coalgebras
This page was built for publication: Hybrid automata as coalgebras
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3179412)
