Fugu-MT 論文翻訳(概要): Formal Verification of Consistency for Systems with Redundant Controllers

論文の概要: Formal Verification of Consistency for Systems with Redundant Controllers

arxiv url: http://arxiv.org/abs/2403.18917v1
Date: Wed, 27 Mar 2024 18:08:49 GMT
ステータス: 処理完了
システム内更新日: 2024-03-29 20:13:44.231704
Title: Formal Verification of Consistency for Systems with Redundant Controllers
Title（参考訳）: 冗長制御系における整合性の形式的検証
Authors: Bjarne Johansson, Bahman Pourvatan, Zahra Moezkarimi, Alessandro Papadopoulos, Marjan Sirjani,
Abstract要約: NRP FDと呼ばれるアルゴリズムは、可用性よりも一貫性を優先することでこの問題を解決する。モデリングと形式検証を併用して NRP FD で2つのプライマリコントローラを同時に持つという問題を発見した。
参考スコア（独自算出の注目度）: 39.677420930301736
License: http://creativecommons.org/licenses/by/4.0/
Abstract: A potential problem that may arise in the domain of distributed control systems is the existence of more than one primary controller in redundancy plans that may lead to inconsistency. An algorithm called NRP FD is proposed to solve this issue by prioritizing consistency over availability. In this paper, we demonstrate how by using modeling and formal verification, we discovered an issue in NRP FD where we may have two primary controllers at the same time. We then provide a solution to mitigate the identified issue, thereby enhancing the robustness and reliability of such systems.
Abstract（参考訳）: 分散制御システムの領域で起こりうる潜在的な問題は、冗長性計画における複数のプライマリコントローラの存在が矛盾を引き起こす可能性があることである。 NRP FDと呼ばれるアルゴリズムは、可用性よりも一貫性を優先することでこの問題を解決する。本稿では,モデリングと形式検証を併用して NRP FD に2つのプライマリコントローラを同時に持つという問題を発見した。次に、同定された問題を緩和し、そのようなシステムの堅牢性と信頼性を高めるためのソリューションを提供する。

関連論文リスト

A Scalable Network-Aware Multi-Agent Reinforcement Learning Framework for Decentralized Inverter-based Voltage Control [9.437235548820505]
本稿では,分散型世代(DG)の増加に伴う電力グリッドの分散電圧制御に関する課題に対処する。従来のモデルベース電圧制御法は、これらのDGの急激なエネルギー変動と不確実性に苦慮している。本稿では,ネットワーク構造を利用したスケーラブルなネットワーク認識(SNA)フレームワークを提案する。
論文参考訳（メタデータ） (2023-12-07T15:42:53Z)
Safe Neural Control for Non-Affine Control Systems with Differentiable Control Barrier Functions [58.19198103790931]
本稿では,非アフィン制御系における安全クリティカル制御の問題に対処する。制御バリア関数(CBF)を用いて,状態制約と制御制約の2次コストの最適化を2次プログラムのシーケンス(QP)にサブ最適化できることが示されている。我々は,高次CBFをニューラル常微分方程式に基づく学習モデルに差分CBFとして組み込んで,非アフィン制御系の安全性を保証する。
論文参考訳（メタデータ） (2023-09-06T05:35:48Z)
Reimagining Demand-Side Management with Mean Field Learning [0.0]
本稿では,DSMの新しい手法,特に所望の消費信号に従うために大量の電気機器を制御する問題を提案する。我々は,凸関数とリプシッツ関数の理論的保証を提供する新しいアルゴリズムMD-MFCを開発した。
論文参考訳（メタデータ） (2023-02-16T10:15:08Z)
Robust Control for Dynamical Systems With Non-Gaussian Noise via Formal Abstractions [59.605246463200736]
雑音分布の明示的な表現に依存しない新しい制御器合成法を提案する。まず、連続制御系を有限状態モデルに抽象化し、離散状態間の確率的遷移によってノイズを捕捉する。我々は最先端の検証技術を用いてマルコフ決定プロセスの間隔を保証し、これらの保証が元の制御システムに受け継がれるコントローラを演算する。
論文参考訳（メタデータ） (2023-01-04T10:40:30Z)
Deep Reinforcement Learning for Wireless Scheduling in Distributed Networked Control [37.10638636086814]
完全分散無線制御システム(WNCS)の周波数チャネル数に制限のある結合アップリンクとダウンリンクのスケジューリング問題を考える。深層強化学習(DRL)に基づくフレームワークを開発した。 DRLにおける大きなアクション空間の課題に対処するために,新しいアクション空間削減法とアクション埋め込み法を提案する。
論文参考訳（メタデータ） (2021-09-26T11:27:12Z)
Pointwise Feasibility of Gaussian Process-based Safety-Critical Control under Model Uncertainty [77.18483084440182]
制御バリア関数(CBF)と制御リアプノフ関数(CLF)は、制御システムの安全性と安定性をそれぞれ強化するための一般的なツールである。本稿では, CBF と CLF を用いた安全クリティカルコントローラにおいて, モデル不確実性に対処するためのガウスプロセス(GP)に基づくアプローチを提案する。
論文参考訳（メタデータ） (2021-06-13T23:08:49Z)
Safe-by-Repair: A Convex Optimization Approach for Repairing Unsafe Two-Level Lattice Neural Network Controllers [1.6500749121196987]
既知の"counterexample"状態における安全でないクローズドループ動作の修復を目指す。また、別個の検証された状態集合上での安全な閉ループ挙動の概念も保存する。それぞれの部分問題を解くための十分条件の組が凸実現可能性問題としてキャストできることを示す。
論文参考訳（メタデータ） (2021-04-06T21:21:24Z)
Decentralized Control with Graph Neural Networks [147.84766857793247]
分散コントローラを学習するグラフニューラルネットワーク(GNN)を用いた新しいフレームワークを提案する。 GNNは、自然分散アーキテクチャであり、優れたスケーラビリティと転送性を示すため、タスクに適している。分散コントローラの学習におけるGNNの可能性を説明するために、群れとマルチエージェントパス計画の問題を検討する。
論文参考訳（メタデータ） (2020-12-29T18:59:14Z)
Learning Stabilizing Controllers for Unstable Linear Quadratic Regulators from a Single Trajectory [85.29718245299341]
線形2次制御器(LQR)としても知られる2次コストモデルの下で線形制御器を研究する。楕円形不確実性集合内の全ての系を安定化させる制御器を構成する2つの異なる半定値プログラム(SDP)を提案する。高い確率で安定化コントローラを迅速に識別できる効率的なデータ依存アルゴリズムであるtextsceXplorationを提案する。
論文参考訳（メタデータ） (2020-06-19T08:58:57Z)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。