Error message

  • Deprecated function: Optional parameter $js declared before required parameter $element is implicitly treated as a required parameter in include_once() (line 1445 of /var/www/html/mathtube.org/includes/bootstrap.inc).
  • Deprecated function: Optional parameter $input declared before required parameter $form_state is implicitly treated as a required parameter in include_once() (line 1445 of /var/www/html/mathtube.org/includes/bootstrap.inc).

Timed automata: models, languages, dynamics

Author: 
Eugene Asarin
Date: 
Mon, Jun 3, 2013 to Fri, Jun 7, 2013
Location: 
UBC
Conference: 
Automata Theory and Symbolic Dynamics
Download PDF file
Abstract: 

Timed automata
• A model for verification of real-time systems
• Invented by Alur and Dill in early 1990s
• Precursors: time Petri nets (Bethomieu)
• Now: an efficient model for verification, supported by
tools (Uppaal)
• A popular researh topic (¿8000 citation for papers by Alur
and Dill)
• modeling and verification
• decidability and algorithmics
• automata and language theory
• very recent: dynamics
• Inspired by TA: hybrid automata, data automata,
automata on nominal sets

Class: 
Scientific
Subject: 
Mathematics
  • 6875 reads