{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,30]],"date-time":"2026-06-30T04:20:28Z","timestamp":1782793228933,"version":"3.54.5"},"reference-count":20,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2002,1,1]],"date-time":"2002-01-01T00:00:00Z","timestamp":1009843200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2002,1,1]],"date-time":"2002-01-01T00:00:00Z","timestamp":1009843200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Discrete Event Dynamic Systems"],"published-print":{"date-parts":[[2002,1]]},"DOI":"10.1023\/a:1013335803945","type":"journal-article","created":{"date-parts":[[2002,12,23]],"date-time":"2002-12-23T16:46:14Z","timestamp":1040661974000},"page":"43-81","source":"Crossref","is-referenced-by-count":48,"title":["Diagnosing Discrete-Event Systems: Extending the \u201cDiagnoser Approach\u201d to Deal with Telecommunication Networks"],"prefix":"10.1007","volume":"12","author":[{"given":"Laurence","family":"Roz\u00e9","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Marie-Odile","family":"Cordier","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"390399_CR1","unstructured":"Alur, R., and Dill, D. L. 1990. Automata for modeling real-time systems. Proceedings of I-CALP'90, LNCS 443, Springer-Verlag, pp. 321\u2013335."},{"key":"390399_CR2","unstructured":"Baroni, P., Lamperti, G., Pogliano, P., and Zanella, M. 1998. Diagnosis of active systems. Proceedings of the European Conference on Artificial Intelligence (ECAI), pp. 274\u2013278."},{"key":"390399_CR3","unstructured":"Bibas, S. 1997. Simulation \u00e0 base de mod\u00e8les pour la supervision de r\u00e9seaux de t\u00e9l\u00e9communication. Ph.D. thesis, Universit\u00e9 Paris-Nord."},{"key":"390399_CR4","unstructured":"Bibas, S., Cordier, M. O., Dague, P., L\u00e9vy, P., and Roz\u00e9, L. 1996. Gaspar: a model-based system for diagnosing telecommunication networks. IMACS-IEEE\/SMC International Multiconference of Computational Engineering in Systems Applications (CESA'96), Lille, France, pp. 338\u2013343."},{"key":"390399_CR5","unstructured":"Bibas, S., Cordier, M. O., Dague, P., L\u00e9vy, P., and Roz\u00e9, L. 1996. Modelling a telecommunication network for supervision purposes. Proceedings of the ECA196 Workshop on Model-Based Systems and Qualitative Reasoning\u2014Perspectives for Industrial Applications, Brighton, UK, pp. 160\u2013166."},{"key":"390399_CR6","doi-asserted-by":"crossref","first-page":"323","DOI":"10.1145\/322374.322380","volume":"30","author":"D. Brand","year":"1983","unstructured":"Brand, D., and Zafiropulo, P. 1983. On communicating finite state machines. Journal of ACM 30: 323\u2013342.","journal-title":"Journal of ACM"},{"issue":"2","key":"390399_CR7","doi-asserted-by":"crossref","first-page":"329","DOI":"10.1109\/9.272327","volume":"39","author":"B. A. Brandin","year":"1994","unstructured":"Brandin, B. A., and Wonham, W. M. 1994. Supervisory control of timed discrete event processes. IEEE Transactions on Automatic Control 39(2): 329\u2013342.","journal-title":"IEEE Transactions on Automatic Control"},{"key":"390399_CR8","first-page":"435","volume":"11","author":"I. Bratko","year":"1988","unstructured":"Bratko, I. Mozetic, I., and Lavrac, N. 1988. Automatic synthesis and compression of cardiological knowledge. Machine Intelligence, Ellis Horwood, 11: 435\u2013454.","journal-title":"Machine Intelligence"},{"key":"390399_CR9","unstructured":"Chen, Y. L., and Provan, G. 1997. Modeling and diagnosis of timed discrete event systems\u2014a factory automation example, submitted."},{"key":"390399_CR10","unstructured":"Debouk, R. Lafortune, R., and Teneketzis, D. 1998. A coordinated decentralized protocol for failure diagnosis of discrete-event systems. 4th International Workshop on Discrete-Event Systems, Cagliari, Italy, pp. 138\u2013143."},{"key":"390399_CR11","unstructured":"Dousson, C., Gaborit, P., and Ghallab, M. 1993. Situation recognition: representation and algorithms. Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI), Chamb\u00e9ry, pp. 166\u2013172."},{"key":"390399_CR12","unstructured":"Laborie, P. 1997. Automatic generation of chronicles and its application to alarm processing in power distribution systems. Proceedings of the International Workshop on Principles of Diagnosis (DX'97), Mont St Michel, France."},{"key":"390399_CR13","unstructured":"Niebur, D. 1990. Expert systems for power system control in western Europe. Proceedings of the IEEE Symposium on Intelligent Control, pp. 112\u2013119."},{"key":"390399_CR14","unstructured":"Pearce, D. A. 1988. The induction of fault diagnosis systems from qualitative models. Proceedings of the AAAI National Conference on Artificial Intelligence, St Paul, pp. 353\u2013357."},{"key":"390399_CR15","unstructured":"Pencol\u00e9, Y. 2000. Decentralized diagnoser approach: application to telecommunication networks. Proceedings of the International Workshop on Principles of Diagnosis (DX'00), Morelia, Mexico."},{"key":"390399_CR16","unstructured":"Riese, M. 1993. Diagnosis of extended finite automata as a dynamic constraint satisfaction problem. In Proceedings of the International Workshop on Principles of Diagnosis (DX'93), Aberystwyth, UK, pp. 60\u201373."},{"key":"390399_CR17","unstructured":"Roz\u00e9, L. 1997. Supervision de r\u00e9seaux de t\u00e9l\u00e9communications: une approache \u00e0 base de mod\u00e8les. Ph.D. thesis, Universit\u00e9 de Rennes 1."},{"key":"390399_CR18","unstructured":"Sampath, M., Sengupta, R., Lafortune, S., Sinnamohideen, K., and Teneketzis, D. 1994. A discrete event systems approach to failure diagnosis. Proceedings of the International Workshop on Principles of Diagnosis(DX'94), New Paltz, USA, pp. 269\u2013277."},{"issue":"9","key":"390399_CR19","doi-asserted-by":"crossref","first-page":"1555","DOI":"10.1109\/9.412626","volume":"40","author":"M. Sampath","year":"1995","unstructured":"Sampath, M., Sengupta, R., Lafortune, S., Sinnamohideen, K., and Teneketzis, D. 1995. Diagnosability of discrete event systems. IEEE Transactions on Automatic Control 40(9): 1555\u20131575.","journal-title":"IEEE Transactions on Automatic Control"},{"issue":"2","key":"390399_CR20","first-page":"105","volume":"4","author":"M. Sampath","year":"1996","unstructured":"Sampath, M., Sengupta, R., Lafortune, S., Sinnamohideen, K., and Teneketzis, D. 1996. Failure diagnosis using discrete event models. IEEE Transactions on Automatic Control 4(2): 105\u2013124.","journal-title":"IEEE Transactions on Automatic Control"}],"container-title":["Discrete Event Dynamic Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1013335803945.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1013335803945\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1013335803945.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,29]],"date-time":"2025-07-29T03:56:46Z","timestamp":1753761406000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1013335803945"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,1]]},"references-count":20,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2002,1]]}},"alternative-id":["390399"],"URL":"https:\/\/doi.org\/10.1023\/a:1013335803945","relation":{},"ISSN":["0924-6703","1573-7594"],"issn-type":[{"value":"0924-6703","type":"print"},{"value":"1573-7594","type":"electronic"}],"subject":[],"published":{"date-parts":[[2002,1]]}}}