Title :
Panel discussion on "formal methods in plc control"
Author_Institution :
University of Kaiserslautern
Keywords :
Asymptotic stability; Automatic control; Automation; Control systems; Cost function; Feedback; Industrial control; Logic programming; Optimal control; Programmable control;
Conference_Titel :
American Control Conference, 2002. Proceedings of the 2002
Conference_Location :
Anchorage, AK, USA
Print_ISBN :
0-7803-7298-0
DOI :
10.1109/ACC.2002.1024584
