講演抄録/キーワード |
講演名 |
2019-01-15 13:05
スーパバイザ制御のためのLTL[F]を用いた制御仕様記述の検討 ○榊原愛海・潮 俊光(阪大) MSS2018-58 SS2018-29 |
抄録 |
(和) |
LTL[$ mathcal{F} $]は線形時相論理を定量的に拡張した論理体系であり,システムの振舞いがどの程度仕様を満足するのかを実数値で評価する.本報告では,スーパバイザ制御問題におけるLTL[$ mathcal{F} $]を用いた制御仕様の記述方法について検討する.線形時相論理を用いた制御目的と比べて,LTL[$ mathcal{F} $]制御仕様の下でのスーパバイザ制御問題ではより細かい評価が可能となる.さらに,パラメータの違いによって生じる制御結果の差異を例題で確認する. |
(英) |
LTL[$ mathcal{F} $] is a quantitative extension of linear temporal logic, whose evaluations are based on how well a specification is satisfied. In this report, we study control specifications using LTL[$ mathcal{F} $] for a supervisory control problem. LTL[$ mathcal{F} $] control specifications enable us to distinguish system behavior more explicitly than the conventional linear temporal logic. Furthermore, we discuss the effect of design parameters of control specifications on the supervisors. |
キーワード |
(和) |
線形時相論理 / LTL[F] / 制御仕様 / スーパバイザ制御 / / / / |
(英) |
linear temporal logic / LTL[F] / control specification / supervisory control / / / / |
文献情報 |
信学技報, vol. 118, no. 384, MSS2018-58, pp. 25-28, 2019年1月. |
資料番号 |
MSS2018-58 |
発行日 |
2019-01-08 (MSS, SS) |
ISSN |
Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 |
著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
PDFダウンロード |
MSS2018-58 SS2018-29 |