|
|
Shigeru OKUMA
|
|
|
|
|
|
|
|
|
|
|
|
|
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
(813.7KB)
|
|
|
|
|
|
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/20
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
(832.1KB)
|
|
|
|