Modelica - サイバーフィジカルシステムをモデリングするためのオブジェクト指向言語

• Modelica言語

  • Modelicaはオブジェクト指向言語であり、サイバーフィジカルシステムをモデリングするために使用される
  • 数学的方程式に支配される再利用可能なコンポーネントの非因果的な接続をサポートし、基本原理からのモデリングを容易にする

• Modelicaライブラリ

  • 多様なライブラリを通じて複雑なシステムを効率的にモデリングできる

• Modelicaツール

  • Modelicaを活用したさまざまなツールが存在し、モデリング作業を支援する

• Modelica協会

  • Modelica言語に関連するさまざまな活動を主催する協会
  • 組織会員および多様なコミュニティ活動を含む

• ニュースレター

  • Modelica協会が発行するニュースレターを通じて最新の知らせと情報を提供する

• 連絡先

  • メールでModelica協会に連絡可能: [e-mail]

• 個人情報および印刷物

  • 個人情報保護および印刷物に関する情報を提供

[GN⁺]

Hacker Newsのコメント

• Modelicaは数学的な振る舞いを記述する高水準の宣言型言語で、主に工学システムに適用される

  • HVAC業界ではModelicaがよく使われており、制御エンジニアとしてシステムエンジニアにさまざまなコンポーネントのFMUを依頼し、最適化作業に利用している
  • 物理ベースのモデルをPythonワークフローに統合できるので便利
  • Modelicaは一般的な命令型プログラミングとは異なる視点が必要で、宣言型言語としてシステムの方程式、変数、制約条件を定義する
  • OpenModelicaはオープンソース実装として大きく進歩したが、Dymolaのようなプロプライエタリアプリケーションが依然として業界で優勢

• Modelicaはモータースポーツ（F1、NASCAR）でリアルタイムシミュレーションに広く使われているニッチな言語

  • 言語仕様はオープンソースだが、Dymolaが最も人気のある商用コンパイラ
  • この言語の非因果的な特性は非常に強力で、モデルをモジュール式に構成できる
  • プログラミングの世界で最も近いたとえはHaskell

• Modelicaへの理解が十分ではなく、ランディングページに例がないため理解しづらい

  • ランディングページに例やサンプルへのリンクがあるとよい
  • 30秒クリックしても魅力的なものが見つからない

• OpenModelicaとともにModelicaを使って電磁システムを記述しており、優れた言語とグラフィカルなユーザー環境を提供している

  • Modelicaライブラリは成熟していて完成度が高く、OpenModelicaの数値ソルバーは堅牢で高性能
  • 複数ベンダーが実装する標準であり、ベンダーロックインを避けられるため、エンジニアや企業が投資するのに安全な技術

• Bond graphモデリングを勉強中で、ModelicaとSimscapeの基礎的なメカニズムだと理解している

  • Bond graph理論を理解すれば、直感的にシステムを理解できるはずだと考えている
  • この分野はニッチだが、問題解決における魔法のような解決策に見える

• FMUの概念は興味深いが、サードパーティーのサポートが不足している

  • LinuxでModel Exchange FMUを生成できるサードパーティーの方法がない
  • Matlabでさえサポートが不十分

• ModelicaはSimulinkと比較されるが、matlab/octaveのsymbolic packageやpythonのsympyにより近いと思う

• ModelingToolkit.jlはModelicaの教訓を反映しており、使っていて楽しいツール