論文の概要: 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がどのように使用できるかを示す。
この論文は、提案手法の可能性を議論して締めくくっている。
関連論文リスト
- Investigating Robustness in Cyber-Physical Systems:
Specification-Centric Analysis in the face of System Deviations [9.25102155574779]
サイバー物理システム(CPS)の重要属性は堅牢性であり、安全に運用する能力を示している。
本稿では,特定のシステム要件を満たす上でのコントローラの有効性を特徴付ける,仕様に基づく新しいロバスト性を提案する。
本稿では, 微妙な堅牢性違反を識別するための2層シミュレーションに基づく解析フレームワークを提案する。
論文 参考訳(メタデータ) (2023-11-13T16:44:43Z) - 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) - Prescriptive Process Monitoring: Quo Vadis? [64.39761523935613]
本論文はシステム文献レビュー(SLR)を通して,本分野における既存手法について考察する。
SLRは今後の研究の課題や分野に関する洞察を提供し、規範的なプロセス監視手法の有用性と適用性を高めることができる。
論文 参考訳(メタデータ) (2021-12-03T08:06:24Z) - Constraint Answer Set Programming: Integrational and Translational (or
SMT-based) Approaches [2.0559497209595814]
制約応答セットプログラミング(Constraint answer set programming、略称CASP)は、自動推論におけるハイブリッドアプローチである。
これは、解集合プログラミング、制約処理、満足度モジュラー理論など、異なる研究分野の進歩をまとめている。
複雑な列車スケジューリング問題を解くなど、宣言型プログラミングアプリケーションのための新たな地平を開く。
論文 参考訳(メタデータ) (2021-07-17T14:58:57Z) - 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)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。