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: |
