Timed automata: models, languages, dynamics

Author: 
Eugene Asarin
Date: 
Mon, Jun 3, 2013 - Fri, Jun 7, 2013
Location: 
UBC
Conference: 
Automata Theory and Symbolic Dynamics
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
Notes: