Home /Research /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

Year
2004
Citations
4

Keywords

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

Related papers

Browse all OTHER papers