Languages and models for hybrid automata: A coalgebraic perspective

Thumbnail Image
Date
2018
Authors
Luís Soares Barbosa
Renato Jorge Neves
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
We study hybrid automata from a coalgebraic point of view. We show that such a perspective supports a generic theory of hybrid automata with a rich palette of definitions and results. This includes, among other things, notions of bisimulation and behaviour, state minimisation techniques, and regular expression languages.
Description
Keywords
Citation