Kunihiko Hiraishi Professor
School of Information Science（Department of Information Science・Theoretical Information Science）

■Degrees

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

■Professional Career

Fujitsu Laboratories LTD (1985)

■Specialties

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
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.
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.
Coordination models
We study how multiple autonomous agents can be coordinated in order to achieve a given purpose. Using a Petri-net-based model as a formal model to represent such systems, we discuss how to design the behavior of each agents and the environment in which agents are located.

■Publications

◇Published Papers

Polynomial-Time Algorithm for Controllability Test of a Class of Boolean Biological Networks，Koichi Kobayashi, Jun-ichi Imura, and Kunihiko Hiraishi，EURASIP Journal on Bioinformatics and Systems Biology，Vol. 2010，Article ID 210685，12 pages，2010/08
MLD-Based Modeling of Hybrid Systems with Parameter Uncertainty，Koichi Kobayashi and Kunihiko Hiraishi，IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences，E92-A，11，2745-2754，2009/11
Approximate Algorithm for Hybrid Model Predictive Control with Time-Varying Reference，Koichi Kobayashi, Kunihiko Hiraishi, and Nguyen Van Tang，IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences，E92-A，8，2046-2052，2009/08

Display All

◇Lectures and Presentations

Optimal Control of Context-Sensitive Probabilistic Boolean Networks Using Integer Programming，Koichi Kobayashi and Kunihiko Hiraishi，49th IEEE Conference on Decision and Control，Atlanta，2010/12
MLD-Based Modeling and MPC of Discrete-Time Hybrid Systems with Stochastic Mode Transitions，Koichi Kobayashi and Kunihiko Hiraishi，19th IEEE Conference on Control Applications (as a part of 2010 MSC)，Yokohama，2010/09
Reachability Analysis of Probabilistic Boolean Networks using Model Checking，Koichi Kobayashi and Kunihiko Hiraishi，SICE Annual Conference 2010，Taipei，2010/08