Please use this identifier to cite or link to this item:
|Title:||Languages and models for hybrid automata: A coalgebraic perspective|
|Authors:||Luís Soares Barbosa|
Renato Jorge Neves
|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.|
|Appears in Collections:||HASLab - Articles in International Journals|
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.