@article{CTT100617662,
  author = {Y. Tazaki and J. Imura},
  title = {Planar Bipedal Locomotion Control Based on State-Discretization},
  journal = {Robotics and Autonomous Systems, Elsevier},
  year = 2010,
}

@inproceedings{CTT100617747,
  author = {Y. Tazaki and J. Imura},
  title = {Approximately Bisimilar Discrete Abstractions of Nonlinear Systems Using Variable-resolution Quantizers},
  booktitle = {},
  year = 2010,
}

@inproceedings{CTT100617885,
  author = {Y. Tazaki and J. Imura},
  title = {Multiresolution Discrete Abstraction for Optimal Control},
  booktitle = {Proc. of 49th IEEE Conference on Decision and Control},
  year = 2010,
}

@inproceedings{CTT100599261,
  author = {田崎 勇一 and 井村 順一},
  title = {多解像度量子化器による非線形システムの離散抽象化},
  booktitle = {F3-3},
  year = 2009,
}

@inproceedings{CTT100599284,
  author = {田崎 勇一 and 井村 順一},
  title = {多分解離散抽象化を用いた最適制御の近似解法},
  booktitle = {1C4-3},
  year = 2009,
}

@inproceedings{CTT100598527,
  author = {Yuichi Tazaki and Jun-ichi Imura},
  title = {Discrete-state abstractions of nonlinear systems using multi-resolution quantizer,},
  booktitle = {R. Majumdar and B. Tabuada (Eds.), Springer, Lecture Notes in Computer Science 5469},
  year = 2009,
}