{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,20]],"date-time":"2026-01-20T10:56:16Z","timestamp":1768906576241,"version":"3.49.0"},"reference-count":18,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,1]]},"DOI":"10.1109\/cadiag.2017.8075702","type":"proceedings-article","created":{"date-parts":[[2017,10,26]],"date-time":"2017-10-26T18:01:02Z","timestamp":1509040862000},"page":"457-463","source":"Crossref","is-referenced-by-count":2,"title":["Using timed automata and fuzzy logic for diagnosis of multiple faults in DES"],"prefix":"10.1109","author":[{"given":"Lotfi","family":"Mhamdi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chakib","family":"Ben Njima","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hedi","family":"Dhouibi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Messaoud","family":"Hassani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/BF01441211"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-05344-7"},{"key":"ref12","author":"maquin","year":"2000","journal-title":"Diagnostic des systèmes lineaires"},{"key":"ref13","article-title":"Commande et surveillance des systèmes à Evenements discre ts complexes: Application aux ateliers flexibles","author":"combacau","year":"1991","journal-title":"Thèse de doctorat de I'Universite Paul Sabatier de Toulouse"},{"key":"ref14","author":"iserman","year":"2006","journal-title":"Fault-Diagnosis Systems An Introduction from Fault Detection to Fault Tolerance"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-3644-6"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/9.412626"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/87.486338"},{"key":"ref18","article-title":"Monitoring and predictive maintenance: optimisation of fault latency","author":"simeu-abazi","year":"0"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31982-5_14"},{"key":"ref3","author":"bengtsson","year":"2004","journal-title":"Timed automata Semantics algorithms and tools Lecture Notes on Concurrency and Petri Nets"},{"key":"ref6","first-page":"93","article-title":"Symbolic model checking for real-time systems","author":"henziger","year":"1994","journal-title":"Information and Computation J"},{"key":"ref5","article-title":"Diagnostic de defaillances par automates temporisés","author":"francis","year":"2010","journal-title":"Rapport de Master Recherche"},{"key":"ref8","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-5149-2","author":"chen","year":"1999","journal-title":"Robust Model-Based Fault Diagnosis for Dynamic System"},{"key":"ref7","author":"gertler","year":"1998","journal-title":"Fault Detection and Diagnosis in Engeneering Systems"},{"key":"ref2","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","article-title":"A theory of timed automata","volume":"126","author":"dill","year":"1994","journal-title":"Theoretical Computer Science (TCS)"},{"key":"ref1","article-title":"Contribution à I'amelioration de la testabilite et du diagnostic de systèmes complexes","author":"lefevre","year":"2009","journal-title":"Thèse de Doctorat de l'Universite de Joseph Fourier-Grenoble"},{"key":"ref9","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4471-0347-9","author":"chiang","year":"2001","journal-title":"Fault detection and diagnosis in industrial systems[M]"}],"event":{"name":"2017 International Conference on Control, Automation and Diagnosis (ICCAD)","location":"Hammamet","start":{"date-parts":[[2017,1,19]]},"end":{"date-parts":[[2017,1,21]]}},"container-title":["2017 International Conference on Control, Automation and Diagnosis (ICCAD)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8053491\/8075618\/08075702.pdf?arnumber=8075702","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,3,31]],"date-time":"2020-03-31T00:34:38Z","timestamp":1585614878000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8075702\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,1]]},"references-count":18,"URL":"https:\/\/doi.org\/10.1109\/cadiag.2017.8075702","relation":{},"subject":[],"published":{"date-parts":[[2017,1]]}}}