Please use this identifier to cite or link to this item: http://repositorio.inesctec.pt/handle/123456789/10521
Title: Languages and models for hybrid automata: A coalgebraic perspective
Authors: Luís Soares Barbosa
Renato Jorge Neves
Issue Date: 2018
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.
URI: http://repositorio.inesctec.pt/handle/123456789/10521
http://dx.doi.org/10.1016/j.tcs.2017.09.038
metadata.dc.type: Publication
article
Appears in Collections:HASLab - Articles in International Journals

Files in This Item:
File Description SizeFormat 
P-00P-KY7.pdf561.24 kBAdobe PDFThumbnail
View/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.