{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,19]],"date-time":"2025-09-19T09:28:28Z","timestamp":1758274108990,"version":"3.41.0"},"publisher-location":"Cham","reference-count":21,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319254227"},{"type":"electronic","value":"9783319254234"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-25423-4_13","type":"book-chapter","created":{"date-parts":[[2015,11,30]],"date-time":"2015-11-30T17:10:46Z","timestamp":1448903446000},"page":"201-216","source":"Crossref","is-referenced-by-count":4,"title":["A Predictability Algorithm for Distributed Discrete Event Systems"],"prefix":"10.1007","author":[{"given":"Lina","family":"Ye","sequence":"first","affiliation":[]},{"given":"Philippe","family":"Dague","sequence":"additional","affiliation":[]},{"given":"Farid","family":"Nouioua","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,12,1]]},"reference":[{"key":"13_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1007\/978-3-642-54830-7_2","volume-title":"Foundations of Software Science and Computation Structures","author":"N Bertrand","year":"2014","unstructured":"Bertrand, N., Fabre, \u00c9., Haar, S., Haddad, S., H\u00e9lou\u00ebt, L.: Active diagnosis for probabilistic systems. In: Muscholl, A. (ed.) FOSSACS 2014 (ETAPS). LNCS, vol. 8412, pp. 29\u201342. Springer, Heidelberg (2014)"},{"key":"13_CR2","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-68612-7","volume-title":"Introduction to Discrete Event Systems","author":"CG Cassandras","year":"2008","unstructured":"Cassandras, C.G., Lafortune, S.: Introduction to Discrete Event Systems, 2nd edn. Springer, New York (2008)","edition":"2"},{"key":"13_CR3","unstructured":"Cimatti, A., Pecheur, C., Cavada, R.: Formal verification of diagnosability via symbolic model checking. In: Proceedings of the 18th International Joint Conference on Artificial Intelligence (IJCAI 2003), pp. 363\u2013369. International Joint Conferences on Artificial Intelligence Inc., Menlo Park (2003)"},{"key":"13_CR4","unstructured":"Console, L., Picardi, C., Theseider Dupr\u00e9, D.: A framework for decentralized qualitative model-based diagnosis. In: Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI 2007), pp. 286\u2013291. International Joint Conferences on Artificial Intelligence Inc., Menlo Park (2007)"},{"key":"13_CR5","doi-asserted-by":"crossref","unstructured":"Debouk, R., Malik, R., Brandin, B.: A modular architecture for diagnosis of discrete event systems. In: Proceedings of the 41st IEEE Conference on Decision and Control (CDC 2002), vol. 1, pp. 417\u2013422. IEEE (2002)","DOI":"10.1109\/CDC.2002.1184530"},{"issue":"2","key":"13_CR6","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1016\/j.automatica.2008.06.022","volume":"45","author":"S Genc","year":"2009","unstructured":"Genc, S., Lafortune, S.: Predictability of event occurrences in partially-observed discrete-event systems. Automatica 45(2), 301\u2013311 (2009)","journal-title":"Automatica"},{"key":"13_CR7","doi-asserted-by":"crossref","unstructured":"Germanos, V., Haar, S., Khomenko, V., Schwoon, S.: Diagnosability under weak fairness. In: Proceedings of the 14th International Conference on Application of Concurrency to System Design (ACSD 2014). IEEE Computer Society Press, Tunis, , June 2014","DOI":"10.1109\/ACSD.2014.9"},{"key":"13_CR8","unstructured":"Grastien, A., Anbulagan, J.R., Kelareva, E.: Diagnosis of discrete-event systems using satisfiability algorithms. In: Proceedings of the 22th American National Conference on Artificial Intelligence (AAAI 2007), pp. 305\u2013310. AAAI Press, Menlo Park (2007)"},{"key":"13_CR9","unstructured":"Haar, S., Haddad, S., Melliti, T., Schwoon, S.: Optimal constructions for active diagnosis. In: Seth, A., Vishnoi, N. (eds.) Proceedings of the 33rd Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2013). Leibniz International Proceedings in Informatics, vol. 24, pp. 527\u2013539. Leibniz-Zentrum f\u00fcr Informatik, Guwahati, December 2013"},{"key":"13_CR10","doi-asserted-by":"crossref","unstructured":"J\u00e9ron, T., Marchand, H., Genc, S., Lafortune, S.: Predictability of sequence patterns in discrete event systems. In: Proceedings of the 17th World Congress, IFAC, pp. 537\u2013453 (2008)","DOI":"10.3182\/20080706-5-KR-1001.00091"},{"key":"13_CR11","doi-asserted-by":"crossref","unstructured":"J\u00e9ron, T., Marchand, H., Pinchinat, S., Cordier, M.O.: Supervision patterns in discrete event systems diagnosis. In: Proceedings of the 8th International Workshop on Discrete Event Systems, pp. 262\u2013268 (2006)","DOI":"10.1109\/WODES.2006.1678440"},{"issue":"8","key":"13_CR12","doi-asserted-by":"publisher","first-page":"1318","DOI":"10.1109\/9.940942","volume":"46","author":"S Jiang","year":"2001","unstructured":"Jiang, S., Huang, Z., Chandra, V., Kumar, R.: A polynomial time algorithm for testing diagnosability of discrete event systems. Trans. Autom. Control 46(8), 1318\u20131321 (2001)","journal-title":"Trans. Autom. Control"},{"key":"13_CR13","unstructured":"Pencol\u00e9, Y.: Diagnosability analysis of distributed discrete event systems. In: Proceedings of the 16th European Conference on Articifial Intelligent (ECAI 2004), pp. 43\u201347. IOS Press, Nieuwe Hemweg (2004)"},{"key":"13_CR14","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1016\/j.artint.2005.01.002","volume":"164","author":"Y Pencol\u00e9","year":"2005","unstructured":"Pencol\u00e9, Y., Cordier, M.O.: A formal framework for the decentralised diagnosis of large scale discrete event systems and its application to telecommunication networks. Artif. Intell. 164, 121\u2013170 (2005)","journal-title":"Artif. Intell."},{"issue":"1","key":"13_CR15","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1016\/0004-3702(87)90062-2","volume":"32","author":"R Reiter","year":"1987","unstructured":"Reiter, R.: A theory of diagnosis from first principles. Artif. Intell. 32(1), 57\u201395 (1987)","journal-title":"Artif. Intell."},{"key":"13_CR16","unstructured":"Rintanen, J.: Diagnosers and diagnosability of succinct transition systems. In: Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI 2007), pp. 538\u2013544. International Joint Conferences on Artificial Intelligence Inc., Menlo Park (2007)"},{"issue":"9","key":"13_CR17","doi-asserted-by":"publisher","first-page":"1555","DOI":"10.1109\/9.412626","volume":"40","author":"M Sampath","year":"1995","unstructured":"Sampath, M., Sengupta, R., Lafortune, S., Sinnamohideen, K., Teneketzis, D.: Diagnosability of discrete event system. Trans. Autom. Control 40(9), 1555\u20131575 (1995)","journal-title":"Trans. Autom. Control"},{"key":"13_CR18","unstructured":"Schumann, A., Huang, J.: A scalable jointree algorithm for diagnosability. In: Proceedings of the 23rd American National Conference on Artificial Intelligence (AAAI 2008), pp. 535\u2013540. AAAI Press, Menlo Park (2008)"},{"key":"13_CR19","unstructured":"Struss, P.: Fundamentals of model-based diagnosis of dynamic systems. In: Proceedings of the 15th International Joint Conference on Artificial Intelligence (IJCAI 1997), pp. 480\u2013485. International Joint Conferences on Artificial Intelligence Inc., Menlo Park (1997)"},{"key":"13_CR20","unstructured":"Ye, L., Dague, P.: Diagnosability analysis of discrete event systems with autonomous components. In: Proceedings of the 19th European Conference on Artificial Intelligence (ECAI 2010), pp. 105\u2013110. IOS Press, Nieuwe Hemweg (2010)"},{"key":"13_CR21","doi-asserted-by":"crossref","unstructured":"Ye, L., Dague, P., Nouioua, F.: Predictability analysis of distributed discrete event systems. In: Proceedings of the 52nd IEEE Conference on Decision and Control (CDC 2013), pp. 5009\u20135015. IEEE (2013)","DOI":"10.1109\/CDC.2013.6760675"}],"container-title":["Lecture Notes in Computer Science","Formal Methods and Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-25423-4_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,31]],"date-time":"2025-05-31T16:15:38Z","timestamp":1748708138000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-25423-4_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319254227","9783319254234"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-25423-4_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}