論文の概要: Overview and Performance Evaluation of Supervisory Controller Synthesis with Eclipse ESCET v4.0

• arxiv url: http://arxiv.org/abs/2511.04370v1
• Date: Thu, 06 Nov 2025 13:56:33 GMT
• ステータス: 翻訳完了
• システム内更新日: 2025-11-07 20:17:53.440617
• Title: Overview and Performance Evaluation of Supervisory Controller Synthesis with Eclipse ESCET v4.0
• Title（参考訳）: Eclipse ESCET v4.0によるスーパーバイザリコントローラ合成の概要と性能評価
• Authors: Dennis Hendriks, Michel Reniers, Wan Fokkink, Wytse Oortwijn,
• Abstract要約: CIFのシンボリックスーパーバイザリコントローラ合成アルゴリズムについて述べる。 CIFのベンチマークモデルを紹介し記述する。 ESCETバージョンv0.8(2022年12月)とv4.0(2024年6月)の最近の改良点を評価する。
• 参考スコア（独自算出の注目度）: 0.0
• License: http://creativecommons.org/licenses/by-nc-sa/4.0/
• Abstract: Supervisory controllers control cyber-physical systems to ensure their correct and safe operation. Synthesis-based engineering (SBE) is an approach to largely automate their design and implementation. SBE combines model-based engineering with computer-aided design, allowing engineers to focus on 'what' the system should do (the requirements) rather than 'how' it should do it (design and implementation). In the Eclipse Supervisory Control Engineering Toolkit (ESCET) open-source project, a community of users, researchers, and tool vendors jointly develop a toolkit to support the entire SBE process, particularly through the CIF modeling language and tools. In this paper, we first provide a description of CIF's symbolic supervisory controller synthesis algorithm, and thereby include aspects that are often omitted in the literature, but are of great practical relevance, such as the prevention of runtime errors, handling different types of requirements, and supporting input variables (to connect to external inputs). Secondly, we introduce and describe CIF's benchmark models, a collection of 23 freely available industrial and academic models of various sizes and complexities. Thirdly, we describe recent improvements between ESCET versions v0.8 (December 2022) and v4.0 (June 2024) that affect synthesis performance, evaluate them on our benchmark models, and show the current practical synthesis performance of CIF. Fourthly, we briefly look at multi-level synthesis, a non-monolithic synthesis approach, evaluate its gains, and show that while it can help to further improve synthesis performance, further performance improvements are still needed to synthesize complex models.
• Abstract（参考訳）: スーパーバイザリコントローラは、サイバー物理システムを制御し、その正確かつ安全な操作を保証する。 合成ベースエンジニアリング(SBE)は、設計と実装を大幅に自動化するアプローチである。 SBEはモデルベースのエンジニアリングとコンピュータ支援設計を組み合わせることで、エンジニアはシステムがどのように行うべきか(要求)ではなく、どのように行うべきか(設計と実装)に焦点を合わせることができる。 Eclipse Supervisory Control Engineering Toolkit (ESCET)オープンソースプロジェクトでは、ユーザ、研究者、ツールベンダのコミュニティが共同で、特にCIFモデリング言語とツールを通じて、SBEプロセス全体をサポートするツールキットを開発しています。 本稿では、まず、CIFのシンボリック・スーパーバイザ・コントローラ合成アルゴリズムについて記述し、文献でしばしば省略されるが、実行時エラーの防止、異なるタイプの要求の処理、入力変数(外部入力に接続する)のサポートなど、非常に実用的な側面を含む。 次に、CIFのベンチマークモデルについて述べる。CIFは、様々なサイズと複雑さの産業的および学術的モデル23のコレクションである。 第3に,ESCETバージョンv0.8(2022年12月)とv4.0(2024年6月)の最近の改良点について述べる。 第4に, モノリシックな合成手法であるマルチレベル合成を短時間で検討し, その利得を評価し, 合成性能の向上に寄与するが, 複雑なモデルの合成にはさらなる性能向上が必要であることを示す。

関連論文リスト

• Scaling Transformer-Based Novel View Synthesis Models with Token Disentanglement and Synthetic Data [53.040873127309766]
  本稿では,トランスアーキテクチャ内でのトークンのアンタングル化プロセスを提案し,特徴分離を向上し,より効果的な学習を実現する。 提案手法は,データセット内およびデータセット間の評価において,既存のモデルよりも優れる。
  論文  参考訳（メタデータ） (2025-09-08T17:58:06Z)
• A Systematic Literature Review of Parameter-Efficient Fine-Tuning for Large Code Models [2.171120568435925]
  コードのための大規模言語モデル(LLM)は、訓練と微調整のためにかなりの計算資源を必要とする。 この問題に対処するため,研究コミュニティは,より効率的なファインチューニング(PEFT)へと移行している。 PEFTは、モデル全体ではなく、パラメータの小さなサブセットだけを更新することで、大きなモデルの適応を可能にする。 本研究は,28の査読論文から得られた知見を合成し,構成戦略のパターンと適応トレードオフを同定する。
  論文  参考訳（メタデータ） (2025-04-29T16:19:25Z)
• Scaling Laws of Synthetic Data for Language Models [125.41600201811417]
  プレトレーニングコーパスを多種多様な高品質な合成データセットに変換するスケーラブルなフレームワークであるSynthLLMを紹介した。 提案手法は,グラフアルゴリズムを用いて複数の文書にまたがるハイレベルな概念を自動的に抽出し,再結合することで実現している。
  論文  参考訳（メタデータ） (2025-03-25T11:07:12Z)
• SynthAI: A Multi Agent Generative AI Framework for Automated Modular HLS Design Generation [0.0]
  本稿では,HLS設計の自動化手法であるSynthAIを紹介する。 SynthAIはReActエージェント、Chain-of-Thought(CoT)プロンプト、Web検索技術、Retrieval-Augmented Generationフレームワークを統合している。
  論文  参考訳（メタデータ） (2024-05-25T05:45:55Z)
• TSGM: A Flexible Framework for Generative Modeling of Synthetic Time Series [61.436361263605114]
  時系列データは、研究者と産業組織間のデータの共有を妨げるため、しばしば不足または非常に敏感である。 本稿では,合成時系列の生成モデリングのためのオープンソースフレームワークである時系列生成モデリング(TSGM)を紹介する。
  論文  参考訳（メタデータ） (2023-05-19T10:11:21Z)

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

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。