論文の概要: Proceedings Second Workshop on Formal Methods for Autonomous Systems

• arxiv url: http://arxiv.org/abs/2012.01176v1
• Date: Wed, 2 Dec 2020 13:08:57 GMT
• ステータス: 処理完了
• システム内更新日: 2021-05-25 03:47:21.595224
• Title: Proceedings Second Workshop on Formal Methods for Autonomous Systems
• Title（参考訳）: Proceedings Second Workshop on Formal Methods for Autonomous Systems
• Authors: Matt Luckcuck (University of Manchester, UK), Marie Farrell (University of Manchester, UK)
• Abstract要約: FMASの目標は、正式な方法で自律システムの課題に取り組む先進的な研究者を集結させることだ。 私たちは、自律システムやロボットシステムを特定し、モデル化し、検証するための正式な方法を使うことに興味があります。
• 参考スコア（独自算出の注目度）: 0.0
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: Autonomous systems are highly complex and present unique challenges for the application of formal methods. Autonomous systems act without human intervention, and are often embedded in a robotic system, so that they can interact with the real world. As such, they exhibit the properties of safety-critical, cyber-physical, hybrid, and real-time systems. The goal of FMAS is to bring together leading researchers who are tackling the unique challenges of autonomous systems using formal methods, to present recent and ongoing work. We are interested in the use of formal methods to specify, model, or verify autonomous or robotic systems; in whole or in part. We are also interested in successful industrial applications and potential future directions for this emerging application of formal methods.
• Abstract（参考訳）: 自律システムは高度に複雑であり、形式的手法の適用に特有の課題がある。 自律システムは人間の介入なしに行動し、しばしばロボットシステムに組み込まれ、現実世界と対話できるようにします。 そのため、それらは安全クリティカル、サイバー物理、ハイブリッド、リアルタイムシステムの特性を示す。 FMASの目標は、フォーマルな方法で自律システムのユニークな課題に対処している先進的な研究者をまとめて、現在進行中の成果を提示することにある。 私たちは、自律システムやロボットシステムを特定し、モデル化し、検証するための正式な方法を使うことに興味があります。 私たちはまた、産業応用の成功と、この新たな形式的手法の適用の今後の方向性にも興味を持っています。

関連論文リスト

• Automated Process Planning Based on a Semantic Capability Model and SMT [50.76251195257306]
  製造システムと自律ロボットの研究において、機械で解釈可能なシステム機能の仕様に「能力」という用語が用いられる。 セマンティック能力モデルから始めて、AI計画問題を自動的に生成するアプローチを提案する。
  論文  参考訳（メタデータ） (2023-12-14T10:37:34Z)
• Toward General-Purpose Robots via Foundation Models: A Survey and Meta-Analysis [82.59451639072073]
  汎用ロボットはどんな環境でも、どんな物体でもシームレスに動作し、様々なスキルを使って様々なタスクをこなす。 コミュニティとしては、特定のタスク用に設計し、特定のデータセットでトレーニングし、特定の環境にデプロイすることで、ほとんどのロボットシステムを制約してきました。 ウェブスケールで大規模で大容量の事前学習型モデルの優れたオープンセット性能とコンテンツ生成能力に感銘を受けて,本調査は,汎用ロボティクスに基礎モデルを適用する方法について検討した。
  論文  参考訳（メタデータ） (2023-12-14T10:02:55Z)
• Towards Formal Fault Injection for Safety Assessment of Automated Systems [0.0]
  本稿では,開発ライフサイクルを通じてこれら2つのテクニックを融合したフォーマルなフォールトインジェクションを紹介する。 我々は,形式的手法と断層注入の相互支援の5つの領域を同定し,より密着的なアプローチを提唱する。
  論文  参考訳（メタデータ） (2023-11-16T11:34:18Z)
