PAIS Lab seminar "Overview of real-time models"
September 15, Wednesday
18:10 (Moscow time)
Overview of real-time models
Evgenii Vinarskii, PAIS Lab Research Assistant
Join the seminar using Zoom
ID: 934 7574 8284
This presentation is devoted to the current deals in studying real-time models. We consider the classical Timed Automaton (TA) model. Then we move to the Timed Finite State Machines (TFSM) model. There are three main TFSM models: (i) TFSM with timed guards, (ii) TFSM with timeouts (iii) TFSM with timed guards and timeouts. We consider equivalence relation between various real-time models and bisimulation relation between timed and untimed models.