| 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 |
|
| DOI |
10.1016/j.tcs.2017.09.038 |
| 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. |
| Author Keywords |
Coalgebra; Hybrid automata; Bisimulation; Regular expression |
| Index Keywords |
Index Keywords |
| Document Type |
Other |
| Open Access |
Open Access |
| Source |
Science Citation Index Expanded (SCI-EXPANDED) |
| EID |
WOS:000447080800008 |
| WoS Category |
Computer Science, Theory & Methods |
| Research Area |
Computer Science |
| PDF |
https://repositorium.sdum.uminho.pt/bitstream/1822/69183/1/NB18.pdf
|