[論文レビュー] Modeling Basic Aspects of Cyber-Physical Systems, Part II

Yingfu Zeng, Chad G. Rose+6 more|arXiv (Cornell University)|Jan 1, 2013

Simulation Techniques and Applications参考文献 15被引用数 1

ひとこと要約

本論文は、クアッドコpterとRiceWrist-Sロボットの2つの事例研究を通じて、複雑な剛体運動をモデル化できる能力を示すことで、サイバーフィジカルシステム（CPS）向けAcumenコア言語を拡張する。ラングレージアンモデリングにおける効率性を高めるために、静的偏微分と暗黙方程式が不可欠な言語機能であると特定し、CPS分野特化言語（DSL）へのその統合を具体的に正当化する。

ABSTRACT

We continue to consider the question of what language features are needed to effectively model cyber-physical systems (CPS). In previous work, we proposed using a core language as a way to study this question, and showed how several basic aspects of CPS can be modeled clearly in a language with a small set of constructs. This paper reports on the result of our analysis of two, more complex, case studies from the domain of rigid body dynamics. The first one, a quadcopter, illustrates that previously proposed core language can support larger, more interesting systems than previously shown. The second one, a serial robot, provides a concrete example of why we should add language support for static partial derivatives, namely that it would significantly improve the way models of rigid body dynamics can be expressed.

研究の動機と目的

• 基本的な構文を越えて、複雑なサイバーフィジカルシステムをモデル化する際のAcumenコア言語の表現力の評価。
• 特にラングレージアン力学における剛体運動の効果的モデリングに必要な言語機能の同定。
• 静的偏微分が、直列ロボットのような機械的システムのモデリングを著しく簡素化することの実証。
• CPS DSLにおけるモデルのモジュラリティと再利用性を高めるために、暗黙方程式の統合の役割の探求。
• 翻訳のオーバーヘッドを最小限に抑えることで、設計段階にわたる形式的で実行可能なモデリングを可能にする、ツールチェーンの一貫性の支援。

提案手法

• 前回の事例研究を越えるスケーラビリティを評価するため、Acumenを用いてクアッドコpterをモデリング。
• RiceWrist-Sロボットをラングレージアン力学を用いてモデリングし、既存の言語サポートの限界を明らかにする。
• Euler-Lagrange方程式に必要な導関数をコンパイル時に行うために、Acumenに静的偏微分を導入。
• 静的偏微分が機械的システムにおけるモデルの明確さ、代数的簡略化、保守性に与える影響の評価。
• 複合CPSモデルにおけるモデルの構成と再利用性を向上させる暗黙方程式の役割の調査。
• プロトタイプ実装を用いて、静的偏微分と暗黙方程式をAcumen言語フレームワークに統合する方法の探求。

実験結果

リサーチクエスチョン

• RQ1 Acumenコア言語は、クアッドコpterのような大規模・複雑なCPSを効果的にモデル化できるか？
• RQ2 CPS DSLにおける剛体運動のモデリングにおいて、静的偏微分のサポートがなぜ必要不可欠なのか？
• RQ3 静的偏微分は、ラングレージアンに基づく機械的モデルの明確さと正しさをどのように向上させるか？
• RQ4 暗黙方程式は、複合CPSモデルにおけるモジュラリティと再利用性をどの程度向上させるか？
• RQ5 言語設計の原則によって、ツールチェーンの一貫性を向上させ、ツール間での手動翻訳を減らすことは可能か？

主な発見

• Acumenコア言語はクアッドコpterを成功裏にモデル化し、Part Iで検討された単純なシステムを越えたスケーラビリティを示した。
• RiceWrist-Sロボットの事例研究から、ラングレージアン力学による剛体運動のモデリングには、実用的な表現力を確保するための静的偏微分のサポートが不可欠であることが明らかになった。
• 静的偏微分により、Euler-Lagrange方程式における導関数のコンパイル時評価が可能となり、ユーザーの負担と代数的複雑性が軽減された。
• 静的偏微分のサポートにより、機械的システムモデリングにおけるモデルの明確さが著しく向上し、誤った手動操作によるエラーのリスクが低減された。
• 暗黙方程式は、包括的で再利用可能なモデルを実現するために不可欠であるが、コア言語への統合はまだ設計上の課題のままである。
• 著者らはAcumenにおける静的偏微分のサポートをプロトタイプ実装しており、現在、暗黙方程式の言語への統合手法を積極的に検討中である。