文献

J-GLOBAL ID：201502210462596647   整理番号：15A1137221

確率的スイッチドシステムに対する双模倣記号モデル:離散化を必要としないアプローチ

Bisimilar Symbolic Models for Stochastic Switched Systems: A Discretization-Free Approach

著者 (2件)： ZAMANI Majid (Technische Univ. Muenchen, Munich, DEU) ,  GIRARD Antoine (Univ. Grenoble, Grenoble, FRA)
資料名： Proceedings of the American Control Conference  (Proceedings of the American Control Conference)
巻： 2015 Vol.3  ページ： 1923-1928  発行年： 2015年 
JST資料番号： B0982A  ISSN： 0743-1619  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 過去数年多くの抽象化技術が開発され,連続時間確率(ハイブリッド)系の記号モデルを構築している。本論文では,共通あるいは多重Lyapunov関数を許容する連続時間確率的スイッチドシステムに対して,連続空間離散化無しに,抽象化技術を提供した。提案した抽象化技術は,連続空間離散化を要求しないため,より高次元の連続時間確率的スイッチドシステムを取扱うときに,従来の場合より効率的である可能性があった。更に,与えられた確率的スイッチドシステムに対して,提案したアプローチと従来の場合の中から最も適切なものを選択できるシンプルな基準を提供した。提案したアプローチは,確率的出力値をもつ記号モデルを構築することを可能とし,より保守性を軽減した記号抽象化とし,非確率的出力値のみを可能とした。提案したアプローチの有効性を,6室ビルの温度制御に対する制御方策を合成し,いくつかの線形時間論理(LTL)仕様を強化することにより説明した。

シソーラス用語： *記号 ,  数学的変換 ,  *確率系 ,  抽象 ,  連続時間系 ,  *Lyapunov関数 ,  温度制御 ,  時間論理 ,  *システム
準シソーラス用語： *確率的スイッチドシステム ,  線形時間論理 ,  抽象化 ,  離散化

分類 (1件)： システム・制御理論一般  (IA02010H)

タイトルに関連する用語 (5件)： 確率 ,  模倣 ,  記号 ,  モデル ,  離散化