交通流データのイベント抽出による解析－大規模軌跡データからの主要経路の抽出－
平石邦彦
信学技報, MSS2023, 57, 31-34, 2024
A New Integrated Fuzzy Optimization Approach for Sustainable Supply Chain Planning subjected to Sustainability and Uncertain Environments
Noppasorn Sutthibutr, Kunihiko Hiraishi, Navee Chiadamrong, Suttipong Thajchayapong
10th IEEE Asia-Pacific Conference on Computer Science and Data Engineering(CSDE), -, 2023
Validation of the POMDP-based Model for Assortment Optimization of Vending Machines
Gaku Nemoto, Kunihiko Hiraishi
IEEE International Conference on Industrial Engineering and Engineering Management(IEEM), -, 2023
Mesoscopic Modeling of Airspace Traffic Flow
Kenji Uehara, Kunihiko Hiraishi
Proc. the 22nd IFAC world congress, 5000-5005, 2023
A Framework for Extracting Abstracted Route Graphs Toward Air Traffic Flow Modeling
Kenji Uehara, Kunihiko Hiraishi
Proc. 2022 IEEE International Conference on Systems, Man, and Cybernetics (SMC2022), 1564-1569, 2022
Creativity in awareness communication
Masanori Okada, Naoshi Uchihira, Kunihiko Hiraishi, Susumu Kunifuji
Journal of Intelligent Informatics and Smart Technology, 7, April, -, 2022
Little-JIL を用いた宇宙機システム運用シナリオのモデル検証
染谷 一徳, 平石 邦彦
信学技報, MSS2021-78, 121-126, 2022
プロセスマイニングを応用した大容量交通流の Mesoscopic モデル化手法
上原 健嗣, 平石 邦彦
信学技報, MSS2021-51, 112-117, 2022
A Pathfinding Problem for Fork-Join Directed Acyclic Graphs with Unknown Edge Length
Kunihiko Hiraishi
Algorithms, 14, 12, -, 2021
Creativity in awareness communication
Masanori Okada, Naoshi Uchihira, Kunihiko Hiraishi, Susumu Kunifuji
16th International Conference on Knowledge, Information and Creativity Support Systems(KICSS2021), KICSS2021-0061S, -, 2021
An Improved Method for Finding Attractors of Large-Scale Asynchronous Boolean Networks
Van Giang Trinh, Kunihiko Hiraishi
18th IEEE International Conference in Computational Intelligence in Bioinformatics and Computational Biology (CIBCB 2021), 126-134, 2021
航空オープンデータを用いたセクター間交通流のモデル化と混雑度予測
三島諒亮, 平石邦彦
信学技報, MSS2020, 49, 27-32, 2021
An Efficient Method for Approximating Attractors in Large-scale Asynchronous Boolean Models
Van Giang TRINH, Kunihiko HIRAISHI
Proc. 2020 IEEE International Conference on Bioinformatics and Biomedicine (BIBM 2020), 1820-1826, 2020
A Study on Attractors of Generalized Asynchronous Random Boolean Networks
Van Giang TRINH, Kunihiko HIRAISHI
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, E103.A, 8, 987-994, 2020
Spatio-Temporal Situation Recognition in Service Fields - Validation by Discrete-event Simulation
Kunihiko Hiraishi
Proc. IEEE International Conference on Systems, Man and Cybernetics 2019, 1807-1812, 2019
Process Mining Approach for the Conformance Checking of Discrete-Event Simulation Model
Kenji Uehara, Kunihiko HIraishi
SICE Annual Conference 2019, 615-620, 2019
An Improved Version of Cell Transmission Model for Air Traffic Flow
Quang Khai Tran, Kunihiko Hiraishi
Proc. 3rd Int. Conf. Transportation Infrastructure and Sustainable Development (TISDIC2019), -, 2019
Algorithms for Finding Attractors of Generalized Asynchronous Random Boolean Networks
Trinh Van Giang, Kunihiko Hiraishi
12th Asian Control Conference, 67-72, 2019
プロセスマイニング手法を適用した離散事象シミュレーションモデルの仕様適合性検査
上原健嗣, 平石邦彦
信学技報, 118, 296, 121-126, 2018
フィールドワークにおけるコラボレーション効果
岡田, 内平, 平石, 國藤
第40回日本創造学会研究大会予稿集, -, 2018
Sector Identification for a Large Amount of Airspace Traffic Data
Shoya TOKUMARU, Kunihiko HIRAISHI
第64回離散事象システム研究会予稿集, 24-27, 2018
CARATS Open Dataにおける航空機位置のセクター決定問題について
徳丸翔也, 平石邦彦
信学技報, 117, 506, 47-51, 2018
作業スタッフの行動ログを用いた時空間状況認識の性能向上について
早貸 舜, 平石邦彦, 内平直志
信学技報, 117, 506, 67-72, 2018
ミニ移動大学2017年度報告と今年度実施計画
岡田, 内平, 平石, 國藤
人工知能学会第4回市民共創知研究会予稿集, 3-6, 2018
ソフトウェア開発プロセスの評価における機械学習とプロセスマイニングの性能比較
塩澤 仁, 平石邦彦
信学技報, 117, 301, 83-88, 2017
複合的因果関係分析手法を用いた遠隔診療の定量的安全性評価
藤田健治, 青木利晃, 平石邦彦
信学技報, 117, 301, 89-94, 2017
つぶやきシステムを利用したミニ移動大学の実践
岡田, 内平, 平石, 國藤
第42回教育システム情報学会全国大会, 281-282, 2017
Modeling and Analysing Boolean Networks by Coloured Petri Nets
Trinh Van Giang, Kunihiko Hiraishi, Quan Thanh Tho
International Technical Conference on Circuits/Systems, Computers and Communications, 439-442, 2016
ケアスタッフ連携スケジューリング問題 ～ 通信手段による比較とソルバーによる最適解 ～
平石邦彦, 崔舜星, 小林孝一, 佐々木康朗, 内平直志
信学技報, 115, 480, 91-96, 2016
突発的イベント発生時の音声つぶやきシステムによるスタッフ間の連携効果
崔舜星, 平石邦彦, 内平直志
信学技報, 115, 480, 91-96, 2016
Information Supervisory Control of Human Behavior - Concept and Experiments Toward Realization -
Kunihiko Hiraishi, Naoshi Uchihira, Sunseong Choe, Koichi Kobayashi
Proc. of the 2016 IEEE International Conference on Systems, Man, and Cybernetics, 790-795, 2016
Verification of Real-Time Pricing Systems Based on Probabilistic Boolean Networks
K. Kobayashi, K. Hiraishi
Applied Mathematics, 7, 15, 1734-1747, 2016
Situation Recognition from Behavior Logs in Caregiving Services
K. Sato, K. Kobayashi, K. Hiraishi
International Technical Conference on Circuits/Systems, Computers and Communications, 721-724, 2015
音声つぶやきシステムのリアルタイム状況把握に対する効果について
梶原大起, 黒田賢, 宮本貴拓, 平石邦彦, 小林孝一, 崔舜星, 内平直志
サービス学会第３回国内大会予稿集, 290-293, 2015
Optimal Real-time Pricing for Energy Management Systems Based on Switched Interval Markov Chains
Koichi Kobayashi, Kunihiko Hiraishi
Proc. of the 20th International Symposium on Artificial Life and Robotics, 172-175, 2015
価格効果の劣化を考慮した電力のリアルタイムプライシング
小林孝一, 平石邦彦
第58回離散事象システム研究会予稿集, 1-5, 2015
On Model Checking of Real-Time Pricing Systems Modeled by Probabilistic Discrete Models,
K. Kobayashi, K. Hiraishi
SICE Annual Conference, -, 2014
Large-Scale MPC with Continuous/Discrete-Valued Inputs: Compensation of Quantization Errors, Stabilization, and Its Application Koichi Kobayashi, Wai Wai Shein, Kunihiko Hiraishi
SICE Journal of Control, Measurement, and System Integration, 7, 3, 152-158, 2014
A Polynomial Optimization Approach to Optimal Control of Context-Sensitive Probabilistic Boolean networks
K. Kobayashi, K. Hiraishi
19th International Symposium on Artificial Life and Robotics, 92-95, 2014
Simultaneous Design of Prices and Incentives for Demand Response
K. Kobayashi, K. Hiraishi
International Technical Conference on Circuits/Systems, Computers and Communications, 853-856, 2014
Discourse Analysis of Voice-Based Computer-Mediated Communication in Distributed Work
T. Chino, K. Torii, N. Uchihira, K. Hiraishi, Y. Hirabayashi, T. Sugihara
5th Int’l Conf. on Applied Human Factors and Ergonomics (AHFE) 2014, 3423-3434, 2014
イベントログに基づいた行動型サービスの分析 (システム数理と応用) 甚田 貴徳, 青戸 渉, 宮崎 晃和, 崔 舜星, 小林 孝一, 平石 邦彦, 内平 直志
信学技報, 113, 121, 1-8, 2013
Diagnosis of Stochastic Discrete Event Systems Based on N-gram Models with Wildcard Characters
K. Hiraishi, M. Yoshimoto, K, Kobayashi
DANMS 2013, IFIP/IEEE International Symposium on Integrated Network Management, 1383-1388, 2013
確率ハイブリッドシステムの離散抽象化 ～ 遺伝子トグルスイッチの解析への適用 ～
福井康仁, 小林孝一, 平石邦彦
信学技報, 112, 457, 75-79, 2013
音声つぶやきによる看護・介護の時空間コラボレーション支援 : システムの概要と試行評価結果 内平 直志, 鳥居 健太郎, 平林 裕治, 崔 舜星, 平石 邦彦, 知野 哲朗, 杉原 太郎
電子情報通信学会技術研究報告. MSS, システム数理と応用, 112, 457, 43-43, 2013
時相論理による拘束をもつマルチビークルシステムの最適制御
永見琢朗, 小林孝一, 平石邦彦
計測自動制御学会 第52回離散事象システム研究会, 21-26, 2013
（解説）複雑なプロセスのモデル化－ビジネスプロセスから人間系へ－
平石 邦彦
電子情報通信学会 基礎・境界ソサイエティ Fundamentals Review, 6, 4, 357-264, 2013
時間，資源の制約をもつビジネスプロセスの形式検証
綿引, 石川, 平石
電子情報通信学会論文誌D, J96-D, 8, 1878-1891, 2013
Self-Triggered Optimal Control Based on Optimization with Prediction Horizon One
K. Kobayashi, K. Hiraishi
18th International Symposium on Artificial Life and Robotics, 342-345, 2013
Model-less Diagnosis of Discrete Event Systems Based on Sequence Analysis
Miwa Yoshimoto, Kunihiko Hiraishi
International Technical Conference on Circuits/Systems, Computers and Communications, C-W1-03, -, 2012
仮想フィールドを用いた看護・介護サービスにおける音声つぶやきコミュニケーションの評価実験について 崔 舜星, 平石 邦彦, 内平 直志, 鳥居 健太郎, 田中 俊明, 平林 裕治
電子情報通信学会技術研究報告. MSS, システム数理と応用 : IEICE technical report, 111, 453, 17-22, 2012
音声つぶやきによる看護・介護の時空間コミュニケーション : 情報スーパーバイザ制御の提案 内平 直志, 鳥居 健太郎, 平石 邦彦, 崔 舜星, 知野 哲郎, 平林 裕治, 杉原 太郎
電子情報通信学会技術研究報告. MSS, システム数理と応用 : IEICE technical report, 111, 405, 1-1, 2012
Application of Interval Methods to Sampled-Data Control of Uncertain Piecewise Affine Systems
K. Kobayashi, K. Hiraishi
SICE Journal of Control, Measurement, and System Integration, 5, 3, 184-189, 2012
遷移関係に基づくハイブリッドシステムの近似双模倣 崔 舜星, 平石 邦彦, 小林 孝一
計測自動制御学会論文集 = Transactions of the Society of Instrument and Control Engineers, 47, 12, 614-620, 2011
外部刺激を考慮した遺伝子ネットワークの最適制御 小林 孝一, 平石 邦彦
計測自動制御学会論文集 = Transactions of the Society of Instrument and Control Engineers, 47, 11, 520-526, 2011
Optimal Sampled-Data Control of Piecewise Affine Systems with Parameter Uncertainty
Koichi Kobayashi, Kunihiko Hiraishi
SICE Annual Conference, 606-607, 2011
Optimal Control of Asynchronous Boolean Networks Modeled by Petri Nets
Koichi Kobayashi, Kunihiko Hiraishi
International Workshop on Biological Processes & Petri Nets, 7-20, 2011
整数計画法を用いた確率ブーリアンネットワークの最適制御 小林 孝一, 平石 邦彦
計測自動制御学会論文集 = Transactions of the Society of Instrument and Control Engineers, 46, 11, 659-665, 2010
On Analysis of a Class of Timed Continuous Petri Nets and Its Applications
平石 邦彦
SICE Annual Conference, 2253-2259, 2010
Stabilizing Model Predictive Control of Hybrid Systems with Discrete Dynamics
Koichi Kobayashi, Jun-ichi Imura, Kunihiko Hiraishi
ICCAS-SICE2009, 4831-4836, 2009
MLD-Based Modeling of Hybrid Systems with Parameter Uncertainty
Koichi Kobayashi, Kunihiko Hiraishi
IEICE Trans Fundamentals of Electronics, Communications and Computer Sciences, E92-A, 4, 1047-1055, 2009
Approximate Algorithm for Hybrid Model Predictive Control with Time-Varying Reference
Koichi KOBAYASHI, Kunihiko HIRAISHI, Nguyen Van TANG
IEICE Trans Fundamentals of Electronics, Communications and Computer Sciences, E92-A, 4, 1047-1055, 2009
A Faster Approximation Technique for Predicate Abstraction of Hybrid Systems
Kunihiko Hiraishi, Koichi Kobayashi
ICCAS-SICE2009, 1717-1721, 2009
DES Technology: Toward Dependable Embedded Control Systems
平石 邦彦
ICCAS-SICE2009, 470-473, 2009
n-line and Off-line Based Approximation Algorithm for Model Predictive Control of Hybrid Systems
K. Kobayashi, N. V, Tang, K. Hiraishi
23rd International Technical Conference on Circuits/Systems, Computers and Communications, 913-916, 2008
Special section on concurrent/hybrid systems: Theory and applications Atsushi Ohta, Haruo Hasegawa, Susumu Hashizume, Kunihiko Hiraishi, Shiro Masuda, Morikazu Nakamura, Hiroto Tanaka, Naoshi Uchihira, Shingo Yamaguchi, Satoshi Yamane
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, E89-A, 11, 3165-, 2006
Application of Quantifier Elimination to Optimal Control Problems of Hybrid Systems
Sunseong Choe, Kunihiko Hiraishi
7th Asian Symposium on Computer Mathematics, 62-65, 2005
記号計算に基づくハイブリッドシステムの解析 平石 邦彦
計測と制御 = Journal of the Society of Instrument and Control Engineers, 44, 7, 446-451, 2005
Computational Tools for Designing Hybrid Systems Based on Constraint Satisfaction
平石 邦彦
Workshop on Control of Hybrid and Discrete Event Systems, Satellite Workshop of ATPN2005, 41-60, 2005
制約充足に基づいたハイブリッドシステム設計のための計算ツール
平石 邦彦, 崔 舜星
第18回 回路とシステム軽井沢ワークショップ, 287-292, 2005
Modeling and Verification of e-Society using DES Technology
平石 邦彦
SICE Annual Conference, 2808-2811, 2005
On Solvability of an Agent-based Control Problem under Dynamic Environment
平石 邦彦
7th IFAC Workshop on Discrete Event Systems, 91-95, 2004
Efficient reduction technique for agent-based control systems
Kunihiko Hiraishi, Koji Okahashi
10th IFAC/IFORS/IMACS/IFIP Symposium on Large Scale Systems: Theory and Applications, 385-390, 2004
A Note on Finding One-Variable Patterns Consistent with Examples and Counterexamples
Takeshi Koshiba, Kunihiko Hiraishi
The Third International Colloquium, 253-265, 2003
Modeling Agent-Based-Control of Discrete Event Systems
平石 邦彦
Workshop on Discrete Event Systems Control, Int. Conf. Application and Theory of Petri Nets, 159-176, 2003
A Formalisim for Decentralized Control of Discrete Event System
平石 邦彦
SICE Annual Conference, 833-838, 2002
The Completeness of Linear Logic for Petri Net Models
K. Ishihara, K. Hiraishi
Logic Journal of the IGPL, 9, 4, -, 2001
Synthesis of Supervisors for Discrete Event Systems Allowing Concurrent Behavior
K. Hiraishi
IEEE International Conference on Systems, Man and Cybernetics, V13-V20, 1999
Petri Net Models for Intuitionistic Linear Logic
Keiko Ishihara, Kunihiko Hiraishi
Korea-Japan Joint Workshop on Algorithms and Computation, 23-30, 1999
エージェント侵略の過程と中間的な手をとる戦略の有利性について
千葉一博, 平石邦彦
人工知能学会誌, 14, 4, 657-666, 1999
繰り返し連続化囚人のジレンマゲームの提案
千葉一博, 平石邦彦
人工知能学会誌, 13, 4, 56-65, 1998
Reduced Timed Transition Systems based on Partial Order Methods
K. Hiraishi, H. Fukuda
International Technical Conference on Circuits/Systems, Computers and Communications, 2, 1208-1211, 1996
高水準ペトリネットによるソフトウェア開発方法論 青山 幹雄, 平石 邦彦, 内平 直志, Mikio Aoyama, Kunihiko Hiraishi, Naoshi Uchihira, 富士通(株)ビジネス通信事業本部, 北陸先端科学技術大学院大学情報科学科, 株, 東芝研究開発センターシステム, ソフトウェア生産技術研究所, Communication Systems Division Fujitsu Limited, School of Information, Science Japan, Advanced Institute of Science, Technology Hokuriku, Systems & Software Engineering Lab. R, D Center, TOSHIBA Cor
コンピュータソフトウェア, 11, 4, 3-19, 1994
ネット理論の現状と課題 平石 邦彦
電子情報通信学会技術研究報告. CST, コンカレント工学, 94, 6, 1-8, 1994
Reduced State Space Generation of Concurrent Systems Using Weak Persistency
K. Hiraishi
11th International Conference on Analysis and Optimization of Systems, Lecture Notes in Control and Information Sciences, 199, 10, 191-197, 1994
Reduced State Space Generation of Concurrent Systems Using Weak Persistency
K. Hiraishi
Joint Technical Conference on Circuits/Systems, Computers and Communications, 1, 318-323, 1993
Information Structuring for Advanced Decision Support Systems
M. Toda, K. Hiraishi, T. Shintani, T. Katayama
Decison Support Systems, 4, 2, 169-184, 1991
Information Structuring for Advanced Decision Support Systems
T. Toda, K. Hiraishi
ORSA/TIMS Joint Meeting, MC16-4, -, 1988