@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,
}

@article{CTT100548736,
  author = {小林孝一 and 井村順一},
  title = {ハイブリッド制御における有限オートマトンの時系列ベーストモデリング},
  journal = {計測自動制御学会論文集},
  year = 2007,
}

@article{CTT100548355,
  author = {小林孝一 and 井村順一},
  title = {ハイブリッド制御における有限オートマトンの最小表現},
  journal = {計測自動制御学会論文集},
  year = 2007,
}

@inproceedings{CTT100570137,
  author = {小林孝一 and 井村順一},
  title = {ブーリアンネットワークモデルによる遺伝子発現ネットワークの可観測性解析},
  booktitle = {計測自動制御学会第8回制御部門大会資料},
  year = 2009,
}

@inproceedings{CTT100598547,
  author = {Koichi Kobayashi and Jun-ichi Imura},
  title = {Stabilization of Deterministic Finite Automata Based on Linear State Equation Representation},
  booktitle = {Proc. of the European Control Conference 2009,},
  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{CTT100598643,
  author = {Koichi Kobayashi and Jun-ichi Imura},
  title = {Observability Analysis of Boolean Networks with Biological Applications},
  booktitle = {Proc. of the ICROS-SICE International Joint Conference 2009},
  year = 2009,
}

@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{CTT100599236,
  author = {小林孝一 and 井村順一},
  title = {ハイブリッド制御における有限オートマトンモデルの関連性},
  booktitle = {計測自動制御学会第45回離散事象システム研究会講演論文集},
  year = 2009,
}

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

@inproceedings{CTT100550653,
  author = {小林孝一 and 井村順一},
  title = {ブーリアンネットワークモデルによる遺伝子発現ネットワークの可観測性解析},
  booktitle = {計測自動制御学会第8回制御部門大会論文集},
  year = 2008,
}

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

@inproceedings{CTT100548776,
  author = {Koichi Kobayashi and Jun-ichi Imura},
  title = {Model Predictive Control of Directed-Graph type Hybrid Systems},
  booktitle = {Proc. of IEEE Conference on Decision and Control},
  year = 2007,
}

@inproceedings{CTT100548733,
  author = {小林孝一 and 井村順一},
  title = {情報方程式表現に基づく有限オートマンの可安定性},
  booktitle = {計測自動制御学会制御部門制御理論シンポジウム},
  year = 2007,
}