HIRAISHI, Kunihiko Professor, Director of Research Center for Integrated Science
School of Information Science, Knowledge Management Area, Research Center For Advanced Computing Infrastructure
◆Degrees
B.E., M.E. and Ph.D.from Tokyo Institute of Technology (1983,1985,1990) 東京工業大学
B.E., M.E. and Ph.D.from Tokyo Institute of Technology (1983,1985,1990) 東京工業大学
B.E., M.E. and Ph.D.from Tokyo Institute of Technology (1983,1985,1990) 東京工業大学
◆Professional Experience
2003 - : Japan Advanced Institute of Science and Technology , 情報科学研究科 , 教授
1993 - 2003 : Japan Advanced Institute of Science and Technology , 情報科学研究科 , 助教授
1985 - 1993 : 富士通・富士通研究所 , 国際情報社会科学研究所
◆Specialties
Control and systems engineering, Mathematical informatics, Information theory
◆Research Keywords
hybrid systems, discrete event systems, concurrent systems, システムの形式的モデル化と解析
◆Research Interests
Modeling and analysis of discrete event systems and hybrid systems
A discrete event system (DES) is a dynamic system such that the state of the system changes only at discrete instances of time instead of continuously. DESs arise in the domains of manufacturing, robotics, vehicular traffic, logistics, and computer and communication networks. We are studying modeling and analysis of DESs by means of various kinds of formal models, such as automata-based models, graph models, algebraic models, and logical models. We are also interested in hybrid systems, which are systems with both continuous dynamics and discrete dynamics.
Efficient analysis and verification of concurrent systems
In the analysis of concurrent systems, there are several problems that do not happen in sequential systems. For example, the size of the state space often increases exponentially in the size of the model. This phenomenon is called state space explosion and it makes the analysis very difficult. We are studying efficient analysis and verification techniques for such systems.
Modeling of complex processes in nursing and cargiving services
In 2010, JST/RISTEX in Japan started a new R&D program ``Service Science, Solutions and Foundation Integrated Research Program''. "Innovation for Service Space Communication by Voice Tweets in Nursing and Caring" is one of the selected projects by the above program. The aim of the project is to develop a stress-free information assisting system based on smart voice messaging. By providing voice messaging environment optimized for current situation of nurses, the system helps nurses in their cooperation, knowledge sharing, and making work records, and as a result the system reduces various kinds of stresses associated with their work. To estimate current situation of nurses, it is important to have detailed process models that described working schedules and how they behave in various situations. Moreover, computer simulation based on the process models is useful for quantitative evaluation of the system. In this article, we first clarify problems to be solved toward the modeling of nursing and caregiving processes, and give solutions to them.

■Publications

◆Published Papers
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
Sector Identification for a Large Amount of Airspace Traffic Data
Shoya Tokumaru, Kunihiko Hiraishi
IEICE Trans Fundamentals of Electronics, Communications and Computer Sciences, 102-A, 5, 755-756, 2019
◆Misc
Emergence of Awareness by Communication in Mini Nomadic University
岡田 政則, 内平 直志, 平石 邦彦, 國藤 進
ワークショップ2018 (GN Workshop 2018) 論文集, 2018, 1-6, 2018
Analysis of Cooperative Behavior in Nursing and Caregiving Services
Koichi Kobayashi, Kunihiko Hiraishi, Sunseong Choe, Naoshi Uchihira
IEICE technical report, 116, 525, 7-10, 2017
On Behavioral Analysis of Nursing and Caregiving Services Using Switched Linear Regression Models
小林 孝一, 平石 邦彦, 崔 舜星, 内平 直志
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報, 115, 480, 57-60, 2016
Effectiveness of Staff Cooperation by Smart Voice Messaging System under Unpredictable Events
崔 舜星, 平石 邦彦, 内平 直志
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報, 115, 419, 7-11, 2016
Collaboration management by smart voice messaging for physical and adaptive intelligent services
Naoshi Uchihira, Sunseong Choe, Kunihiko Hiraishi, Kentaro Torii, Tetsuro Chino, Yuji Hirabayashi, Taro Sugihara
2013 Proceedings of PICMET 2013: Technology Management in the IT-Driven Services, 251-258, 2013
◆Books
形式的モデル化 離散事象/実時間/ハイブリッドシステムのモデル化と解析
単著, 森北出版, 2019
機械工学便覧 デザイン編β6「制御システム」
共著, 日本機械学会, 2006
ペトリネットの理論と実践
共著, 朝倉書店, 1995
◆Conference Activities & Talks
A POMDP-based Approach to Assortment Optimization Problem for Vending Machine
IEEE IEEM2019, 2019
空域におけるセクター間交通流のモデル化
CARATSオープンデータ活用促進説明会, 国土交通省航空局・北陸先端大, 石川県金沢市, 2019
Information Supervisory Control of Human Behavior
The 13th India-Japan Bilateral Conference BICON2018, 2018
Information Supervisory Control of Human Behavior - A Formal Model and Simulation -
IEEE Systems, Man, and Cybernetics 2018, Miyazaki, 2018
フィールドワークにおけるコラボレーション効果
第40回日本創造学会研究大会, 大阪, 2018

■Teaching Experience

Advanced Topics in IoT and AI, Theory of Discrete-State Systems, System Optimization(E), System Optimization, IoT・AIイノベーション特論, 離散状態システムの理論, システム最適化(E), システム最適化

■Contributions to  Society

◆Academic Society Affiliations
IEEE, THE SOCIETY OF INSTRUMENT AND CONTROL ENGINEERS, INFORMATION PROCESSING SOCIETY OF JAPAN, THE INSTITUTE OF ELECTRONICS, INFORMATION AND COMMUNICATION ENGINEERS
◆Academic Contribution
32nd International Conference on Application and Theory of Petri Nets and Other Models of Concurrency/11th International Conference on Application of Concurrency to System Design , 北陸先端科学技術大学院大学・教授・平石邦彦, Newcastle University・Professor・Maciej Koutny, Newcastle University・Professor・Alex Yakovlev , 2011 - 2011 , Newcastle upon Tyne, UK(東日本大震災の影響により金沢から移動)
Petri Nets and Software Engineering 2011 , University of Hamburg・Teacher・Michael Duvigneau,University of Hamburg・Lecturer・Daniel Moldt, 北陸先端科学技術大学院大学・教授・平石邦彦 , 2011 - 2011 , Newcastle upon Tyne, UK
Editorial Board Member , Transaction on Petri Nets and Other Models of Concurrency

■Academic  Awards

・ 論文賞 , 平石 邦彦 , 電子情報通信学会 , 2006
・ 論文賞 , 平石 邦彦 , 計測自動制御学会 , 1990