整数パラメータによる実時間システムの制御【JST・京大機械翻訳】

Jovanovic Aleksandra; Lime Didier; Roux Olivier H.

文献

J-GLOBAL ID：202202241121772240 整理番号：22A0396178

整数パラメータによる実時間システムの制御【JST・京大機械翻訳】

Control of Real-Time Systems With Integer Parameters

出版者サイト複写サービスで全文入手
高度な検索・分析はJDreamⅢで {{ this.onShowJLink("http://jdream3.com/lp/jglobal/index.html?docNo=22A0396178&from=J-GLOBAL&jstjournalNo=C0223A") }}

著者 (3件)： , ,
資料名：
巻： 67 号： 1 ページ： 75-88 発行年： 2022年
JST資料番号： C0223A ISSN： 0018-9286 CODEN： IETAA9 資料種別：逐次刊行物 (A)
記事区分：原著論文発行国：アメリカ合衆国 (USA) 言語：英語 (EN)

著者らは,いくつかのタイミング特性が精度によって知られていないリアルタイムシステムのための制御装置の合成問題を考察した。パラメトリックタイムオートマトン(PTA)としてプラントをモデル化し,すなわち,これらのクロックのタイミング制約がパラメータを利用することができる,その挙動を制約する実数値クロックを備えた有限オートマトンである。最も一般的な問題は,次に,オートマトンの幾つかの制御位置が到達可能であるようなパラメータに対する制御器と値の両方を合成することにある。しかし,パラメトリックタイムドオートマトンに関するほとんどの非自明な問題は,不可解であり,タイムドシステムの検証のための古典的技法(そして,制御のための正式)は,その設定において終了しなかった。従って,制御問題の可解性を確保するためのパラメータの使用に関する制限を提供した。古典的時間オートマトンにおいて,実数値クロックは常に全ての実用的目的に対して整数と比較され,有界整数としてパラメータ値を探索する。したがって,著者らは,不可解性と終端課題を解決して,著者らは記号的合成手順を終了して,著者らの方法はリアルタイムシステムのモデリングのためにPTAの実用的有用性の大部分を保持する。Copyright 2022 The Institute of Electrical and Electronics Engineers, Inc. All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】

, , , , , ,
, , , 【Automatic Indexing@JST】

信号理論

, ,

前のページに戻る