Home >

news Help

Publication Information


Title
Japanese:時相論理式の反証を用いた制御器のチューニング 
English:Temporal Logic Falisification for Controller Parameter Tuning 
Author
Japanese: 峰尾太陽, 石井大輔, 渡部卓雄.  
English: Taiyo Mineo, Daisuke Ishii, Takuo Watanabe.  
Language Japanese 
Journal/Book name
Japanese:信学技報 
English:IEICE technical report 
Volume, Number, Page Vol. 115    No. 480    pp. 61-66
Published date Mar. 3, 2016 
Publisher
Japanese: 
English: 
Conference name
Japanese:電子情報通信学会 システム数理と応用研究会 
English:Technical Committee on Mathematical Systems Science and its applications Mathematical Systems Science and its applications, IEICE 
Conference site
Japanese:山口県下関市 
English: 
Official URL http://www.ieice.org/ken/paper/20160304gb7D/
 
Abstract In general, it is hard to check exhaustively states of systems that behave continuously over time and space, unlike the systems with discrete state space. Therefore, falsification methods of temporal logic formulae have been proposed as a prominent approach to verify various continuous systems. The falsification methods efficiently compute a counterexample of continuous systems that does not satisfy a considered property based on the numerical simulation and statistical optimization. In this research, we consider continuous systems that involve controllers, and aim for a simple description of controller specifications and the automated tuning of controller parameters based on the quantitative evaluation of the specification. To achieve this goal, we encode the specifications as temporal logic formulae, formalize an optimization problem about the parameters, and propose an algorithm that solves this optimization problem with a statistical method. The proposed method enables to describe various controller specifications, to evaluate the specifications quantitatively, and to optimize parameters efficiently for the generic controllers. We experimentally tuned PID controllers connected with typical physical systems, and confirmed that our method computed quantitatively better parameter configurations than the classical Ziegler-Nichols method.

©2007 Tokyo Institute of Technology All rights reserved.