New Approach of Diagnosis by Timed Automata

TheDiscreteEventSystems (DES) is anonlineardynamic systemwithdiscrete state andevent evolution.Inthisarticle,weareinterestedinthediagnosisoffailureswithTimedAutomata.The proposedapproachisbasedontheoperatingtimeanditisapplicabletoanysystemwhosedynamic evolutiondependsnotonlyontheorderofdiscreteeventsbutalsoontheirperiodsasinindustrial processes. The most important part of this work is the construction of a diagnoser which uses observableseventstodetectandlocatethefaults.Wepresentonthelastpartofthisworkresultsof thestudyoftheperformanceofthediagnosisshowingthepowerofthisdiagnosticapproach.An implementationonahydraulicsystemismadetoillustratetheproposedsteps.Itputinevidencethe effectivenessofthisapproach.ThemodelofthesimulationphaseisdoneusingMatlab/Simulink /stateflow. KeywoRDS Detection, Diagnosis, Discrete Event System, Localization, Timed Automata

[1]  Jan Lunze,et al.  Sensor and actuator fault diagnosis of systems with discrete inputs and outputs , 2004, IEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics).

[2]  Jan Lunze,et al.  Diagnosis of discrete-event system described by timed automata , 2002 .

[3]  Ayan Mahamoud.  Observation et diagnostic de processus industriels à modèle non linéaire : application aux machines électriques , 2010 .

[4]  Feng Lin,et al.  Diagnosability of discrete event systems and its applications , 1994, Discret. Event Dyn. Syst..

[5]  M. Yeddes,et al.  Diagnosis of a Class of Timed Discrete Event Systems , 2006, 2006 8th International Workshop on Discrete Event Systems.

[6]  Ramdane Maamri,et al.  Securing Ambient Agents Groups by Using Verification, Judgment and Surveillance , 2013, Int. J. Ambient Comput. Intell..

[7]  José Ragot,et al.  Online identification of the ARX model expansion on Laguerre orthonormal bases with filters on model input and output , 2013, Int. J. Control.

[8]  Demosthenis Teneketzis,et al.  Diagnosability of stochastic discrete-event systems , 2005, IEEE Transactions on Automatic Control.

[9]  Patricia Bouyer,et al.  Expressiveness of Updatable Timed Automata , 2000, MFCS.

[10]  Stavros Tripakis,et al.  Fault Diagnosis for Timed Automata , 2002, FTRTFT.

[11]  Ifeyinwa E. Achumba,et al.  Artificial Immune Systems for Anomaly Detection in Ambient Assisted Living Applications , 2013, Int. J. Ambient Comput. Intell..

[12]  Shahin Hashtrudi-Zad,et al.  Fault diagnosis in discrete-event systems: incorporating timing information , 2005, IEEE Transactions on Automatic Control.

[13]  José Ragot,et al.  Input fault detection and estimation using PI observer based on the ARX-Laguerre model , 2017 .

[14]  Marcos da Silveira,et al.  Sur la distribution avec redondance partielle de modèles à événements discrets pour la supervision de procédés industriels , 2003 .

[15]  Raja Sengupta,et al.  Diagnosability of discrete-event systems , 1995, IEEE Trans. Autom. Control..

[16]  Dang-Trinh Nguyen.  Online diagnosis for complex discrete event systems : mixed approach based on logical/probabilistic ; Diagnostic en ligne des systèmes à événements discrets complexes : approche mixte logique/probabiliste , 2015 .

[17]  Frantisek Zezulka,et al.  Fault diagnosis based on timed automata: Diagnoser verification , 2006 .

[18]  Rajeev Alur,et al.  A Theory of Timed Automata , 1994, Theor. Comput. Sci..

[19]  Khaled Suwais.  Assessing the Utilization of Automata in Representing Players' Behaviors in Game Theory , 2014, Int. J. Ambient Comput. Intell..

[20]  José Ragot,et al.  Decomposition of an ARX model on Laguerre orthonormal bases. , 2012, ISA transactions.

[21]  Wang Yi,et al.  Timed Automata: Semantics, Algorithms and Tools , 2003, Lectures on Concurrency and Petri Nets.

[22]  Pabitra Mohan Khilar,et al.  Fault Diagnosis in Wireless Sensor Network using Timed Automata , 2011 .

[23]  Véronique Carré-Ménétrier,et al.  Decentralized diagnosis based on Boolean discrete event models: application on manufacturing systems , 2008 .

[24]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[25]  Stéphane Lafortune,et al.  Coordinated Decentralized Protocols for Failure Diagnosis of Discrete Event Systems , 2000, Discret. Event Dyn. Syst..

[26]  Hassani Messaoud,et al.  New fault detection approach for linear MISO systems , 2016, 2016 International Conference on Control, Decision and Information Technologies (CoDIT).

[27]  Hassani Messaoud,et al.  Diagnosis of a dynamic hybrid system by hybrid timed automata , 2016, 2016 International Conference on Control, Decision and Information Technologies (CoDIT).