• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

Мероприятия

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

Password: 384542

 

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.