@article{CTT100633383,
  author = {Koichi Kobayashi and Jun-ichi Imura and Kunihiko Hiraishi},
  title = {Stabilization of finite automata with application to hybrid systems control},
  journal = {Discrete Event Dynamic Systems: Theory and Applications},
  year = 2011,
}

@article{CTT100617731,
  author = {K. Kobayashi and J.Imura and K. Hiraishi},
  title = {Polynomial-time algorithm for controllability test of a class of Boolean biological networks},
  journal = {EURASIP Journal on Bioinformatics and Systems Biology},
  year = 2010,
}

@inproceedings{CTT100598648,
  author = {Koichi Kobayashi and Jun-ichi Imura and Kunihiko Hiraishi},
  title = {Stabilizing Model Predictive Control of Hybrid Systems with Discrete Dynamics},
  booktitle = {Proc. of the ICROS-SICE International Joint Conference 2009},
  year = 2009,
}

@inproceedings{CTT100599192,
  author = {小林孝一 and 井村順一 and 平石邦彦},
  title = {制御 Lyapunov 関数を用いたハイブリッドシステムの安定化},
  booktitle = {},
  year = 2009,
}

@inproceedings{CTT100599246,
  author = {小林孝一 and 井村順一 and 平石邦彦},
  title = {モデル予測制御における近似解法と離散ダイナミクスモデリング},
  booktitle = {第52回自動制御連合講演会，F3-4},
  year = 2009,
}

@inproceedings{CTT100599243,
  author = {小林孝一 and 井村順一 and 平石邦彦},
  title = {ブーリアンネットワークにおける可制御性判定のための多項式時間アルゴリズム},
  booktitle = {CST2009-14},
  year = 2009,
}

@inproceedings{CTT100598554,
  author = {Koichi Kobayashi and Jun-ichi Imura and Kunihiko Hiraishi},
  title = {Polynomial-Time Controllability Analysis of Boolean Networks},
  booktitle = {Proc. of the 2009 American Control Conference},
  year = 2009,
}

@inproceedings{CTT100570152,
  author = {小林孝一 and 井村順一 and 平石 邦彦},
  title = {ブーリアンネットワークモデルによる遺伝子発現ネットワークの可制御性解析},
  booktitle = {第21回回路とシステム軽井沢ワークショップ論文集},
  year = 2008,
}