2023/12/03 更新

写真a

ヒサムラ　トミジ
久村　富持
所属
理工学術院
職名
名誉教授
学位
工学博士 ( 東京工業大学 )
ホームページ
http://www.hislab.phys.waseda.ac.jp

学歴

  • 　
    -
    1957年

    早稲田大学   理工学部   応用物理  

  • 　
    -
    1957年

    早稲田大学  

委員歴

  • 1980年
    -
    　

    計測自動制御学会  理事

所属学協会

  • 　
    　
    　

    日本ロボット学会

  • 　
    　
    　

    システム制御情報学会

  • 　
    　
    　

    電子情報通信学会

  • 　
    　
    　

    計測自動制御学会

研究分野

  • 制御、システム工学 / 制御、システム工学 / 計測工学 / 制御、システム工学 / 制御、システム工学

研究キーワード

  • Control Engineering System Engineering

  • 制御工学 システム工学

 

共同研究・競争的資金等の研究課題

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

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

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

  • ハイブリッドシステム

  • 離散事象システム

  • Hybrid systems

  • Discrete Event Systems

▼全件表示

Misc

  • 容量制限を有する３－バッファ切り替え・サーバシステムの周期解解析と制御

    佐藤 洋平, 久村 富持

    計測自動制御学会論文集／計測自動制御学会   38:1,104/110 ( 1 ) 104 - 110  2002年

    　概要を見る

    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年

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

    電子情報通信学会技術研究報告／電子情報通信学会   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

    Transaction of the Society of Instrument and Control Engineers/計測自動制御学会   31;10 ( 10 ) 1722 - 1729  1995年

    　概要を見る

    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

▼全件表示