DocumentCode

2081367

Title

Panel discussion on "formal methods in plc control"

Author

Frey, Georg

Author_Institution

University of Kaiserslautern

Volume

5

fYear

2002

fDate

8-10 May 2002

Firstpage

4172

Lastpage

4173

Keywords

Asymptotic stability; Automatic control; Automation; Control systems; Cost function; Feedback; Industrial control; Logic programming; Optimal control; Programmable control;

fLanguage

English

Publisher

ieee

Conference_Titel

American Control Conference, 2002. Proceedings of the 2002

Conference_Location

Anchorage, AK, USA

ISSN

0743-1619

Print_ISBN

0-7803-7298-0

Type

conf

DOI

10.1109/ACC.2002.1024584

Filename

1024584