Updated on 2024/02/25


Faculty of Science and Engineering
Job title
Professor Emeritus
(BLANK) ( Tokyo Institute of Technology )

Education Background


    Waseda University   School of Science and Engineering  


    Waseda University   Faculty of Science and Engineering   Department of Applicatied Physics  

Committee Memberships

  • 1980

    計測自動制御学会  理事

Professional Memberships









Research Areas

  • Measurement engineering / Control and system engineering

Research Interests

  • Control Engineering System Engineering

  • 制御工学 システム工学


Research Projects

  • 視覚にもとづくロボット・マニピュレータや自律移動車の制御

  • ハイブリッド・システムの解析と制御

  • 離散事象システムの解析と制御

  • ハイブリッドシステム

  • 離散事象システム

  • Hybrid systems

  • Discrete Event Systems

▼display all


  • Analysis and Control of Periodic Solutions of Switched Server Systems with Three Buffers under Capacity Limitation

    SATOH Yohei, HISAMURA Tomiji

    Transactions of the Society of Instrument and Control Engineers   38:1,104/110 ( 1 ) 104 - 110  2002

     View Summary

    Switched arrival/server systems (SAS/SSS) are typical examples of hybrid systems which involve both continuous dynamics as well as discrete phenomena. It is known that SSS exhibits periodic behavior in asymptotic way while SAS may exhibit chaos. This paper treats SSS with three buffers where each buffer has capacity limitation. Focussing on periodic solutions with three switchings (P3), we analysed the generated periodic modes and their stabilities in detail. Finally, a control strategy for the periodic solutions P3 is proposed assuming that the capacity limits of buffers are available for control.

    DOI CiNii

  • On Liveness of Extended Partially Ordered Condition Nets

    IEICE Trans. Fundamentals/電子情報通信学会   E82-A-11,2576/2578  1999

  • On Liveness of Time POC Nets with the Static Fair Condition

    IEICE Trans. Fundamentals/電子情報通信学会   E82-A-8,1648/1655  1999

  • An Algebraic Criterion for State Machine Allocatable Nets

    IEICE Trans. Fundamentals/電子情報通信学会   E81-A,4,pp.626/627  1998

  • タイムペトリネットの繰り返し工程ジョブショップ型スケジューリング問題への応用

    電気学会・産業システム情報化研究会資料   IIS-97-3  1997

  • 発火時間に制約を加えた時間付きPOCネットの活性問題

    電子情報通信学会技術研究報告(コンカレント工学)/電子情報通信学会   CST96-26  1997

  • TCCネットが活性な初期マーキングをもつための条件

    電子情報通信学会1997ソサイエティ大会   A-12-1  1997

  • 自由選択(FC)ネットでモデル化される離散事象システムの制御に関する一考察

    SICE '97(計測自動制御学会)   205A-4  1997

  • 組み合わせ最適化問題に対する簡易的GA構成法(Easy GA)

    電子情報通信学会1997ソサイエティ大会   D-8-11  1997

  • P-インバリアントを用いたペトリネットのフィードバック制御――不可制御、不可観測なトランジションがある場合

    電子情報通信学会技術研究報告/電子情報通信学会   CST97-18~30 pp.87 ( 94 )  1997

  • 部品生産および組み立ての結合システムの繰り返し工程スケジューリング

    '96年電子情報通信学会総合大会/電子情報通信学会    1996

  • 即時発火ペトリネットの解析問題に関する一解析

    計測自動制御学会第17回離散事象システム研究会/計測自動制御学会    1996

  • 即時発火ペトリネットの解析における帰着問題

    電子情報通信学会技術研究報告(コンカレント工学)/電子情報通信学会   CST96-7  1996

  • On Some Analysis Properties of Petri Net Systems under the Earliest Firing Rule

    IEICE Trans.on Fundamentals/電子情報通信学会   E79-A;11  1996

  • 制御せれたサイフォンに関する一考察

    計測自動制御学会システム/情報合同シンポジウム    1996

  • 非同期選択ネットの即時発火活性

    計測自動制御学会離散事象システム部会講演論文集/計測自動制御学会    1996

  • 発火時間に制約を加えた時間ペトリネットのサブクラスの活性問題

    電子情報通信学会技術研究報告(コンカレント工学)/電子情報通信学会   CST96-16  1996

  • ペトリネットの活性の単調性のための十分条件

    SICEシステム情報関連合同シンポジウム/計測自動制御学会    1995

  • SMAネットの代数的判別法

    '95電子情報通信学会基礎境界ソサイエティ大会/電子情報通信学会    1995

  • 許可枝付きタイム・マークグラフの性能評価について

    SICE '95学術講演会/計測自動制御学会    1995

  • タイム・ペトリネットの最短時間可達問題

    電子情報通信学会CST技術研究報告/電子情報通信学会   95;137  1995

  • On Liveness of Subclasses of Petri Nets with Permission or Inhibitor Arcs

    OHTA Atsushi, OHBA Toshiyuki, HISAMURA Tomiji

    Transactions of the Society of Instrument and Control Engineers   31;10 ( 10 ) 1722 - 1729  1995

     View Summary

    Liveness is one of the most important properties in Petri net analysis, which assures fireability of every transition in the net and avoidance of deadlocks. In this paper we discuss the liveness of extended subclasses of Petri net, i. e. strongly connected marked graphs and strongly connected state machines (SCSM) in which permission or inhibitor arcs are added in restricted structures. The additions of these arcs facilitate modeling of practical discrete event systems by the net. The necessary and/or sufficient conditions for liveness are derived for above subclasses. Then the computational complexities to verify liveness of these nets are discussed and it is shown that liveness of the above subclasses can be verified in deterministic polynomial time by the applications of the obtained criteria.

    DOI CiNii

▼display all