مرکز منطقه ای اطلاع رساني علوم و فناوري - Integrating Temporal Logic as a State-Based Specification Language for Discrete-Event Control Design in Finite Automata

Title of article :

Integrating Temporal Logic as a State-Based Specification Language for Discrete-Event Control Design in Finite Automata

Author/Authors :

K. T. Seow، نويسنده ,

Issue Information :

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

Pages :

From page :

451

To page :

464

Keywords :

Automation , Finiteautomata , discrete-event systems (DESs) , propositional linear-time temporal logic (PTL) , supervisorycontrol.

Journal title :

I E E E Transactions on Automation Science and Engineering

Serial Year :

2007

Journal title :

I E E E Transactions on Automation Science and Engineering

Record number :

391887

Link To Document :