Scientific

µ - Equicontinuity and weak convergence in zero-dimensional spaces

Author: 
Felipe García-Ramos
Date: 
Mon, Jun 3, 2013 to Fri, Jun 7, 2013
Location: 
UBC
Conference: 
Automata Theory and Symbolic Dynamics
Abstract: 

µ - Equicontinuity and weak convergence in zero-dimensional spaces

Notes: 
PDF icon Garcia-RamosF- Automata.pdf
Class: 
Scientific
Subject: 
Mathematics

Entropy of tree automata, joint spectral radii and zero-error coding

Author: 
Catalin Dima
Date: 
Mon, Jun 3, 2013 to Fri, Jun 7, 2013
Location: 
UBC
Conference: 
Automata Theory and Symbolic Dynamics
Abstract: 

Entropy of trees & tree automata.
Entropy of tree automata = joint spectral radius.
The zero-error coding problem with states.
Approximating zero-error capacities of codes.
Open problems, etc.

Notes: 
PDF icon DimaC- Automata.pdf
Class: 
Scientific
Subject: 
Mathematics

A categorical invariant of flow equivalence of shifts

Author: 
Alfredo Costa
Date: 
Mon, Jun 3, 2013 to Fri, Jun 7, 2013
Location: 
UBC
Conference: 
Automata Theory and Symbolic Dynamics
Abstract: 

A categorical invariant of flow equivalence of shifts

Notes: 
PDF icon CostaA- Automata.pdf
Class: 
Scientific
Subject: 
Mathematics

Markov Random Fields and the Pivot Property

Author: 
Nishant Chandgotia
Date: 
Mon, Jun 3, 2013 to Fri, Jun 7, 2013
Location: 
UBC
Conference: 
Automata Theory and Symbolic Dynamics
Abstract: 

Markov Random Fields and the Pivot Property

Notes: 
PDF icon ChandgotiaN- Automata.pdf
Class: 
Scientific
Subject: 
Mathematics

Markov diagrams for some non-Markovian systems

Author: 
Kathleen Carroll
Karl Petersen
Date: 
Mon, Jun 3, 2013 to Fri, Jun 7, 2013
Location: 
UBC
Conference: 
Automata Theory and Symbolic Dynamics
Abstract: 

Markov diagrams for some non-Markovian systems

Notes: 
PDF icon CarrollK & PetersenK- Automata.pdf
Class: 
Scientific
Subject: 
Mathematics

Pisot numeration systems and beyond

Author: 
V. Berthé
W. Steiner
J. Thuswaldner
Date: 
Mon, Jun 3, 2013 to Fri, Jun 7, 2013
Location: 
UBC
Conference: 
Automata Theory and Symbolic Dynamics
Abstract: 

Pisot numeration systems and beyond

Notes: 
PDF icon BertheV- Automata.pdf
Class: 
Scientific
Subject: 
Mathematics

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

Notes: 
PDF icon BassetN- Automata.pdf
Class: 
Scientific
Subject: 
Mathematics

Characterizing some limit sets of Cellular Automata

Author: 
Alexis Ballier
Date: 
Mon, Jun 3, 2013 to Fri, Jun 7, 2013
Location: 
UBC
Conference: 
Automata Theory and Symbolic Dynamics
Abstract: 

Characterizing some limit sets of Cellular Automata

Notes: 
PDF icon BallierA- Automata.pdf
Class: 
Scientific
Subject: 
Mathematics

Multidimensional Effective Subshifts

Author: 
Nathalie Aubrun
Mathieu Sablik
Date: 
Mon, Jun 3, 2013 to Fri, Jun 7, 2013
Location: 
UBC
Conference: 
Automata Theory and Symbolic Dynamics
Abstract: 

Multidimensional SFT and effective subshifts
Projective subdynamics
Implementation of Turing machines inside SFT
Substitutive subshifts

Notes: 
PDF icon AuburnN- Automata.pdf
Class: 
Scientific
Subject: 
Mathematics

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
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: 
PDF icon AsarinE- Automata.pdf
Class: 
Scientific
Subject: 
Mathematics

Pages