OPEN ACCESS
This paper presents a model/methodology to rank actions sequences in critical systems using health/safety criteria and multi attribute utility theory (MAUT). The proposed approach is validated using a case study performed on CISPI platform at CRAN, Nancy. The weighted average and choquet integral methods are also evaluated for the aggregation of criteria, used during ranking. The choquet integral shows advantages over weighted average in the results of the case study. The inputs of in the proposed model/methodology come from real data and experts' knowledge and output provides a set of consensual and objective information.
safety, health checkup indicators, multi-criteria decision aiding, aggregation operators, critical systems
Abichou B. (2013). Contribution à la formalisation de bilans/états de santé multi-niveaux d’un système pour aider à la prise de décision en maintenance. Thèse de doctorat, Université de Lorraine, CRAN, Nancy, France.
AFNOR (1977). Statistique et Qualité : introduction à la fiabilité, X-NF, 06-501, Norme.
Amalberti R. (2001). La conduite des systèmes à risques. PUF, Paris, France.
Arrow K.-J. (1951). Social Choice and Individual Values. Cowles Foundations and Wiley, New-York.
Beliakov G., Pradera A., Calvo T. (2007). Aggregation functions: A guide for practitioners, Springer Berlin Heidelberg.
Bouaziz M. F. (2012). Contribution à la modélisation Bayésienne de l’état de santé d’un système complexe : Application à l’industrie du semi-conducteur. PhD thesis, Université de Grenoble, Grenoble INP, France.
Bouaziz M. F., Marangé P., Voisin A., Pétin J.F. (2014). Prise en compte de l’état réel d’un système complexe pour l’aide à la décision de séquences de conduite. 10e Conference on Modeling, Optimization & SIMulation, paper n°141, Nancy, France.
Bouaziz M.-F., Zamaï E., Duvivier F. (2013). Towards Bayesian Network Methodology for Predicting the equipment Health Factor of Complex Semiconductor Systems. International Journal of Production Research, vol. 51, n° 15, 4597-4617.
Byington C.S., Watson M., Edwards D. (2004). Dynamic Signal Analysis and Neural Network Modeling for Life Prediction of Flight Control Actuators. Proceedings of the American Helicopter Society 60th Annual Forum. Alexandria, VA: AHS.
Chajewska U., Koller D. (2000). Utilities as random variables: density estimation and structure discovery. Boutilier C., M. Goldszmidt (Eds.), Proceedings of the Sixteenth Conference on Uncertainty in Artificial Intelligence, Stanford, CA, pp. 63–71.
Clanché F., Gouyon D., Dobre D., Pétin J.-F., Morel G. (2010). Plate-forme pour la conduite interactive et sûre. 3e Journées Démonstrateurs en Automatique, Angers, France.
Clarke E. M., Grumberg O., Peled A. (2000). Model checking. MIT Press, Cambridge, MA, USA.
Fishburn P. C. (1970). Utility Theory for Decision Making. Wiley, New York, USA.
Frey G., Litz L. (2000). Formal methods in PLC programming. Proceedings of the IEEE SMC, p. 2431-2436 (4). Nashville, TN.
Grabisch M. (2006). Evaluation subjective, Concepts et Méthodes pour l’Aide à la Décision. D. Bouyssou, D. Dubois, M. Pirlot, H. Prade (Ed.) pp. 175-232.
Grabisch M., Kojadinovic I., Meyer P. (2007). A review of methods for capacity identification in Choquet integral based multi-attribute utility theory Applications of the Kappalab R package. European Journal of Operational Research, vol 186, pp. 766-785.
Grabisch M., Marichal J. L., Mesiar R., Pap E. (2009). Aggregation functions: Means. Information Sciences, Elsevier, 181 (1), pp. 1–22.
Grabisch M., Perny P. (2007). Agrégation multicritère. In B. Bouchon and C. Marsala, editors, Utilisations de la logique floue, Hermès.
Kalgren P., Byington C., Roemer M., Watson M. (2006). Defining PHM, A Lexical Evolution of Maintenance and Logistics. IEEE Autotestcon Conference Record, Anaheim, California, pp. 353–358.
Kowalewski S., Preuig J. (1996). Verification of sequential controllers with timing functions for chemical processes. IFAC 13th World Congress, vol. J, p. 419-424, San Francisco, USA.
Kumar S., Pecht M. (2010). Modeling approaches for prognostics and health management of electronics. Int. Jour. of Performability Engineering, vol. 6, n° 5, p. 467.
Liu X. (2007). Machinery fault diagnostics based on fuzzy measure and fuzzy integral data fusion techniques. PhD thesis, Queensland University of Technology.
Öztürk M., Tsoukiàs A., Vincke P. (2005). Preference modelling, In M. Ehrgott, S. Greco, and J. Figueira, editors, Multiple Criteria Decision Analysis: State of the Art Surveys, pp. 27–73.
Machado J., Denis B., Lesage J.-J., Faure J.-M., Ferreira Da Silva J.C-.L. (2006). Logic controllers dependability verification using a plant model. DESDes06, p. 37-42, Rydzyna, Poland.
Marichal J.-L. (2000). On Choquet and Sugeno integrals as aggregation functions. In Fuzzy mesures and integrals, vol. (40), pp. 247-272.
Mathur A., Cavanaugh K., Pattipati K., Willet P., Galie T. (2001). Reasoning and Modeling Systems in Diagnosis and Prognosis, In SPIE Aerosense Conference, Orlando, USA.
Murofushi T., Sugeno M. (1991). A theory of fuzzy measures. Representation, the Choquet integral and null sets. Journal of Mathematical Analysis and Applications, vol. 159, p. 532-549.
Niel E., Pietrac L., Regimbal L., (2001). Advantages and drawbacks of the logic program synthesis using supervisory control theory. 10th IFAC Symposium on information Control Problems in Manufacturing (INCOM 2001), Vienna, Austria.
Perny P. (1992). Sur le non respect de l’axiome d’indépendance dans les méthodes de type ELECTRE. Cahiers du CERO, 34, 211–232.
Racoceanu D. (2006). Contribution à la surveillance des systèmes de production en utilisant les techniques de l’intelligence artificielle. Synthèse des activités de recherche et d’encadrement, Université de Franche-Comté de Besançon, France.
Ramadge G. and Wonham W.-M. (1989). The control of discrete event systems. Proc. IEEE, Special issue on DEDSs, 77, pp. 81-98.
Ribot P. (2009). Vers l’intégration diagnostic/pronostic pour la maintenance des systèmes complexes. Thèse de doctorat, Université Toulouse 3 Paul Sabatier, LAAS, France.
Roussel J.-M., Faure J.-M. (2002). An algebraic approach for PLC programs verification. In Proceedings of 6th international workshop on discrete event systems (WODES’02), Zaragoza, Spain, p. 303–308, 2–4.
Rushby J. (2000). Theorem proving for verification. In Franck Cassez, editor, Modelling and Verification of Parallel Processes: MoVEP 2k, Nantes, France.
Schnoebelen P., Bérard B., Bidoit M., Laroussinie F., Petit A. (1999). Vérification de logiciels : Techniques et outils du model-checking. Vuibert, Paris.
Sen A.-K. (1986). Social Choice Theory. In K.J. Arrow, M.D. Intrilligator (Eds), Handbook of Mathematical Economics, chapter 22, p. 1073–1181. Elsevier Sciences Publishers, North-Holland.
Shin J. (2009). Decision support methods for closed-loop conceptual design. Thèse de doctorant, Ecole Polytechnique Fédérale de Lausanne. Suisse.
Tarride B. (2013). Physique, fonctionnement et sûreté des REP, EDP sciences, Collection génie atomique, France.
Valmari A. (1999). “The state space explosion problem,” In Advances in Petri Nets. Springer-Verlag,
Villemeur A., (1988). Sûreté de fonctionnement des systèmes industriels, Eyrolles, Collection de la direction des études et recherches d’Électricité de France, Paris.
Volker N., Kramer B.-J. (2002). Automated verification of function block-based industrial control systems. Science of Computer Programming, 42(1), 101-113.
Wonham W.-M., Ramadge P.-J. (1987). On the supermall controllable sublanguage of a given language, SIAM J. Control Optimization, 25, pp. 637-659.
Zio E. (2009). Reliability engineering: Old problems and new challenges. Reliability Engineering and System Safety, vol. 94, pp. 125-141.
Zopounidis C., Doumpos M. (2002). Multicriteria classification and sorting methods: A literature review, European Journal of Operational Research, 138, p. 229–246.