Series: Penn State Logic Seminar

Date: Tuesday, January 27, 2004

Time: 2:30 - 3:45 PM

Place: 307 Boucke Building

Speaker: Christoper Griffin, Penn State, Mathematics and ARL

Title: 

  Discrete Event Control, an Application of Mathematical Logic to
  Engineering
        
Abstract:

  In this talk we will introduce the discrete event control theory
  developed by P.J. Ramadge and W. M. Wonham in the eighties.  In
  particular we will discuss the concept of controllability, a Pi^0_2
  model checking criterion, that is central to discrete event control.
  We will present recent decidability results obtained by Griffin and
  Phoha on controllability checking.