| Tatsuya SUZUKI
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
FOREWORD Tatsuya SUZUKI | Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2004/11/01
Vol. E87-A
No. 11
pp. 2833-2833
Type of Manuscript:
FOREWORD Category: Keyword:
| | Summary | Full Text:PDF(42.8KB) | |
|
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(814.1KB) | |
|
|
|
|
|
|
|
|
|
|
|
Timed Petri Net Based Scheduling for Mechanical Assembly Integration of Planning and Scheduling Akio INABA Fumiharu FUJIWARA Tatsuya SUZUKI Shigeru OKUMA | Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1998/04/25
Vol. E81-A
No. 4
pp. 615-625
Type of Manuscript:
Special Section PAPER (Special Section on Concurrent Systems Technology) Category: Keyword: scheduling, timed Petri net, assembly, | | Summary | Full Text:PDF(829.9KB) | |
|
|