Frey, G.: Panel discussion on "Formal methods in PLC Control". Proceedings of the American Control Conference (ACC 2002), Vol. 5, pp. 4172-4173, Anchorage, Alaska, USA, May 2002.
PLCs are the primary workhorse of industrial automation. Due to the growing complexity of control algerithms, and the growing power of formal approaches, there is a lot ot interest in applying formal methods to PLC programming. In recent years, a lot of interdisciplinary work was aimed in this direction. This work results in the formalization of dfferent steps in the control design process depending on what problems are to be solved.