Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/69183
Título: | Languages and models for hybrid automata: A coalgebraic perspective |
Autor(es): | Neves, Renato Jorge Araújo Barbosa, L. S. |
Palavras-chave: | Hybrid Automata Coalgebra Bisimulation Regular expression |
Data: | Out-2018 |
Editora: | Elsevier 1 |
Revista: | Theoretical Computer Science |
Citação: | Neves, R., & Barbosa, L. S. (2018). Languages and models for hybrid automata: A coalgebraic perspective. Theoretical Computer Science, 744, 113-142 |
Resumo(s): | 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. |
Tipo: | Artigo |
Descrição: | article in press |
URI: | https://hdl.handle.net/1822/69183 |
DOI: | 10.1016/j.tcs.2017.09.038 |
ISSN: | 0304-3975 |
Versão da editora: | https://www.sciencedirect.com/science/article/pii/S0304397517307193 |
Arbitragem científica: | yes |
Acesso: | Acesso aberto |
Aparece nas coleções: | HASLab - Artigos em revistas internacionais |