| Title | Languages and models for hybrid automata: A coalgebraic perspective |
|---|---|
| ID_Doc | 79242 |
| Authors | Neves, R; Barbosa, LS |
| Title | Languages and models for hybrid automata: A coalgebraic perspective |
| Year | 2018 |
| Published | |
| 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. (C) 2017 Elsevier B.V. All rights reserved. |
| https://repositorium.sdum.uminho.pt/bitstream/1822/69183/1/NB18.pdf |
No similar articles found.