Campus Event Calendar
Event Entry
What and Who
Decision Problems for Linear Dynamical Systems
Joel Ouaknine
Oxford University
MPI Colloquium Series Distinguished Speaker
AG 1, AG 2, AG 3, AG 4, AG 5, RG1, SWS, MMCI
MPI Audience
English
Note: We use this to send email in the morning.
Date, Time and Location
Friday, 30 October 2015
13:00
60 Minutes
E1 4
024
Saarbrücken
Abstract
Linear dynamical systems, both discrete and continuous, permeate vast areas of mathematics, physics, and computer science. In this talk, we consider a selection of natural decision problems for linear dynamical systems, such as reachability of a given hyperplane. Such problems have applications in a wide array of scientific areas, ranging from theoretical biology and software verification to quantum computing and statistical physics. Perhaps surprisingly, the study of decidability and complexity questions for linear dynamical systems involves techniques from a variety of mathematical fields, including analytic and algebraic number theory, Diophantine geometry, and real algebraic geometry. I will survey some of the known results as well as recent advances and open problems.
Contact
Kurt Mehlhorn
--email hidden
passcode not visible
logged in users only
Kurt Mehlhorn, 10/20/2015 08:55 -- Created document.