Title of article

Syntax-based synthesis for temporal-safety supervision

Author/Authors

Kiam Tian Seow، نويسنده ,

Issue Information

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

Pages

8

From page

1965

To page

1972

Keywords

Discrete-event systems , Control synthesis , Temporal Logic

Journal title

Automatica

Serial Year

2005

Journal title

Automatica

Record number

370322