• Formal Methods for Autonomous Systems [21.989467515686858]
  形式的手法は安全クリティカルシステムの正当性を確立する上で重要な役割を果たしてきた。 形式的なメソッドの主なビルディングブロックはモデルと仕様です。 様々な定式化の下で, 正しい構成合成を考察する。
  論文  参考訳（メタデータ） (2023-11-02T14:18:43Z)
• Interactive System-wise Anomaly Detection [66.3766756452743]
  異常検出は様々なアプリケーションにおいて基本的な役割を果たす。 既存のメソッドでは、インスタンスがデータとして容易に観察できないシステムであるシナリオを扱うのが難しい。 システム埋め込みを学習するエンコーダデコーダモジュールを含むエンドツーエンドアプローチを開発する。
  論文  参考訳（メタデータ） (2023-04-21T02:20:24Z)
• Dexterous Manipulation from Images: Autonomous Real-World RL via Substep Guidance [71.36749876465618]
  本稿では,ユーザが新しいタスクを定義するための"プログラミング不要"なアプローチを提供する,視覚に基づくデクスタラスな操作システムについて述べる。 本システムには,最終タスクと中間タスクを画像例で定義するためのフレームワークが組み込まれている。 実世界における多段階物体操作の4指ロボットハンドラーによる実験結果
  論文  参考訳（メタデータ） (2022-12-19T22:50:40Z)
• Proceedings Fourth International Workshop on Formal Methods for Autonomous Systems (FMAS) and Fourth International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE) [0.0]
  第4回自動システムのための形式的方法に関する国際ワークショップ(FMAS 2022) 第4回自動検証ソフトウェアsystem開発国際ワークショップ(ASYDE 2022) 第20回ソフトウェアエンジニアリング・フォーマルメソッド国際会議(SEFM'22)とベルリンのフンボルト大学で共同で開催。
  論文  参考訳（メタデータ） (2022-09-27T06:40:10Z)
• The Need for a Meta-Architecture for Robot Autonomy [0.0]
  ロボットシステムの長期的な自律性には、障害や振る舞いの問題、知識の欠如に対処できるプラットフォームが暗黙的に必要である。 我々は,自律型ロボットエージェントの認知アーキテクチャの生成モデルとして,モデルベース工学の原則と認証可能な信頼性を前提としたケースを提起した。
  論文  参考訳（メタデータ） (2022-07-20T07:27:23Z)
• From Machine Learning to Robotics: Challenges and Opportunities for Embodied Intelligence [113.06484656032978]
  記事は、インテリジェンスが機械学習技術の進歩の鍵を握っていると主張している。 私たちは、インテリジェンスを具体化するための課題と機会を強調します。 本稿では,ロボット学習の最先端性を著しく向上させる研究の方向性を提案する。
  論文  参考訳（メタデータ） (2021-10-28T16:04:01Z)
• Proceedings Third Workshop on Formal Methods for Autonomous Systems [0.0]
  このEPPTCS巻は、FMAS 2021(Formal Methods for Autonomous Systems)の第3回ワークショップの手続きを含んでいる。 FMAS 2021は、新型コロナウイルス(COVID-19)の規制への適応として、オンラインのスタンドアローンのイベントだった。 FMASのゴールは、フォーマルな方法を使って自律システムのユニークな課題に取り組む先進的な研究者を集結させることだ。
  論文  参考訳（メタデータ） (2021-10-22T00:09:27Z)
• Distributed and Democratized Learning: Philosophy and Research Challenges [80.39805582015133]
  民主化学習(Dem-AI)という新しいデザイン哲学を提案する。 ヒトの社会的グループに触発され、提案されたDem-AIシステムの学習エージェントの専門グループは階層構造で自己組織化され、より効率的に学習タスクを遂行する。 本稿では,様々な学際分野に触発された未来のDem-AIシステムを実現するためのガイドラインとして,参照設計を提案する。
  論文  参考訳（メタデータ） (2020-03-18T08:45:10Z)

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

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