Seminar Details
2008-02-05 (14.00) : Computability in Linear Dynamical Systems
At Euler building
Organized by Mathematical Engineering
Speaker :
Paul BELL
(University of Liverpool/CESAME )
Abstract :
We shall present some current results of computational problems on
matrix semigroups and low dimensional dynamical systems with an
emphasis on reachability and recurrence type problems. In such
problems we are given a finite set of matrices over a semiring and
wish to decide whether certain properties of the semigroup generated
by this set are algorithmically decidable or not. These problems
very often have interpretations in terms of linear dynamical systems
and we shall highlight the connection between these two subjects. We
shall also see some matrix interpretations of Skolem's problem
concerning linear recurrent sequences. Open problems in these areas
and possibilities for future work will also be presented.