TOP Page >  Profile

¾ðÊ󸦵æÅïIS Building III¡¡9F
To Lab's Site


Full text / JAIST Repository



Kunihiko Hiraishi Professor
School of Information Science¡¢Knowledge Management Area


B.E., M.E. and Ph.D.from Tokyo Institute of Technology (1983,1985,1990)

¢£Professional Career

Fujitsu Laboratories LTD(1985), Associate Professor, School of Information Science, Japan Advanced Institute of Science and Technology(1993)


Formal modeling and analysis of concurrent systems, discrete event systems, and hybrid systems

¢£Research Keywords

concurrent systems, discrete event systems, hybrid 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.


¡þPublished Papers

  • Temporal-Spatial Collaboration Support for Nursing and Caregiving Services¡¤Naoshi Uchihira, Kentaro Torii, Chino Tetsuro, Kunihiko Hiraishi, Sunseong Choe, Yuji Hirabayashi, Taro Sugihara¡¤Global Perspectives on Service Science: Japan (Service Science: Research and Innovations in the Service Economy) (Eds. James C. Spohrer, Stephen K. Kwan, Yuriko Sawatani), Springer, 2016¡¤2016/06/27
  • A Pathfinding Problem for Search Trees with Unknown Edge Length¡¤Kunihiko Hiraishi, Koichi Kobayashi¡¤Journal of Discrete Algorithms¡¤49¡¤1-7¡¤2018
  • Sector Identi cation for a Large Amount of Airspace Traffic Data¡¤S. Tokumaru, K. Hiraishi¡¤Âè64²óÎ¥»¶»ö¾Ý¥·¥¹¥Æ¥à¸¦µæ²ñͽ¹Æ½¸¡¤24-27¡¤2018/08/31

Display All

¡þLectures and Presentations

  • Modeling and Optimization of Item Changes in Vending Machines¡¤Gaku Nemoto, Kunihiko Hiraishi¡¤Asian Control Conference 2017¡¤Goldcoast, Australia¡¤2017/12/17-20
  • Information Supervisory Control of Human Behavior - Experiments and Formal Modeling -¡¤Kunihiko Hiraishi, Naoshi Uchihira, Sunseong Choe, Koichi Kobayashi¡¤Asian Control Conference 2017¡¤Goldcoast, Australia¡¤2017/12/17-20
  • Information Supervisory Control of Human Behavior - A Formal Model and Simulation -¡¤Kunihiko Hiraishi, Naoshi Uchihira, Sunseong Choe, Koichi Kobayashi¡¤IEEE Systems, Man, and Cybernetics 2018¡¤Miyazaki¡¤2018/10/7-10

Display All

¢£Extramural Activities

¡þAcademic Society Affiliations

  • IEEE Computer Society¡¤1993-

¡þOther Activities

  • IFAC Technical Committee 1.3 on Discrete Event and Hybrid Systems¡¤member(2008-)
  • International Conference on Application and Theory of Petri Nets and Concurrency¡¤Steering committee member(2008-)