Hybrid automata as coalgebras

DOI10.1007/978-3-319-46750-4_22MaRDI QIDQ3179412zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Algebraic theory of languages and automata (68Q70) Categories of machines, automata (18B20)

Recommendations

• Languages and models for hybrid automata: a coalgebraic perspective
• scientific article; zbMATH DE number 1507210
• Continuity controlled hybrid automata
• Object-oriented hybrid systems of coalgebras plus monoid actions
• Hybrid I/O automata.

Cites work

• scientific article; zbMATH DE number 1696496 (Why is no real title available?)
• scientific article; zbMATH DE number 1301623 (Why is no real title available?)
• scientific article; zbMATH DE number 1950549 (Why is no real title available?)
• scientific article; zbMATH DE number 1507210 (Why is no real title available?)
• Approximate bisimulation: a bridge between computer science and control theory
• Bisimulation relations for dynamical, control, and hybrid systems
• Continuity as a computational effect
• Hybrid automata as coalgebras
• Introduction to coalgebra. Towards mathematics of states and observation
• Modeling and simulation of cardiac tissue using hybrid I/O automata
• Object-oriented hybrid systems of coalgebras plus monoid actions
• The algorithmic analysis of hybrid systems
• Traces for coalgebraic components
• Universal coalgebra: A theory of systems

Cited in

(9)

• Pliant modalities in hybrid Event-B
• Stream Automata Are Coalgebras
• Structured coalgebras and minimal HD-automata for the \(\pi\)-calculus
• Hybrid automata as coalgebras
• Limits in categories of Vietoris coalgebras
• Integrated Formal Methods
• Assume-guarantee reasoning for additive hybrid behaviour
• Coalgebraic Semantics of Heavy-Weighted Automata
• Languages and models for hybrid automata: a coalgebraic perspective

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)