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.