Fugu-MT 論文翻訳(概要): Specifying and Reasoning about CPS through the Lens of the NIST CPS Framework

論文の概要: Specifying and Reasoning about CPS through the Lens of the NIST CPS Framework

arxiv url: http://arxiv.org/abs/2201.05710v1
Date: Fri, 14 Jan 2022 23:28:09 GMT
ステータス: 処理完了
システム内更新日: 2022-01-22 18:16:46.375432
Title: Specifying and Reasoning about CPS through the Lens of the NIST CPS Framework
Title（参考訳）: NIST CPSフレームワークのレンズによるCPSの特定と推論
Authors: Thanh Hai Nguyen, Matthew Bundas, Tran Cao Son, Marcello Balduccini, Kathleen Campbell Garwood, Edward R. Griffor
Abstract要約: 本稿では,国立標準技術研究所(NIST)が提唱したCPSフレームワークの精神におけるサイバー物理システム(CPS)の形式的定義を紹介する。これは、CPSの関心事に関連する様々な問題を、Answer Set Programming(ASP)を使用して正確に形式化し、実装できることを示します。
参考スコア（独自算出の注目度）: 2.6962332001997726
License: http://creativecommons.org/publicdomain/zero/1.0/
Abstract: This paper introduces a formal definition of a Cyber-Physical System (CPS) in the spirit of the CPS Framework proposed by the National Institute of Standards and Technology (NIST). It shows that using this definition, various problems related to concerns in a CPS can be precisely formalized and implemented using Answer Set Programming (ASP). These include problems related to the dependency or conflicts between concerns, how to mitigate an issue, and what the most suitable mitigation strategy for a given issue would be. It then shows how ASP can be used to develop an implementation that addresses the aforementioned problems. The paper concludes with a discussion of the potentials of the proposed methodologies.
Abstract（参考訳）: 本稿では,国立標準技術研究所(NIST)が提唱したCPSフレームワークの精神に,サイバー物理システム(CPS)の形式的定義を導入する。この定義を用いることで、cpsにおける関心に関する様々な問題を正確に形式化し、解集合プログラミング(asp)を用いて実装できることを示す。これには、依存関係や懸念間の衝突、問題の緩和方法、特定の問題に対する最も適切な緩和戦略などに関する問題が含まれます。次に、上記の問題に対処する実装を開発するためにASPがどのように使用できるかを示す。この論文は、提案手法の可能性を議論して締めくくっている。

関連論文リスト

An Evaluation of Requirements Modeling for Cyber-Physical Systems via LLMs [18.657412233247328]
問題フレームアプローチは、コンポーネントの特性と相互接続をキャプチャすることで、現実世界の問題を形成することを目的としている。大規模言語モデル(LLM)は、自然言語理解において優れた性能を示している。
論文参考訳（メタデータ） (2024-08-05T13:20:14Z)
AbCD: A Component-wise Adjustable Framework for Dynamic Optimization Problems [49.1574468325115]
動的最適化問題 (DOP) は、常に発生し、現実の応用に共通するフィットネス環境の変化によって特徴づけられる。我々は、動的問題のための調整可能なコンポーネント(AbCD)と呼ばれるDOPのためのコンポーネント指向フレームワークを開発する。この結果から,アルゴリズムやコンポーネントの今後の発展に対処する必要があるDOP分野の既存の課題が浮き彫りになる。
論文参考訳（メタデータ） (2023-10-09T08:11:31Z)
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)
Conjunctive Query Based Constraint Solving For Feature Model Configuration [79.14348940034351]
本稿では、制約満足度問題を解決するために共役クエリーを適用する方法を示す。このアプローチは、構成タスクを解決するために、広範囲のデータベース技術の応用を可能にする。
論文参考訳（メタデータ） (2023-04-26T10:08:07Z)
Stress Testing Control Loops in Cyber-Physical Systems [2.195923771201972]
制御とソフトウェア技術者が協調してソフトウェアを開発する制御ベースCPSの試験について検討する。制御ベースのCPSのストレステストは、そのような設計仮定を偽装するテストを生成するものとして定義する。我々は,ドローン,連続電流モータ,航空機を含む3つのケーススタディシステムに対するアプローチを評価した。
論文参考訳（メタデータ） (2023-02-27T16:01:38Z)
A Survey on Cyber-Resilience Approaches for Cyber-Physical Systems [0.4056667956036515]
重要なインフラにおけるサイバー物理システムのレジリエンスに関する懸念が高まっている。サイバーレジリエンス(サイバーレジリエンス)は、CPSの中核機能を維持することでCPSの生存を確保することを目的としている。我々は,サイバーレジリエンスに対処する最近の文献を,CPSで使用される技術に焦点をあてて,体系的に調査する。
論文参考訳（メタデータ） (2023-02-10T18:03:20Z)
Learning to Detect Critical Nodes in Sparse Graphs via Feature Importance Awareness [53.351863569314794]
クリティカルノード問題(CNP)は、削除が残余ネットワークのペア接続性を最大に低下させるネットワークから臨界ノードの集合を見つけることを目的としている。本研究は,ノード表現のための特徴重要度対応グラフアテンションネットワークを提案する。ダブルディープQネットワークと組み合わせて、初めてCNPを解くエンドツーエンドのアルゴリズムを作成する。
論文参考訳（メタデータ） (2021-12-03T14:23:05Z)
Systemic formalisation of Cyber-Physical-Social System (CPSS): A systematic literature review [0.0]
CPSSのコンセプトは10年以上前からあり、ここ数年で注目を集めています。 CPSSの概念を概念化する研究は、いくつかの科学文献で部分的に議論されている。本研究の目的は,まず科学文献を探索し,分析し,cpsのスペクトルを理解することである。
論文参考訳（メタデータ） (2021-04-11T22:31:57Z)
Conflict-driven Inductive Logic Programming [3.29505746524162]
帰納的論理プログラミング(ILP)の目標は、一連の例を説明するプログラムを学ぶことである。近年まで、ICPがターゲットとするPrologプログラムの研究がほとんどである。 ILASP システムは代わりに Answer Set Programs (ASP) を学ぶ
論文参考訳（メタデータ） (2020-12-31T20:24:28Z)
Verification of indefinite-horizon POMDPs [63.6726420864286]
本稿では,部分観測可能なMDPの検証問題について考察する。本稿では,Lovejoy-approachの過去のインスタンス化を拡張した抽象化・リファインメント・フレームワークを提案する。
論文参考訳（メタデータ） (2020-06-30T21:01:52Z)
Probably Approximately Correct Constrained Learning [135.48447120228658]
我々は、ほぼ正しい学習フレームワーク(PAC)に基づく一般化理論を開発する。 PAC学習可能なクラスも制約のある学習者であるという意味では,学習者の導入は学習問題を難しくするものではないことを示す。このソリューションの特性を分析し,制約付き学習が公平でロバストな分類における問題にどのように対処できるかを説明する。
論文参考訳（メタデータ） (2020-06-09T19:59:29Z)

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