北陸先端科学技術大学院大学 [JAIST] - 研究者総覧
現在ページ トップページ 検索結果研究者紹介>全件表示

発表論文表示
表示方法:
表示順:

 

 

平石 邦彦 (ヒライシ クニヒコ) 教授
情報科学研究科(情報科学専攻・理論情報科学領域)

75件中61-75件目

  • 61. 確率ペトリネットを用いたワークフローの性能評価,平石邦彦, 小谷正行,計測自動制御学会システム・情報部門学術講演会2005, pp.354-359
  • 62. Inkdot versus pebble over two-dimensional languages,A. Inoue, A. Ito, K. Hiraishi, K. Inoue,IEICE Trans. Fundamentals, Vol.E88-A, No.5, pp.1173-1180
  • 63. Efficient reduction technique for agent-based control systems,Kunihiko Hiraishi and Koji Okahashi,Proc. 10th IFAC/IFORS/IMACS/IFIP Symposium on Large Scale Systems: Theory and Applications,385-390
  • 64. Deriving Discrete Behavior of Hybrid Systems under Incomplete Knowledge,Kunihiko Hiraishi,IEICE Trans. Fundamentals, Vol. E87-A, No.11, pp.2913-2918
  • 65. On Solvability of an Agent-based Control Problem under Dynamic Environment,Kunihiko Hiraishi,Proc. 7th IFAC Workshop on Discrete Event Systems,91-95
  • 66. 制約論理プログラミングによるハイブリッドシステムのパラメータ設計,平石邦彦, 石川礼,第17回回路とシステム軽井沢ワークショップ,597-602,2004
  • 67. Modeling Agent-Based-Control of Discrete Event Systems,Kunihiko Hiraishi,Workshop on Discrete Event Systems Control, Int. Conf. Application and Theory of Petri Nets 2003,159-176,2003
  • 68. PN^2: An Elementary Model for Design and Analysys of Multi-agent Systems,Kunihiko Hiraishi,Proc. COORDINATION2002, Lecture Notes in Computer Science,2315,220-235,2002
  • 69. Scheduling on Parallel Identical Machines to Maximize the Weighted Number of Just-In-Time Jobs,Kunihiko Hiraishi, Eugene Levner, and Milan Vlach,Computers & Operations Research,29,841-848,2002
  • 70. 離散事象システムの言語安定性について,平石邦彦,盧 吉錫,計測自動制御学会論文集,37,8,pp.733-740,2001
  • 71. The Completeness of Linear Logic for Petri Net Models,Keiko Ishihara and Kunihiko Hiraish,Logic Journal of the IGPL,9,4,2001
  • 72. An Algorithm for Legal Firing Sequence Problem of Petri Nets Based on Partial Order Method,Kunihiko Hiraishi and Hirohide Tanaka,IEICE Trans. Fundamentals,E84-A,11,pp.2881-2884,2001
  • 73. A Petri-Net-Based Model for the Mathematical Analysis of Multi-Agent Systems,Kunihiko Hiraishi,IEICE Trans. Fundamentals,E84-A,11,pp.2829-2837,2001
  • 74. 時間付き離散事象システムの時間付き安定性,望山洋,平石邦彦,計測自動制御学会論文集,37,5,pp.411-418,2001
  • 75. Synthesis of Supervisors Using Learning Algorithm of Regular Languages,Kunihiko Hiraishi,Discrete Event Dynamic Systems: Theory and Applications,11,pp.211-234,2001

≪ 前へ ]  1  2  3  4