27.sep, 11:30 ICT-411 "A Uniform Theory of Hybrid Automata"
Tarkvarateaduse instituudi seminaril neljapäeval, 27.09.2018 kell 11:30 esineb Renato Neves (Minho Ülikool, Braga) teemal "A Uniform Theory of Hybrid Automata".
Seminar toimub inglise keeles ruumis ICT-411.
Able to naturally encode discrete and continuous transitions at the same time, hybrid automata are the standard formalism for hybrid systems. Thus, not surprisingly, they have a very rich theory which includes notions of bisimulation, decidability results, and extensions for accommodating new types of behaviour.
In this talk we will visit hybrid automata from a coalgebraic point of view. We will see that such a perspective promotes a generic theory of hybrid automata that addresses variability in their underlying definition and corresponding notions. In practice, this makes possible to study and develop different types of hybrid automata in a completely uniform manner.
We will also see that the coalgebraic perspective provides, almost for free, a rich palette of definitions and results that were not previously considered in hybrid automata literature. This includes notions of bisimulation and behaviour, state minimisation techniques, and regular expression languages.