|
| Keyword : programmable logic controller
| |
|
Safety Verification of Material Handling Systems Driven by Programmable Logic Controller--Consideration of Physical Behavior of Plants--
Eiji KONAKA Tatsuya SUZUKI Shigeru OKUMA | Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2004/04/01
Vol. E87-A
No. 4 ;
pp. 843-849
Type of Manuscript:
Special Section PAPER (Special Section on Selected Papers from the 16th Workshop on Circuits and Systems in Karuizawa)
Category:
Keyword:
programmable logic controller, safety verification, hybrid dynamical system, | | | Summary | Full Text:PDF | |
|
|