机器人 / 具身智能

Constraint-Driven Synthesis of Hyper Petri Nets

约束驱动的超Petri网合成

Maksym Figat, Alessandro Pinto

机构 * Warsaw University of Technology（华沙技术大学） ； NASA Jet Propulsion Laboratory（美国宇航局喷气推进实验室） ； California Institute of Technology（加州理工学院） 纠错

专题命中 其他机器人 ：robotic(abstract)；分类 cs.RO

AI总结 研究用Petri网对受约束机器人系统行为建模与合成，提出超Petri网方法从布尔规范合成Petri网，明确可观测标识与执行语义，通过两个场景证明该方法，为系统设计提供结构化方式并提出新研究方向。

Comments 14 pages, 12 figures