文献

J-GLOBAL ID：202202276318506388   整理番号：22A0095529

単調遷移システムと有向安全仕様のための遅延コントローラ合成【JST・京大機械翻訳】

Lazy controller synthesis for monotone transition systems and directed safety specifications

著者 (3件)： Ivanova Elena (Universite Paris-Saclay, CNRS, CentraleSupelec, Laboratoire des signaux et systemes, 3, rue Joliot-Curie, 91190, Gif-sur-Yvette, France) ,  Saoud Adnane (Department of Electrical Engineering & Computer Sciences, University of California, Berkeley, 569 Cory Hall, Berkeley, CA, 94720, USA) ,  Girard Antoine (Universite Paris-Saclay, CNRS, CentraleSupelec, Laboratoire des signaux et systemes, 3, rue Joliot-Curie, 91190, Gif-sur-Yvette, France)
資料名： Automatica  (Automatica)
巻： 135  ページ： Null  発行年： 2022年 
JST資料番号： B0208A  ISSN： 0005-1098  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： オランダ (NLD)  言語： 英語 (EN)

抄録/ポイント： 本論文では,モノトーン遷移システムおよび有向安全仕様に対するラザイ制御合成アルゴリズムを提案した。二つのクラスの単調遷移系,すなわち状態単調遷移系と入力状態単調遷移系を提示した。システムの最初のクラスでは,部分次数を状態空間のみに定義する。第2に,入力空間も同様に規則化した。導入したラザイ合成アプローチは,先行者の効率的計算に基づいている。それは,遷移システムの単調特性だけでなく,状態(入力)空間の秩序構造からも,また,有向安全仕様が考慮されているという事実にも利点があった。考慮した仕様のクラスを豊かにするために,著者らはまた,上方およびより低い閉鎖安全性要求の交差点を扱うことができる増分コントローラ合成フレームワークを提示した。次に,古典的安全合成アルゴリズムと提案手法を比較し,適応巡航制御問題に関して実行時間とメモリ効率に関して利点を説明した。Copyright 2022 Elsevier B.V., Amsterdam. All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： アルゴリズム ,  交差点 ,  *遷移システム
準シソーラス用語： 実行時間 ,  状態空間 ,  メモリ効率 ,  *コントローラ合成 , 【Automatic Indexing@JST】

著者キーワード (5件)： 単調遷移系 ,  単調力学系 ,  有向安全仕様 ,  遅延制御器合成 ,  記号制御

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

タイトルに関連する用語 (4件)： 遷移システム ,  仕様 ,  遅延 ,  コントローラ合成