{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,5]],"date-time":"2022-04-05T16:54:07Z","timestamp":1649177647472},"reference-count":26,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2009,9,10]],"date-time":"2009-09-10T00:00:00Z","timestamp":1252540800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Discrete Event Dyn Syst"],"published-print":{"date-parts":[[2009,12]]},"DOI":"10.1007\/s10626-009-0084-5","type":"journal-article","created":{"date-parts":[[2009,9,9]],"date-time":"2009-09-09T04:58:06Z","timestamp":1252472286000},"page":"451-470","source":"Crossref","is-referenced-by-count":0,"title":["Prognosis of \u03c9-Languages for the Diagnosis of *-Languages: A Topological Perspective"],"prefix":"10.1007","volume":"19","author":[{"given":"Andreas","family":"Bauer","sequence":"first","affiliation":[]},{"given":"Sophie","family":"Pinchinat","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2009,9,10]]},"reference":[{"key":"84_CR1","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1007\/BF01782772","volume":"2","author":"B Alpern","year":"1987","unstructured":"Alpern B, Schneider FB (1987) Recognizing safety and liveness. Distrib Comput 2:117\u2013126","journal-title":"Distrib Comput"},{"key":"84_CR2","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-663-09367-1","volume-title":"Transductions and context-free languages","author":"J Berstel","year":"1979","unstructured":"Berstel J (1979) Transductions and context-free languages. Teubner Studienb\u00fccher, Stuttgart"},{"key":"84_CR3","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1147\/rd.91.0047","volume":"9","author":"CC Elgot","year":"1965","unstructured":"Elgot CC, Mezei JE (1965) On relations defined by generalized finite automata. IBM J Res Develop 9:47\u201368","journal-title":"IBM J Res Develop"},{"issue":"1","key":"84_CR4","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1016\/0304-3975(93)90230-Q","volume":"108","author":"C Frougny","year":"1993","unstructured":"Frougny C, Sakarovitch J (1993) Synchronized rational relations of finite and infinite words. Theor Comput Sci 108(1):45\u201382","journal-title":"Theor Comput Sci"},{"issue":"2","key":"84_CR5","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1007\/BF02575909","volume":"21","author":"F Gire","year":"1984","unstructured":"Gire F, Nivat M (1984) Relations rationnelles infinitaires. Calcolo 21(2):91\u2013125","journal-title":"Calcolo"},{"key":"84_CR6","series-title":"Lecture Notes in Computer Science","volume-title":"Automata, logics, and infinite games: a guide to current research (outcome of a Dagstuhl seminar, February 2001)","year":"2002","unstructured":"Gr\u00e4del E, Thomas W, Wilke T (eds) (2002) Automata, logics, and infinite games: a guide to current research (outcome of a Dagstuhl seminar, February 2001). Lecture Notes in Computer Science, vol 2500. Springer, New York"},{"key":"84_CR7","doi-asserted-by":"crossref","unstructured":"Jeron T, Marchand H, Pinchinat S, Cordier M-O (2006) Supervision patterns in discrete event systems diagnosis. In: 8th workshop on discrete event systems, WODES\u201906, Ann Arbor","DOI":"10.1109\/WODES.2006.1678440"},{"key":"84_CR8","doi-asserted-by":"crossref","unstructured":"J\u00e9ron T, Marchand H, Genc S, Lafortune S (2008) Predictability of sequence patterns in discrete event systems. In: IFAC World Congress, Seoul","DOI":"10.3182\/20080706-5-KR-1001.00091"},{"issue":"6","key":"84_CR10","doi-asserted-by":"crossref","first-page":"934","DOI":"10.1109\/TAC.2004.829616","volume":"49","author":"S Jiang","year":"2004","unstructured":"Jiang S, Kumar R (2004) Failure diagnosis of discrete event systems with linear-time temporal logic fault specifications. IEEE Trans Automat Contr 49(6):934\u2013945","journal-title":"IEEE Trans Automat Contr"},{"issue":"8","key":"84_CR11","doi-asserted-by":"crossref","first-page":"1318","DOI":"10.1109\/9.940942","volume":"46","author":"S Jiang","year":"2001","unstructured":"Jiang S, Huang Z, Chandra V, Kumar R (2001) A polynomial time algorithm for diagnosability of discrete event systems. IEEE Trans Automat Contr 46(8):1318\u20131321","journal-title":"IEEE Trans Automat Contr"},{"key":"84_CR12","doi-asserted-by":"crossref","unstructured":"Klarlund N (1991) Progress measures for complementation of omega-automata with applications to temporal logic. In: FOCS. IEEE, pp\u00a0358\u2013367","DOI":"10.1109\/SFCS.1991.185391"},{"issue":"3","key":"84_CR13","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1023\/A:1011254632723","volume":"19","author":"O Kupferman","year":"2001","unstructured":"Kupferman O, Vardi MY (2001) Model checking of safety properties. Form Methods Syst Des 19(3):291\u2013314","journal-title":"Form Methods Syst Des"},{"issue":"4","key":"84_CR14","doi-asserted-by":"crossref","first-page":"376","DOI":"10.1007\/BF01691063","volume":"3","author":"LH Landweber","year":"1969","unstructured":"Landweber LH (1969) Decision problems for omega-automata. Math Syst Theory 3(4):376\u2013384","journal-title":"Math Syst Theory"},{"key":"84_CR15","doi-asserted-by":"crossref","first-page":"521","DOI":"10.1016\/S0019-9958(66)80013-X","volume":"9","author":"R McNaughton","year":"1966","unstructured":"McNaughton R (1966) Testing and generating infinite sequences by a finite automaton. Inf Control 9:521\u2013530","journal-title":"Inf Control"},{"issue":"2","key":"84_CR16","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/S0304-3975(97)00219-3","volume":"195","author":"D Peled","year":"1998","unstructured":"Peled D, Wilke T, Wolper P (1998) An algorithmic approach for checking closure properties of \u03c9-regular languages. Theor Comp Sci 195(2):183\u2013203","journal-title":"Theor Comp Sci"},{"key":"84_CR17","volume-title":"Infinite words, automata, semigroups, logic and games","author":"D Perrin","year":"2004","unstructured":"Perrin D, Pin J-E (2004) Infinite words, automata, semigroups, logic and games. Elsevier, Amsterdam"},{"key":"84_CR18","unstructured":"Prieur C (2000) Fonctions rationnelles de mots infinis et continut\u00e9. Th\u00e8se de Doctorat, Univ. Paris 7"},{"key":"84_CR19","doi-asserted-by":"crossref","first-page":"114","DOI":"10.1147\/rd.32.0114","volume":"3","author":"MO Rabin","year":"1959","unstructured":"Rabin MO, Scott D (1959) Finite automata and their decision problems. IBM J Res Develop 3:114\u2013125","journal-title":"IBM J Res Develop"},{"issue":"9","key":"84_CR20","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, Sinaamohideen K, Teneketzis D (1995) Diagnosability of discrete event systems. IEEE Trans Automat Contr 40(9):1555\u20131575","journal-title":"IEEE Trans Automat Contr"},{"issue":"2","key":"84_CR21","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1109\/87.486338","volume":"4","author":"M Sampath","year":"1996","unstructured":"Sampath M, Sengupta R, Lafortune S, Sinaamohideen K, Teneketzis D (1996) Failure diagnosis using discrete event models. IEEE Trans Control Syst Technol 4(2):105\u2013124","journal-title":"IEEE Trans Control Syst Technol"},{"key":"84_CR22","doi-asserted-by":"crossref","first-page":"177","DOI":"10.1016\/S0022-0000(70)80006-X","volume":"4","author":"WJ Savitch","year":"1970","unstructured":"Savitch WJ (1970) Relationships between nondeterministic and deterministic tape complexities. J Comput Syst Sci 4:177\u2013192","journal-title":"J Comput Syst Sci"},{"issue":"5","key":"84_CR23","doi-asserted-by":"crossref","first-page":"495","DOI":"10.1007\/BF01211865","volume":"6","author":"AP Sistla","year":"1994","unstructured":"Sistla AP (1994) Safety, liveness and fairness in temporal logic. Form Asp Comput 6(5):495\u2013512","journal-title":"Form Asp Comput"},{"key":"84_CR24","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1016\/0304-3975(87)90008-9","volume":"49","author":"AP Sistla","year":"1987","unstructured":"Sistla AP, Vardi M, Wolper P (1987) The complementation problem for Buch\u00ef automata with applications to temporal logic. Theor Comp Sci 49:217\u2013237","journal-title":"Theor Comp Sci"},{"key":"84_CR25","doi-asserted-by":"crossref","first-page":"339","DOI":"10.1007\/978-3-642-59126-6_6","volume-title":"Handbook of formal languages, vol 3: beyond words, chapter\u00a010","author":"L Staiger","year":"1997","unstructured":"Staiger L (1997) \u03c9-languages. In: Rozenberg G, Salomaa A (eds) Handbook of formal languages, vol 3: beyond words, chapter\u00a010. Springer, New York, pp\u00a0339\u2013388"},{"key":"84_CR26","volume-title":"Proc. STACS 90, Rouen, LNCS 415","author":"W Thomas","year":"1990","unstructured":"Thomas W (1990) Infinite trees and automaton definable relations over \u03c9-words. In: Proc. STACS 90, Rouen, LNCS 415. Springer, New York"},{"issue":"9","key":"84_CR27","doi-asserted-by":"crossref","first-page":"1491","DOI":"10.1109\/TAC.2002.802763","volume":"47","author":"T Yoo","year":"2002","unstructured":"Yoo T, Lafortune S (2002) Polynomial-time verification of diagnosability of partially-observed discrete-event systems. IEEE Trans Automat Contr 47(9):1491\u20131495","journal-title":"IEEE Trans Automat Contr"}],"container-title":["Discrete Event Dynamic Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-009-0084-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10626-009-0084-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-009-0084-5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,30]],"date-time":"2019-05-30T19:58:52Z","timestamp":1559246332000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10626-009-0084-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,9,10]]},"references-count":26,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2009,12]]}},"alternative-id":["84"],"URL":"https:\/\/doi.org\/10.1007\/s10626-009-0084-5","relation":{},"ISSN":["0924-6703","1573-7594"],"issn-type":[{"value":"0924-6703","type":"print"},{"value":"1573-7594","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,9,10]]}}}