文献

J-GLOBAL ID：202002239347844154   整理番号：20A1889834

SMT解法によるMax-Plus線形システムにおける過渡の計算【JST・京大機械翻訳】

Computation of the Transient in Max-Plus Linear Systems via SMT-Solving

著者 (4件)： Abate Alessandro (Department Computer Science, University of Oxford, Oxford, UK) ,  Cimatti Alessandro (Fondazione Bruno Kessler, Povo, Italy) ,  Micheli Andrea (Fondazione Bruno Kessler, Povo, Italy) ,  Mufid Muhammad Syifa’ul (Department Computer Science, University of Oxford, Oxford, UK)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 12288  ページ： 161-177  発行年： 2020年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： ドイツ (DEU)  言語： 英語 (EN)

抄録/ポイント： 本論文は,その周期領域に導くステップの数であるMax-Plus線形(MPL)システムの過渡を研究するために,充足可能性モデュロ理論(SMT)に接地された新しいアプローチを提案する。最先端の技術と異なり,著者らのアプローチは,初期状態のサブセットの周期的挙動の解析,ならびに,同じ特定の周期的挙動と過渡を示す初期状態のセットの特性化を可能にする。実験により,提案技法は,大きな次元のシステムに対する最大プラス代数計算に基づく最先端の手法を劇的に凌駕することを示した。Copyright Springer Nature Switzerland AG 2020 Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： *線形系 ,  線形性 ,  キャラクタリゼーション
準シソーラス用語： Max ,  初期状態 , 【Automatic Indexing@JST】

分類 (2件)： システム・制御理論一般  (IA02010H) ,  工程管理  (KB03030P)

タイトルに関連する用語 (5件)： SMT ,  解法 ,  Max ,  線形システム ,  計算