Towards an unified definition of Minimal Cut Sequences

Abstract : The growing complexity of systems makes the complexity of reliability model growing, implying the need to model both the dynamics of systems and the reparability of components. The qualitative reliability analyses aim at finding the minimal representation of all the scenarios of failures and repairs of the components, leading to the system failure. This minimal representation is the set of Minimal Cut Sequences. In order to provide a formal definition of these specific scenarios, whatever the risk analysis model used, this paper proposes coherency rules for dynamic and repairable systems those dysfunctional scenarios are modeled by a finite automaton.
Document type :
Conference papers
Complete list of metadatas

Cited literature [16 references]  Display  Hide  Download
Contributor : Jean-Marc Roussel <>
Submitted on : Thursday, September 5, 2013 - 12:54:10 PM
Last modification on : Tuesday, March 6, 2018 - 3:58:04 PM
Long-term archiving on : Friday, December 6, 2013 - 4:19:24 AM


Files produced by the author(s)


  • HAL Id : hal-00858391, version 1



Pierre-Yves Chaux, Jean-Marc Roussel, Jean-Jacques Lesage, Gilles Deleuze, Marc Bouissou. Towards an unified definition of Minimal Cut Sequences. 4th IFAC Workshop on Dependable Control of Discrete Systems (DCDS 2013), Sep 2013, York, United Kingdom. Paper n°1. ⟨hal-00858391⟩



Record views


Files downloads