Blar i NTNU Open på forfatter "Innal, Fares"
-
Collision hazard modeling and analysis in a multi-mobile robots system transportation task with STPA and SPN
Bensaci, Chaima; Zennir, Youcef; Pomorski, Denis; Innal, Fares; Lundteigen, Mary Ann (Peer reviewed; Journal article, 2023) -
STPA and Bowtie risk analysis study for centralized and hierarchical control architectures comparison
Bensaci, Chaima; Zennir, Youcef; Pomorski, Denis; Innal, Fares; Liu, Yiliu; Tolba, Cherif (Peer reviewed; Journal article, 2020)The industrial zones are increasingly invaded by groups of mobile robots that are the most capable to perform complex tasks by collaborating and cooperating together. The operation of a mobile robot within a dynamic and ... -
Two-terminal reliability analysis for multi-phase communication networks
Lu, Ji-min; Innal, Fares; Wu, Xiaoyue; Liu, Yiliu; Lundteigen, Mary Ann (Journal article, 2016)Abstract: Most researches of network reliability generally assume that the system structures do not change with time. This paper presents the concept of multi-phase network systems (MPNS) to consider dynamic characteristics ... -
Verification of the IEC 61508 PFH formula for 2oo3 configuration using Markov chains and Petri nets
Omeiri, Hanane; Hamaidi, Brahim; Liu, Yiliu; Innal, Fares (Peer reviewed; Journal article, 2020)Purpose The purpose of this paper is to check the consistency of the IEC 61508 standard formula related to the average failure frequency (PFH: the probability of dangerous failure per hour) for a commonly used safety ...