Title of article
Verification of logic controllers for continuous plants using timed condition/event-system models
Author/Authors
S. Kowalewski، نويسنده , , S. Engell، نويسنده , , J. Preu?ig، نويسنده , , O. Stursberg، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 1999
Pages
14
From page
505
To page
518
Keywords
Formal veri?cation , Programmable logic controllers , Distributed control systems , Discretization of continuous systems , hybrid systems , Timed automata , Condition/event systems
Journal title
Automatica
Serial Year
1999
Journal title
Automatica
Record number
368758
Link To Document