文献

J-GLOBAL ID：201702287272964246   整理番号：17A1631187

組み込み型実装凸最適化アルゴリズムの形式的検証【Powered by NICT】

Formal Verification for Embedded Implementation of Convex Optimization Algorithms

著者 (6件)： Cohen Raphael (Georgia Institute of Technology, Atlanta, GA, USA) ,  Cohen Raphael (Onera - The French Aerospace Lab, Toulouse, FRANCE) ,  Davy Guillaume (Onera - The French Aerospace Lab, Toulouse, FRANCE) ,  Davy Guillaume (CNRS-LAAS - Laboratory for Analysis and Architecture of Systems, Toulouse, FRANCE) ,  Feron Eric (Georgia Institute of Technology, Atlanta, GA, USA) ,  Garoche Pierre-Loiec (Onera - The French Aerospace Lab, Toulouse, FRANCE)
資料名： IFAC PapersOnLine  (IFAC PapersOnLine)
巻： 50  号： 1  ページ： 5867-5874  発行年： 2017年 
JST資料番号： W3101A  ISSN： 2405-8963  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： オランダ (NLD)  言語： 英語 (EN)

抄録/ポイント： 最新組込型アルゴリズムは,複雑さと長さ成長,自治体における成長,システムはそれ自身の経路を計画することができるに関連している。しかし,この期待は,セーフティクリティカル用途は満たさなければならないことをかなり強い運転制約に注意を向けることなく起こることができない。receding-horizon制御器に特に重点を置いた最適化アルゴリズムのための形式的検証を検討した。簡単な歴史的概観した後,埋め込まれた凸最適化アルゴリズムのためのプロトタイプautocoderについて議論する。符号化コード特性と証明,およびそれらの適用性と限界のためのオプションも詳述した。Copyright 2017 Elsevier B.V., Amsterdam. All rights reserved. Translated from English into Japanese by JST.【Powered by NICT】

シソーラス用語： 符号化 ,  自治体 ,  プロトタイプ ,  *アルゴリズム ,  適応性 ,  *凸形 ,  制御装置
準シソーラス用語： *形式的検証 ,  *最適アルゴリズム , 【Automatic Indexing@JST】

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

タイトルに関連する用語 (5件)： 組み込み ,  実装 ,  凸最適化 ,  アルゴリズム ,  形式的検証