論文の概要: Configuration Monitor Synthesis
- arxiv url: http://arxiv.org/abs/2408.17368v1
- Date: Fri, 30 Aug 2024 15:57:35 GMT
- ステータス: 処理完了
- システム内更新日: 2024-09-02 14:46:39.876030
- Title: Configuration Monitor Synthesis
- Title（参考訳）: 構成モニタ合成
- Authors: Maximilian A. Köhl, Clemens Dubslaff, Holger Hermanns,
- Abstract要約: 動作中のシステムの未知の構成を決定するために,構成監視を導入する。
自動理論構成モニタを合成するモジュールで汎用的なパイプラインを開発した。
また,本手法は,ランタイムモニタリングや障害診断における既存の作業を一般化し,統一するものであることを示す。
- 参考スコア（独自算出の注目度）: 1.9977040198878984
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: The observable behavior of a system usually carries useful information about its internal state, properties, and potential future behaviors. In this paper, we introduce configuration monitoring to determine an unknown configuration of a running system based on observations of its behavior. We develop a modular and generic pipeline to synthesize automata-theoretic configuration monitors from a featured transition system model of the configurable system to be monitored. The pipeline further allows synthesis under partial observability and network-induced losses as well as predictive configuration monitors taking the potential future behavior of a system into account. Beyond the novel application of configuration monitoring, we show that our approach also generalizes and unifies existing work on runtime monitoring and fault diagnosis, which aim at detecting the satisfaction or violation of properties and the occurrence of faults, respectively. We empirically demonstrate the efficacy of our approach with a case study on configuration monitors synthesized from configurable systems community benchmarks.
- Abstract（参考訳）: システムの観測可能な振る舞いは、通常、内部状態、特性、潜在的な将来の振る舞いに関する有用な情報を運ぶ。
本稿では,その動作の観測に基づいて,実行中のシステムの未知の構成を決定するための構成モニタリングを提案する。
我々は,監視対象システムの特徴的遷移システムモデルから自動理論構成モニタを合成するモジュールで汎用的なパイプラインを開発した。
パイプラインはさらに、部分的な可観測性とネットワークによる損失の下での合成と、システムの将来の振る舞いを考慮した予測構成モニターを可能にする。
構成監視の新たな適用以外にも,本手法は,それぞれが特性の満足度や違反や欠陥の発生を検出することを目的とした,ランタイム監視と障害診断に関する既存の作業の一般化と統合を図っている。
構成可能なシステムコミュニティベンチマークから合成した構成モニタのケーススタディにより,提案手法の有効性を実証的に実証した。
関連論文リスト
- Explanatory Model Monitoring to Understand the Effects of Feature Shifts on Performance [61.06245197347139]
そこで本研究では,機能シフトによるブラックボックスモデルの振る舞いを説明する新しい手法を提案する。
本稿では,最適輸送と共有値の概念を組み合わせた提案手法について,説明的性能推定として紹介する。
論文 参考訳（メタデータ） (2024-08-24T18:28:19Z) - Interactive System-wise Anomaly Detection [66.3766756452743]
異常検出は様々なアプリケーションにおいて基本的な役割を果たす。
既存のメソッドでは、インスタンスがデータとして容易に観察できないシステムであるシナリオを扱うのが難しい。
システム埋め込みを学習するエンコーダデコーダモジュールを含むエンドツーエンドアプローチを開発する。
論文 参考訳（メタデータ） (2023-04-21T02:20:24Z) - System Resilience through Health Monitoring and Reconfiguration [56.448036299746285]
人為的なシステムのレジリエンスを、予期せぬ事象に対して向上させるためのエンドツーエンドのフレームワークを実証する。
このフレームワークは物理ベースのデジタルツインモデルと,リアルタイム故障診断,予後,再構成を行う3つのモジュールに基づいている。
論文 参考訳（メタデータ） (2022-08-30T20:16:17Z) - syslrn: Learning What to Monitor for Efficient Anomaly Detection [3.071931695335886]
syslrnは、まずターゲットシステムの理解をオフラインで構築し、学習した通常の振る舞いの識別子に基づいてオンライン監視機器を調整するシステムである。
本稿では,障害のモニタリングを行うケーススタディにおいて,オーバーヘッドが少なく,最先端のログ分析システムより優れていることを示す。
論文 参考訳（メタデータ） (2022-03-29T08:10:06Z) - Towards Partial Monitoring: It is Always too Soon to Give Up [0.0]
本稿では,監視可能性の概念を実践的観点から再考する。
監視不能なプロパティが部分的なモニタを生成するためにどのように使用できるかを示し、そのプロパティを部分的にチェックする。
論文 参考訳（メタデータ） (2021-10-25T01:55:05Z) - Sparsity in Partially Controllable Linear Systems [56.142264865866636]
本研究では, 部分制御可能な線形力学系について, 基礎となる空間パターンを用いて検討する。
最適制御には無関係な状態変数を特徴付ける。
論文 参考訳（メタデータ） (2021-10-12T16:41:47Z) - No Need to Know Physics: Resilience of Process-based Model-free Anomaly
Detection for Industrial Control Systems [95.54151664013011]
本稿では,システムの物理的特性に反する逆スプーフ信号を生成するための新しい枠組みを提案する。
トップセキュリティカンファレンスで公表された4つの異常検知器を分析した。
論文 参考訳（メタデータ） (2020-12-07T11:02:44Z) - Monitoring and Diagnosability of Perception Systems [21.25149064251918]
本稿では,認識システムにおける実行時モニタリングと故障検出と識別のための数学的モデルを提案する。
本稿では,LGSVL自動運転シミュレータとApollo Auto自動運転ソフトウェアスタックを用いた実写シミュレーションにおいて,PerSySと呼ばれるモニタリングシステムを実演する。
論文 参考訳（メタデータ） (2020-11-11T23:03:14Z) - Safety Verification of Neural Network Controlled Systems [0.0]
本稿では,ニューラルネットワーク制御システムの安全性を検証するためのシステムレベルのアプローチを提案する。
単純な動作と複雑な動作の両方をキャプチャできるコントローラのジェネリックモデルを想定します。
我々は,システム全体の到達可能な状態を正確に近似する到達可能性解析を行う。
論文 参考訳（メタデータ） (2020-11-10T15:26:38Z) - Lipschitz Recurrent Neural Networks [100.72827570987992]
我々のリプシッツ再帰ユニットは、他の連続時間RNNと比較して、入力やパラメータの摂動に対してより堅牢であることを示す。
実験により,Lipschitz RNNは,ベンチマークタスクにおいて,既存のリカレントユニットよりも優れた性能を発揮することが示された。
論文 参考訳（メタデータ） (2020-06-22T08:44:52Z) - Monitoring and Diagnosability of Perception Systems [21.25149064251918]
知覚は、ロボット工学や自動運転車などの自律システムの高統合的応用において重要な要素である。
知覚システムの重要さにもかかわらず、システムレベルのモニタリングには正式なアプローチは存在しない。
本稿では,認識システムの実行時モニタリングと故障検出のための数学的モデルを提案する。
論文 参考訳（メタデータ） (2020-05-24T18:09:46Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。