文献

J-GLOBAL ID：201802232795594650   整理番号：18A1652054

一次元線形放物線方程式の可到達性解析【JST・京大機械翻訳】

Reachability Analysis for One Dimensional Linear Parabolic Equations

著者 (4件)： Tran Hoang-Dung (Vanderbilt University, TN 37023, USA) ,  Xiang Weiming (Vanderbilt University, TN 37023, USA) ,  Bak Stanley (Air Force Research Laboratory, USA) ,  Johnson Taylor T. (Vanderbilt University, TN 37023, USA)
資料名： IFAC PapersOnLine  (IFAC PapersOnLine)
巻： 51  号： 16  ページ： 133-138  発行年： 2018年 
JST資料番号： W3101A  ISSN： 2405-8963  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： オランダ (NLD)  言語： 英語 (EN)

抄録/ポイント： 偏微分方程式(PDEs)は流体力学や量子力学のような広範囲の現象を数学的に記述する。PDEsを解くための数値解法の分野において大きな成果が得られているが,安全性検証(または偽化)の観点から,その動力学が空間だけでなく時間に依存する可能性があるPDEとして特定されるシステムを検証する必要がある。多くのサイバー物理システム(CPS)はPDEsとしてモデル化された物理現象のセンシングと制御を含むので,PDEsの到達可能性解析は安全性検証と偽化のための新しい方法を提供する。この挑戦的な問題に取り組む第一段階として,固定されたが不確実な入力と初期条件を持つ一次元線形放物線PDEsに対する既知のGalerkin有限要素法(FEM)を活用する到達可能性解析手法を提案した。特に,線形補間を用いて放物線PDEの連続近似到達可能集合を計算した。近似到達可能集合を用いることによって完全な保存性がほとんど達成されないので,保存性を強化するために,著者らは,数値解と連続近似到達可能集合に対する正確な解析的に解けない解の間の誤差限界を研究した。次に,安全性検証と偽化のために,このブロックされた到達可能なセットを使用した。安全仕様が違反される場合には,本手法は,システムを安全でない状態に導く初期条件と入力が存在することを証明するための数値トレースを生成する。Copyright 2018 Elsevier B.V., Amsterdam. All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： 近似法 ,  有限要素法 ,  偏微分方程式 ,  数値解法 ,  初期条件 ,  不確実性 ,  量子論 ,  *一次元 ,  流体力学 ,  *線形性 ,  モデリング ,  安全性
準シソーラス用語： 誤差限界 ,  解析手法 ,  *放物線方程式 , 【Automatic Indexing@JST】

著者キーワード (3件)： 可到達性解析 ,  サイバー物理システム ,  偏微分方程式

分類 (1件)： 化学プロセスの解析  (XC01030R)

タイトルに関連する用語 (3件)： 線形 ,  放物線方程式 ,  可到達性解析