ランダム化アルゴリズムに基づく拘束システムの新たな解析手法とその応用

基于随机化算法的约束系统分析新方法及其应用

• 批准号: 06J02979
• 负责人: 畑中 健志
• 金额: $ 0.64万
• 依托单位: Kyoto University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for JSPS Fellows
• 财政年份: 2006
• 资助国家: 日本
• 起止时间: 2006 至 无数据
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-06J02979/
• 关键词: 拘束システム; ランダム化アルゴリズム; 最大出力許容集合; 確率的出力許容集合

現実の制御システムにはアクチュエータの性能限界や制御対象の保護のために状態や入力に拘束条件が存在する.これらの拘束を適切に考慮しなければ過渡応答が劣化するだけでなく,最悪の場合には系の不安定化やハードウェアの破壊が生じる.これに対してシステムが拘束条件を破ることなく安全に動作するための必要十分条件は,初期状態がある状態空間上の集合内に存在することであることが知られている.特にあらかじめ設計された閉ループ系に対して定義される集合は最大出力許容集合と呼ばれ,拘束システムの解析のみならず多くの拘束システムの設計法にも利用されてきた.本研究ではランダム化アプローチに基づいて不確かな拘束システムに対する最大出力許容集合の構成問題に取り組んだ.従来の確定的な枠組みにおける研究では集合の構成にかかる計算複雑さのために扱うことができる不確かさモデルは限定的であったのに対して,確率的な枠組みの本研究では広いクラスの不確かさモデルを直接取り扱うことができる.本研究によって拘束条件の充足に一定のリスクを受け入れる必要はあるものの,拘束システムを扱う際に不確かさの簡単化や過剰見積もりを避けて,保守性の低い解析や応答の実現が可能になった.まず,時不変な不確かさに対して確率的に拘束を許容する初期状態集合(確率的出力許容集合)を定義し,ランダム化アルゴリズムに基づいて集合の構成法を提案した.次に,時変な不確かさをもつシステムに対して確率的出力許容集合を定義し,その構成法を提案した.さらに不確かさと外乱が同時に加わるシステムに対しても確率的出力許容集合の構成アルゴリズムを構築した.なお,これらの研究は現在国際学術雑誌に投稿中であり,時不変な不確かさに対する結果は採録決定済である.

Now be の suppression シ ス テ ム に は ア ク チ ュ エ ー タ の performance threshold や suppression like の seaborne protection の た め に state が や に into force constraint conditions exist す る. こ れ ら の constraint を appropriate に consider し な け れ ば transition 応 answer が degradation す る だ け で な く, most 悪 の occasions に は is の not stabilization や ハ ー ド ウ ェ ア の broken 壊 が raw じ る. こ れ に し seaborne て シ ス テ ム が constraint conditions を broken る こ と な く security に action す る た め は の is necessary condition, the initial state が あ る に の set to exist on the state space す る こ と で あ る こ と が know ら れ て い る. Special に あ ら か じ め design さ れ た closed ル ー プ department に し seaborne て definition さ れ る set は maximum output allowable と shout ば れ, inhibited シ ス テ ム の parsing の み な ら ず more く の constraint シ ス テ ム の design method に も using さ れ て き た. This study で は ラ ン ダ ム change ア プ ロ ー チ に base づ い て uncertain か な constraint シ ス テ ム に す seaborne る maximum output allowable collection の problem に group take り ん だ. 従 to の determine な 枠 group み に お け る research で は set の constituted に か か る computing complex 雑 さ の た め に Cha う こ と が で き る uncertain か さ モ デ ル は qualified で あ っ た の に し seaborne て, the probabilistic な 枠 group み の this study で は hiroo い ク ラ ス の uncertain か さ モ デ ル を directly take り Cha う こ と が で き る. This study に よ っ て constraint conditions sufficient の に certain の リ ス ク を by け into れ る necessary は あ る も の の, inhibited シ ス テ ム を Cha う interstate に uncertain か さ の Jane 単 change や turning see product も り を avoid け て, conservative の low い parsing や 応 の answer may be presently が に な っ た. ま ず, not - な uncertain か さ に し seaborne て に of probabilistic constraint を allowable す る initial condition set (the set of probabilistic output allowable) を define し, ラ ン ダ ム change ア ル ゴ リ ズ ム に base づ い て collection の composition method proposed を し た. に, when - な uncertain か さ を も つ シ ス テ ム に し seaborne て set of probabilistic output allowable を define し, そ の composition method proposed を し た. さ ら に uncertain か さ と outside disorderly が に add わ る シ ス テ ム に し seaborne て も set of probabilistic output allowable の constitute ア ル ゴ リ ズ ム を build し た. な お, こ れ ら の study は now international academic 雑 will contribute に で あ Youdaoplaceholder0, time-invariant な, uncertain さに against する result な recording decision である.