Verification of logic controllers for continuous plants using timed condition/event-system models

S. Kowalewski، نويسنده , , S. Engell، نويسنده , , J. Preu?ig، نويسنده , , O. Stursberg، نويسنده ,

روزنامه با شماره پیاپی سال 1999

14

505

518

Formal veri?cation , Programmable logic controllers , Distributed control systems , Discretization of continuous systems , hybrid systems , Timed automata , Condition/event systems

Automatica

1999

Automatica

368758