Hybrid Approach for Deriving Feared Scenarios in Industrial Systems
Résumé
The purpose of the paper is to illustrate a method, based on scenario deriving, to address dynamic reliability of hybrid systems. Petri nets are used to model the discrete aspects and di®erential equations for the continuous ones. The discrete aspects are addressed by a Petri net player based on linear logic and the continuous one by simulating the di®erential equations. These two simulators (Petri net player and simulator of di®erential equations) evolve alternatively and communicate between them. The originality of the approach resides in its local character. Indeed, only the interesting part of the model from reliability point view is simulated.