An integer programming approach to optimal control problems in context-sensitive probabilistic Boolean networks K Kobayashi, K Hiraishi Automatica 47 (6), 1260-1264, 2011 | 46 | 2011 |

Deterministic finite automata representation for model predictive control of hybrid systems K Kobayashi, J Imura Journal of Process Control 22 (9), 1670-1680, 2012 | 28 | 2012 |

Self-triggered model predictive control with delay compensation for networked control systems K Kobayashi, K Hiraishi IEICE Transactions on Fundamentals of Electronics, Communications and …, 2013 | 27 | 2013 |

Optimal control of gene regulatory networks with effectiveness of multiple drugs: A Boolean network approach K Kobayashi, K Hiraishi BioMed research international 2013, 2013 | 25 | 2013 |

Design of probabilistic Boolean networks based on network structure and steady-state probabilities K Kobayashi, K Hiraishi IEEE transactions on neural networks and learning systems 28 (8), 1966-1971, 2016 | 24 | 2016 |

Polynomial-time algorithm for controllability test of a class of Boolean biological networks K Kobayashi, JI Imura, K Hiraishi EURASIP Journal on Bioinformatics and Systems Biology 2010 (1), 210685, 2010 | 24 | 2010 |

Modeling of discrete dynamics for computational time reduction of Model Predictive Control K Kobayashi, J Imura Proceedings of the 17th International Symposium on Mathematical Theory of …, 2006 | 20 | 2006 |

Stabilization of finite automata with application to hybrid systems control K Kobayashi, J Imura, K Hiraishi Discrete Event Dynamic Systems 21 (4), 519, 2011 | 19 | 2011 |

Minimalilty of finite automata representation in hybrid systems control K Kobayashi, J Imura International Workshop on Hybrid Systems: Computation and Control, 343-356, 2007 | 17 | 2007 |

Symbolic approach to verification and control of deterministic/probabilistic Boolean networks K Kobayashi, K Hiraishi IET systems biology 6 (6), 215-222, 2012 | 16 | 2012 |

Optimal control of probabilistic Boolean networks using polynomial optimization K Kobayashi, K Hiraishi IEICE Transactions on Fundamentals of Electronics, Communications and …, 2012 | 15 | 2012 |

Verification of opacity and diagnosability for pushdown systems K Kobayashi, K Hiraishi Journal of Applied Mathematics 2013, 2013 | 14 | 2013 |

ILP/SMT-based method for design of Boolean networks based on singleton attractors K Kobayashi, K Hiraishi IEEE/ACM transactions on computational biology and bioinformatics 11 (6 …, 2014 | 12 | 2014 |

Algorithm for optimal real-time pricing based on switched Markov chain models K Kobayashi, K Hiraishi 2015 IEEE Power & Energy Society Innovative Smart Grid Technologies …, 2015 | 11 | 2015 |

Verification and optimal control of context-sensitive probabilistic Boolean networks using model checking and polynomial optimization K Kobayashi, K Hiraishi The Scientific World Journal 2014, 2014 | 11 | 2014 |

Optimal control of asynchronous Boolean networks modeled by petri nets K Kobayashi, K Hiraishi Proc. 2nd Int. Workshop Biol Process Petri Nets, 7-20, 2011 | 11 | 2011 |

An optimization-based approach to sampled-data control of networked control systems with multiple delays K Kobayashi, K Hiraishi Applied Mathematics and Computation 247, 786-794, 2014 | 10 | 2014 |

Detection of unusual human activities based on behavior modeling K Hiraishi, K Kobayashi 12th International Workshop on Discrete Event Systems, 2014 | 10 | 2014 |

Behavior modeling in physical and adaptive intelligent services K Hiraishi, K Kobayashi, S Choe, N Uchihira 2014 IEEE International Inter-Disciplinary Conference on Cognitive Methods …, 2014 | 10 | 2014 |

Mixed-integer-programming-based approach to optimal design of networked control systems K Kobayashi, K Hiraishi SICE Journal of Control, Measurement, and System Integration 4 (3), 243-248, 2011 | 10 | 2011 |