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


  Discrete Event Control, an Application of Mathematical Logic to

  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.