文献

J-GLOBAL ID：202102275137223538   整理番号：21A0003812

確率的ハイブリッドプロセスのp-Safe解析【JST・京大機械翻訳】

$p$-Safe Analysis of Stochastic Hybrid Processes

著者 (3件)： Wisniewski Rafael (Department of Electronic Systems, Automation and Control, Aalborg University, Aalborg, Denmark) ,  Bujorianu Manuela L. (Maritime Safety Research Center, Department of Naval Architecture, Ocean and Marine Engineering, University of Strathclyde, Glasgow, U.K.) ,  Sloth Christoffer (SDU Robotics, University of Southern Denmark, Odense, Denmark)
資料名： IEEE Transactions on Automatic Control  (IEEE Transactions on Automatic Control)
巻： 65  号： 12  ページ： 5220-5235  発行年： 2020年 
JST資料番号： C0223A  ISSN： 0018-9286  CODEN： IETAA9  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 確率的システムが安全であるかどうか,すなわち,その軌跡が不安全状態に達するかどうかを決定する方法を開発した。特に,Markov過程に対する確率的安全問題を定義,解いた。拡張発電機の知識に基づいて,非安全状態と初期状態の間の関係を記述する積分方程式のシステムとして,発展方程式を開発することができた。続いて,モーメント法を用いて,有限次元多項式最適化問題により,安全状態の最大集合に対する無限次元最適化問題探索を近似した。特に,確率的ハイブリッドプロセスの特殊クラス,すなわち区分的決定論的Markov過程に対する上記の安全問題に取り組んだ。これらは決定論的動力学と確率的ジャンプによって特徴付けられ,そこではジャンプの時間と目的の両方が確率的である。さらに,ジャンプは自発的(ポアソンプロセスの形式で)と強制(ガードで覆われた)の両方である。この場合,このプロセスの拡張発電機とその対応するマーンゲール問題は,むしろ制限されたドメインで定義される。この困難を回避するために,このプロセスの一般化微分方程式を進化方程式に導き,次に多項式最適化を定式化した。Copyright 2021 The Institute of Electrical and Electronics Engineers, Inc. All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： *Markov過程 ,  最適化 ,  積分方程式 ,  多項式 ,  微分方程式 ,  最適化問題 ,  保護具 ,  Poisson過程 ,  モーメント法 ,  発展方程式 ,  定式化
準シソーラス用語： 初期状態 ,  決定論 ,  無限次元 ,  ハイブリッドプロセス , 【Automatic Indexing@JST】

分類 (3件)： パターン認識  (JE07000S) ,  信号理論  (ND02020G) ,  移動通信  (ND08030H)

タイトルに関連する用語 (2件)： 確率 ,  ハイブリッドプロセス