A method for deriving feared scenarios in hybrid systems

摘要

The long-term objective is to evaluate the dynamic reliability of mechatronic systems. We propose in this paper a new version of the algorithm that allows deriving critical scenarios from a Petri net model. It is more accurate because it takes into account some continuous aspects of the system. These scenarios characterise how the system leaves the normal operation to go to the feared state by determining the sequences of actions and state changes leading to a dangerous situations.