一覧
登録利用者:
登録者ページ
利用者(E-people)

JAIST Repository >

平石　邦彦（ヒライシ　クニヒコ）教授研究者総覧

No．書籍情報
1 状況アウェアネスと情報スーパーバイザ制御のための数理モデルの構築 / 平石, 邦彦, 科学研究費助成事業研究成果報告書, pp.1-4, 2019-05-30
2 離散事象システムのモデルレス故障診断法に関する研究 / 平石, 邦彦, 科学研究費助成事業研究成果報告書, pp.1-4, 2016-06-01
3 Diagnosis of Stochastic Discrete Event Systems Based on N-gram Models / Yoshimoto, Miwa, Kobayashi, Koichi, Hiraishi, Kunihiko, IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, E98-A(2), pp.618-625, 2015-02-01, 電子情報通信学会
4 A Probabilistic Approach to Control of Complex Systems and Its Application to Real-Time Pricing / Kobayashi, Koichi, Hiraishi, Kunihiko, Mathematical Problems in Engineering, 2014, pp.Article ID 906717-, 2014-09-17, Hindawi Publishing Corporation
5 Detection of Unusual Human Activities Based on Behavior Modeling / Hiraishi, Kunihiko, Kobayashi, Koichi, 12th International Workshop on Discrete Event Systems, pp.182-187, 2014-05-14, International Federation of Automatic Control
6 Collaboration Management by Smart Voice Messaging for Physical and Adaptive Intelligent Services / Uchihira, Naoshi, Choe, Sunseong, Hiraishi, Kunihiko, Torii, Kentaro, Chino, Tetsuro, Hirabayashi, Yuji, Sugihara, Taro, Proceedings of PICMET 2013, pp.251-258, 2013-07, PICMET
7 Optimal Control of Boolean Biological Networks Modeled by Petri Nets / Kobayashi, Koichi, Hiraishi, Kunihiko, IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences, E96-A(2), pp.532-539, 2013-02-01, 電子情報通信学会
8 Optimal Control of Probabilistic Boolean Networks Using Polynomial Optimization / Kobayashi, Koichi, Hiraishi, Kunihiko, IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, E95-A(9), pp.1512-1517, 2012-09-01, 電子情報通信学会
9 Knowledge Transfer in R&D Project Management: Application to Business-academia Collaboration Project / Uchihira, Naoshi, Hirabayashi, Yuji, Sugihara, Taro, Hiraishi, Kunihiko, Ikawa, Yasuo, 2012 Proceedings of PICMET '12: Technology Management for Emerging Technologies, pp.3473-3480, 2012-07-31, PICMET
10 R&D Management Based on the Relationship between the Achievement of R&D and Commercialization / Hirabayashi, Yuji, Ikawa, Yasuo, Aoki, Sigeru, Hiraishi, Kunihiko, Sugihara, Taro, Sai, Shunsei, Uchihira, Naoshi, Chino, Tetsuro, Torii, Kentarou, 2012 Proceedings of PICMET '12: Technology Management for Emerging Technologies, pp.3404-3409, 2012-07-30, PICMET
11 離散ダイナミクスの流体化によるシステムの安全性検証 / 平石, 邦彦, 科学研究費補助金研究成果報告書, pp.1-4, 2012-06-04
12 Probabilistic-constrained optimal control of a class of stochastic hybrid systems / Kobayashi, Koichi, Matou, Koichiro, Hiraishi, Kunihiko, International Journal of Control, Automation, and Systems, 10(5), pp.897-904, 2012, Springer
13 研究開発プロジェクトマネジメントの知識継承 : サービス分野の産学連携プロジェクトへの適用 / 内平, 直志, 平林, 裕治, 杉原, 太郎, 平石, 邦彦, 年次学術大会講演要旨集, 26, pp.333-336, 2011-10-15, 研究・技術計画学会
14 Stabilization of Finite Automata with Application to Hybrid Systems Control / Kobayashi, Koichi, Imura, Jun-ichi, Hiraishi, Kunihiko, Discrete Event Dynamic Systems, 21(4), pp.519-545, 2011-06-17, Springer
15 An integer programming approach to optimal control problems in context-sensitive probabilistic Boolean networks / Kobayashi, Koichi, Hiraishi, Kunihiko, Automatica, 47(6), pp.1260-1264, 2011-02-21, Elsevier
16 教育環境におけるサービスサイエンスの適用 / 岡田, 政則, 飯田, 栄治, 平石, 邦彦, 國藤, 進, 第七回知識創造支援システムシンポジウム予稿集, 2010-02-25, 日本創造学会, 北陸先端科学技術大学院大学
17 MLD-Based Modeling of Hybrid Systems with Parameter Uncertainty / Kobayashi, Koichi, Hiraishi, Kunihiko, IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences, E92-A(11), pp.2745-2754, 2009-11-01, 電子情報通信学会
18 Solving Problems on Hybrid Systems by Constraint Satisfaction / Hiraishi, Kunihiko, pp.1-47, 2009-09-21
19 Approximate Algorithm for Hybrid Model Predictive Control with Time-Varying Reference / Kobayashi, Koichi, Hiraishi, Kunihiko, Tang, Nguyen Van, IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, E92-A(8), pp.2046-2052, 2009-08-01, 電子情報通信学会
20 ICカードを利用した報奨システムの試みと評価 / 岡田, 政則, 平石, 邦彦, 國藤, 進, 第六回知識創造支援システムシンポジウム報告書, pp.61-66, 2009-03-30, 日本創造学会, 北陸先端科学技術大学院大学
21 Application of DES Theory to Verification of Software Components / HIRAISHI, Kunihiko, KUČERA, Petr, IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences, E92-A(2), pp.604-610, 2009-02-01, 電子情報通信学会
22 Performance Evaluation of Workflows Using Continuous Petri Nets with Interval Firing Speeds / HIRAISHI, Kunihiko, IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences, E91-A(11), pp.3219-3228, 2008-11-01, 電子情報通信学会
23 カラードペトリネットによるワークフローシステムのモデル化と検証 / 平石, 邦彦, 山本, 豊, Research report (School of Information Science, Japan Advanced Institute of Science and Technology), IS-RR-2008-005, pp.1-40, 2008-10-22, 北陸先端科学技術大学院大学情報科学研究科
24 WEBベース・ワークフローシステムのモデル化と検証 / 平石, 邦彦, pp.1-30, 2008-03-03
25 形式手法の新展開 : 離散と連続の融合 / 平石, 邦彦, pp.1-43, 2007-09-06
26 研究室配属のためのシラバスシステムの提案と試作 / 藤本, 高志, 平石, 邦彦, 三浦, 元喜, 國藤, 進, 情報処理学会研究報告 : グループウェアとネットワークサービス, 34(1), pp.67-72, 2006-03-23, 情報処理学会
27 Inkdot versus Pebble over Two-Dimensional Languages / INOUE, Atsuyuki, ITO, Akira, HIRAISHI, Kunihiko, INOUE, Katsushi, IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences, E88-A(5), pp.1173-1180, 2005-05-01, 電子情報通信学会
28 A Heuristic Algorithm for One-Machine Just-In-Time Scheduling Problem with Periodic Time Slots / CHIBA, Eishi, HIRAISHI, Kunihiko, IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences, E88-A(5), pp.1192-1199, 2005-05-01, 電子情報通信学会
29 Modeling and Verification of Workflows for e-Society / Hiraishi, Kunihiko, pp.1-4, 2005-03-11
30 Deriving Discrete Behavior of Hybrid Systems under Incomplete Knowledge / HIRAISHI, Kunihiko, IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences, E87-A(11), pp.2913-2918, 2004-11-01, 電子情報通信学会
31 A Petri-Net-Based Model for the Mathematical Analysis of Multi-Agent Systems / HIRAISHI, Kunihiko, IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences, E84-A(11), pp.2829-2837, 2001-11-01, 電子情報通信学会
32 An Algorithm for Legal Firing Sequence Problem of Petri Nets Based on Partial Order Method / HIRAISHI, Kunihiko, TANAKA, Hirohide, IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences, E84-A(11), pp.2881-2884, 2001-11-01, 電子情報通信学会
33 グループ意志決定におけるAHP重要度の感度係数を用いたトレードオフ分析支援法 / 加藤, 直孝, 平石, 邦彦, 國藤, 進, Technical memorandum (School of Information Science, Japan Advanced Institute of Science and Technology), IS-TM-97-0001T, pp.1-7, 1997-04-15, 北陸先端科学技術大学院大学情報科学研究科
34 研究分野地図に基づく研究開発の計画支援 / 戸田, 光彦, 平石, 邦彦, 年次学術大会講演要旨集, 2, pp.7-11, 1987-10-16, 研究・技術計画学会

 
お問い合わせ先 : 北陸先端科学技術大学院大学　研究推進課図書館情報係