Please use this identifier to cite or link to this item: http://repositorio.inesctec.pt/handle/123456789/6831
Title: Hybrid Automata as Coalgebras
Authors: Renato Jorge Neves
Luís Soares Barbosa
Issue Date: 2016
Abstract: Able to simultaneously encode discrete transitions and continuous behaviour, hybrid automata are the de facto framework for the formal specification and analysis of hybrid systems. The current paper revisits hybrid automata from a coalgebraic point of view. This allows to interpret them as state-based components, and provides a uniform theory to address variability in their definition, as well as the corresponding notions of behaviour, bisimulation, and observational semantics.
URI: http://repositorio.inesctec.pt/handle/123456789/6831
http://dx.doi.org/10.1007/978-3-319-46750-4_22
metadata.dc.type: conferenceObject
Publication
Appears in Collections:HASLab - Articles in International Conferences

Files in This Item:
File Description SizeFormat 
P-00M-475.pdf381.76 kBAdobe PDFThumbnail
View/Open


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