contact

mscacc AT cs DOT mcgill DOT ca

Project Description

Learning and Discovery in Dynamical Systems with Hidden State

We consider the problem of learning in dynamical systems with hidden state. This problem is deemed challenging due to the fact that the state is not completely visible to an outside observer. We explore two candidate algorithms: a looping prediction suffix tree algorithm (Isbell & Holmes, 2006), and an algorithm which we call the Merge-Split algorithm, for learning deterministic automata with observations. The latter is based on the work of Gavalda et al. (2006), which approximates a given Hidden Markov Model (HMM) with a learned Probabilistic Deterministic Finite Automaton(PDFA). We aim to discover an algorithm that constructs the most succinct automaton consistent with the data collected from a partially observable system.

Notes

  • Behavioural Equivalences and the Double Dual
  • Double Dual of a Simple POPA
  • June 27 Meeting
  • An example of a DFA where we would need to consider longer prefixes in order to determine the transition set of a node in the PST.