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).

A maximal entropy stochastic process for a timed automaton

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

Theoretical problem statement
Lift the Shannon/Parry Markov chain of a strongly connected
finite graph to the timed automata settings.
(aka MME of an irreducible SFT)
Practical problem statement
Generate quickly and as uniformly as possible runs of a timed
automaton.
◮ quickly: Step by step simulation as with a finite state Markov
Chain → Stochastic Process Over Runs (SPOR)
◮ ≈ uniformly → SPOR of maximal entropy + asymptotic
equipartition property.

Class: 
Scientific
Subject: 
Mathematics
  • 6559 reads