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
14
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