文献

J-GLOBAL ID：201802260457779739   整理番号：18A0393740

離散および連続入力をもつ混合単調システムの有限抽象化【Powered by NICT】

Finite abstraction of mixed monotone systems with discrete and continuous inputs

著者 (2件)： Coogan Samuel (Department of Electrical Engineering and Computer Sciences, University of California, Berkeley, United States) ,  Arcak Murat (Department of Electrical Engineering and Computer Sciences, University of California, Berkeley, United States)
資料名： Nonlinear Analysis: Hybrid Systems  (Nonlinear Analysis: Hybrid Systems)
巻： 23  ページ： 254-271  発行年： 2017年 
JST資料番号： A1179A  ISSN： 1751-570X  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： オランダ (NLD)  言語： 英語 (EN)

抄録/ポイント： 状態空間の長方形分割を考慮した離散時間混合単調システムの有限抽象化のための効率的な計算手順を提示した。混合単調システムは増加と減少成分に分解可能,単調システムのよく知られたクラスを一般化した。は厳密に二点のみで分解関数を計算することにより初期条件のボックスから複数の可到達集合をoverapproximate,状態空間の次元に関係なく。最初の運転モードの有限集合をもつ系を考察し,連続制御入力をもつ系に定式化を拡張した。は著者らの結果を適用した昆虫個体群動力学のモデルの動的挙動を検証し,交通網のための情報伝達戦略を合成した。Copyright 2018 Elsevier B.V., Amsterdam. All rights reserved. Translated from English into Japanese by JST.【Powered by NICT】

シソーラス用語： 個体群 ,  *輸送網 ,  昆虫類 ,  計算 ,  運転モード ,  定式化 ,  初期条件
準シソーラス用語： 動的挙動 ,  制御入力 ,  状態空間 , 【Automatic Indexing@JST】

著者キーワード (3件)： 混合単調システム ,  単調システム ,  有限状態抽象化

分類 (1件)： システム設計・解析  (IA02030D)

タイトルに関連する用語 (1件)： 抽象化