Maksym Figat
収録論文 4本 ・ フィジカルAI/ロボット学習
モデル検証/ペトリネット仕様合成モデル解析
※arXiv著者名で収集。同姓同名の別人の論文が含まれる場合があります。
論文
- 制約駆動によるハイパーペトリネットの合成モデル検証/ペトリネット2026/7/1
ロボットシステムの動作を論理制約に従ってモデル化するため、観測可能な状態と実行可能な遷移を区別するハイパーペトリネット合成手法を提案した。
- オントロジー駆動型ロボット仕様合成仕様合成2026/2/1
オントロジーと確率的時間ペトリネットを用いて、高レベル目標から形式仕様を階層的に合成する手法を提案し、多ロボットシステムの設計・資源配分・性能解析を支援する。
- ペトリネットのメタモデル特性転送によるロボットシステムモデル解析の簡略化モデル解析2024/7/1
ロボットシステムの階層ペトリネット（RSHPN）メタモデルの特性を設計モデルに転送することで、状態空間爆発を抑え、タスク依存部分のみの解析で済むようにした手法を提案した論文。
- Methodology of Designing Multi-agent Robot Control Systems Utilising Hierarchical Petri Nets2019/6/1