首页 /研究 /Automatic Implementation and Verification of Coordinating PLC-Code for Robot Cells
OTHER

Automatic Implementation and Verification of Coordinating PLC-Code for Robot Cells

Hugo Flordal, Martin Fabian, Knut Åkesson

发表年份
2004
引用次数
4

关键词

SupervisorRobotInterlockCode (set theory)Finite-state machineComputer scienceController (irrigation)Intersection (aeronautics)State (computer science)Automaton

相关论文

查看 OTHER 分类全部论文