Yogesh Gajula

収録論文 1本 ・ フィジカルAI/ロボット学習

※arXiv著者名で収集。同姓同名の別人の論文が含まれる場合があります。

論文

• Simulink・Stateflow・SpaceEx・FlowStarを用いた複数ベンチマークのモデリング・変換・解析
  ハイブリッドシステム検証2025/4/1

  6台車両プラトーンや2つの跳ねる球などの連続・ハイブリッドシステムのベンチマークを各種ツールでモデル化し、SpaceEx形式を介して変換して到達可能性解析を行った。