Rchr
J-GLOBAL ID：200901080342902806   Update date: Apr. 09, 2024

Hiraishi Kunihiko

ヒライシ クニヒコ | Hiraishi Kunihiko
Affiliation and department：
Japan Advanced Institute of Science and Technology School of Information Science, Department of Information Science

About Japan Advanced Institute of Science and Technology School of Information Science, Department of Information Science


Homepage URL  (1)： https://www.jaist.ac.jp/laboratory/cs/hiraishi.html
Research field  (3)： Control and systems engineering ,  Mathematical informatics ,  Information theory
Research keywords  (4)： hybrid systems ,  discrete event systems ,  concurrent systems ,  システムの形式的モデル化と解析
Research theme for competitive and other funds  (9)：
  • 2020 - 2023 Modeling and Control of Airspace Traffic Flow Using Aviation Open Data
  • 2016 - 2019 Building Mathematical Models for Situation Awareness and Information Supervisory Control
  • 2015 - 2018 Research on Awareness Platform by Smart Voice Messaging System for Improving the Quality of Nursing and Care Services
  • 2013 - 2016 Research on Model-less Diagnosis of Discrete Event Systems
  • 2009 - 2011 Safety Verification Based on Fluidification of Discrete Dynamics
Show all
Papers (296)：
  • 平石邦彦. 交通流データのイベント抽出による解析-大規模軌跡データからの主要経路の抽出-. 信学技報. 2024. MSS2023. 57. 31-34
  • Noppasorn Sutthibutr, Kunihiko Hiraishi, Navee Chiadamrong, Suttipong Thajchayapong. A New Integrated Fuzzy Optimization Approach for Sustainable Supply Chain Planning subjected to Sustainability and Uncertain Environments. 10th IEEE Asia-Pacific Conference on Computer Science and Data Engineering(CSDE). 2023
  • Gaku Nemoto, Kunihiko Hiraishi. Validation of the POMDP-based Model for Assortment Optimization of Vending Machines. IEEE International Conference on Industrial Engineering and Engineering Management(IEEM). 2023
  • Kenji Uehara, Kunihiko Hiraishi. Mesoscopic Modeling of Airspace Traffic Flow. Proc. the 22nd IFAC world congress. 2023. 5000-5005
  • Ryosuke MISHIMA, Kunihiko HIRAISHI. Modeling Inter-Sector Air Traffic Flow and Sector Demand Prediction. IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences. 2022. E105.A. 10. 1413-1420
ｍore...
MISC (42)：
ｍore...
Books (3)：
  • 形式的モデル化 離散事象/実時間/ハイブリッドシステムのモデル化と解析
    森北出版 2019
  • 機械工学便覧 デザイン編β6「制御システム」
    日本機械学会 2006
  • ペトリネットの理論と実践
    朝倉書店 1995
Lectures and oral presentations  (117)：
  • 固定経路のない交通流データにおける主要経路抽出手法
    (電子情報通信学会ソサイエティ大会企画セッションAK-2. 時系列AI技術の最前線 2022)
  • プロセスマイニング技術を応用した空港面交通流のメゾスコピックモデル化手法
    (CARATSオープンデータ活用促進フォーラム 2021)
  • From Theory of Discrete-event Systems to Process Mining
    (2021)
  • A POMDP-based Approach to Assortment Optimization Problem for Vending Machine
    (IEEE IEEM2019 2019)
  • 空域におけるセクター間交通流のモデル化
    (CARATSオープンデータ活用促進説明会 2019)
ｍore...
Education (2)：
  • 1983 - 1985 Tokyo Institute of Technology Science of Engineering
  • 1979 - 1983 Tokyo Institute of Technology School of Engineering
Professional career (3)：
  • B.E., M.E. and Ph.D.from Tokyo Institute of Technology (1983,1985,1990)
  • 工学修士 (東京工業大学)
  • 工学博士 (東京工業大学)
Work history (6)：
  • 2016/04 - 現在 北陸先端科学技術大学院大学
  • 2016/04 - 2022/03 北陸先端科学技術大学院大学 Research Center for Advanced Computing Infrastructure
  • 2016/04 - 2019/03 National Institute of Informatics
  • 2003/04 - 2016/03 Japan Advanced Institute of Science and Technology
  • 1993/04 - 2003/03 Japan Advanced Institute of Science and Technology
Show all
Committee career (6)：
  • 2008 - 現在 Transaction on Petri Nets and Other Models of Concurrency Editorial Board Member
  • 2008 - 現在 International Conference on Application and Theory of Petri Nets and Concurrency,Steering committee Member
  • 2008 - 現在 IFAC Technical Committee 1.3 on Discrete Event and Hybrid Systems Member
  • 2014/06 - 2015/05 電子情報通信学会 基礎境界ソサイエティ副会長
  • 2011/05 - 2013/04 電子情報通信学会 システム数理と応用研究専門委員会委員長
Show all
Awards (2)：
  • 2005 - 電子情報通信学会 論文賞
  • 1990 - 計測自動制御学会 論文賞
Association Membership(s) (4)：
IEEE ,  THE SOCIETY OF INSTRUMENT AND CONTROL ENGINEERS ,  INFORMATION PROCESSING SOCIETY OF JAPAN ,  THE INSTITUTE OF ELECTRONICS, INFORMATION AND COMMUNICATION ENGINEERS
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page

TOP

BOTTOM