机译:Collision hazard modeling and analysis in a multi-mobile robots system transportation task with STPA and SPN
Univ 20 Aout 1955 Skikda;
Univ Lille;
Univ NTNU;
Hazard analysis; STAMP; System theoretic process analysis (STPA); Autonomous multi -mobile robots; Stochastic petri nets (SPN); Collision hazard frequency;