時相論理式の反証を用いた制御器のチューニング (システム数理と応用)  [in Japanese] Controller Tuning with Falsification of Temporal Logic Formulae  [in Japanese]

Search this Article

Journal

  • 電子情報通信学会技術研究報告 = IEICE technical report : 信学技報

    電子情報通信学会技術研究報告 = IEICE technical report : 信学技報 115(480), 61-66, 2016-03-03

    電子情報通信学会

Codes

  • NII Article ID (NAID)
    40020792375
  • Text Lang
    JPN
  • ISSN
    0913-5685
  • NDL Article ID
    027248108
  • NDL Call No.
    Z16-940
  • Data Source
    NDL 
Page Top