{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,13]],"date-time":"2026-05-13T16:17:57Z","timestamp":1778689077615,"version":"3.51.4"},"reference-count":27,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2009,7,9]],"date-time":"2009-07-09T00:00:00Z","timestamp":1247097600000},"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":[[2010,9]]},"DOI":"10.1007\/s10626-009-0077-4","type":"journal-article","created":{"date-parts":[[2009,7,8]],"date-time":"2009-07-08T03:48:01Z","timestamp":1247024881000},"page":"349-376","source":"Crossref","is-referenced-by-count":10,"title":["Fairness of Transitions in Diagnosability of Discrete Event Systems"],"prefix":"10.1007","volume":"20","author":[{"given":"Santosh","family":"Biswas","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dipankar","family":"Sarkar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Siddhartha","family":"Mukhopadhyay","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Amit","family":"Patra","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2009,7,9]]},"reference":[{"issue":"0000","key":"77_CR1","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1109\/32.489079","volume":"22","author":"R Alur","year":"1996","unstructured":"Alur R, Henzinger TA, Ho P-H (1996) Automatic symbolic verification of embedded systems. IEEE Trans Softw Eng 22(0000):181\u2013201","journal-title":"IEEE Trans Softw Eng"},{"key":"77_CR2","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1007\/3-540-57318-6_30","volume-title":"Hybrid systems, LNCS 736","author":"R Alur","year":"1993","unstructured":"Alur R, Courcoubetis C, Henzinger TA, Ho P-H (1993) Hybrid automata: an algorithmic approach to the specification and verification of hybrid systems. In: Hybrid systems, LNCS 736. Springer, New York, pp 209\u2013229"},{"key":"77_CR3","doi-asserted-by":"crossref","unstructured":"Bavishi S, Chong E (1994) Automated fault diagnosis using a discrete event systems framework. In: IEEE int symp intelligent control, pp 213\u2013218","DOI":"10.1109\/ISIC.1994.367815"},{"key":"77_CR4","doi-asserted-by":"crossref","unstructured":"Biswas S, Karfa C, Kanwar H, Sarkar D, Mukhopadhyay S, Patra A (2006) Fairness of transitions in diagnosability analysis of hybrid systems. In: American control conference-2006, pp 2664\u20132669","DOI":"10.1109\/ACC.2006.1656625"},{"key":"77_CR5","doi-asserted-by":"crossref","unstructured":"Chutinan A, Krogh B (1999) Verification of polyhedral-invariant hybrid automata using polygonal flow pipe approximations. In: International workshop on hybrid systems: computation and control, pp 76\u201390","DOI":"10.1007\/3-540-48983-5_10"},{"key":"77_CR6","unstructured":"Debouk R (2000) Failure diagnosis of decentralized discrete event systems. Ph.D. dissertation, Elec. Eng. Comp. Sci. Dept., University of Michigan, Ann Arbor"},{"issue":"7","key":"77_CR7","doi-asserted-by":"crossref","first-page":"690","DOI":"10.1080\/00207170010025276","volume":"74","author":"D Forstner","year":"2001","unstructured":"Forstner D, Lunze J (2001) Discrete-event models of quantized systems for diagnosis. Int J Control 74(7):690\u2013700","journal-title":"Int J Control"},{"key":"77_CR8","doi-asserted-by":"crossref","unstructured":"Frehse G (2005) Phaver: algorithmic verification of hybrid systems past hytech. In: International workshop on hybrid systems: computation and control, pp 258\u2013273","DOI":"10.1007\/978-3-540-31954-2_17"},{"key":"77_CR9","doi-asserted-by":"crossref","unstructured":"Jiang S, Kumar R (2002) Failure diagnosis of discrete event systems with linear-time temporal logic fault specificatioans. In: Proc 2002 Amer control conf, pp 128\u2013133","DOI":"10.1109\/ACC.2002.1024792"},{"key":"77_CR10","doi-asserted-by":"crossref","unstructured":"Jiang S, Kumar R, Garcia H (2002) Diagnosis of repeated failures in discrete event systems. In: Proc 41st IEEE conf decision and control, pp 4000\u20134005","DOI":"10.1109\/CDC.2002.1184992"},{"key":"77_CR11","doi-asserted-by":"crossref","unstructured":"Kupferman O, Vardi YM (1996) Verification of fair transition systems. In: International conference on computer aided verification, pp 372\u2013382","DOI":"10.1007\/3-540-61474-5_84"},{"key":"77_CR12","doi-asserted-by":"crossref","unstructured":"Lafortune S, Teneketzis D, Sampath M, Sengupta R, Sinnamohideen K (2001) Failure diagnosis of dynamic systems: an approach based on discrete event systems. In: Amer control conf, pp 2058\u20132071","DOI":"10.1109\/ACC.2001.946047"},{"key":"77_CR13","unstructured":"Lamperti G, Zanella M (1999) Diagnosis of discrete event systems integrating synchronous and asynchronous behvior. In: 9th int workshop on principles of diagnosis, pp 129\u2013139"},{"issue":"2","key":"77_CR14","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1007\/BF01441211","volume":"4","author":"F Lin","year":"1994","unstructured":"Lin F (1994) Diagnosability of discrete event systems and its application. Discrete Event Dyn Syst Theory Appl 4(2):197\u2013212","journal-title":"Discrete Event Dyn Syst Theory Appl"},{"key":"77_CR15","doi-asserted-by":"crossref","first-page":"417","DOI":"10.1016\/0005-1098(94)90119-8","volume":"30","author":"J Lunze","year":"1994","unstructured":"Lunze J (1994) Qualitative modelling of linear dynamical systems with quantized state measurements. Automatica 30:417\u2013431","journal-title":"Automatica"},{"key":"77_CR16","doi-asserted-by":"crossref","first-page":"395","DOI":"10.1016\/S0005-1098(98)00176-9","volume":"35","author":"J Lunze","year":"1999","unstructured":"Lunze J, Nixdorf B, Schroder J (1999) Deterministic discrete-event representations of linear continuous-variable systems. Automatica 35:395\u2013406","journal-title":"Automatica"},{"key":"77_CR17","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-0931-7","volume-title":"The temporal logic of reactive and concurrent systems: specification","author":"Z Manna","year":"1992","unstructured":"Manna Z, Pnueli A (1992) The temporal logic of reactive and concurrent systems: specification. Springer, Berlin"},{"key":"77_CR18","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1016\/0020-0190(94)90047-7","volume":"49","author":"E Nuutila","year":"1994","unstructured":"Nuutila E, Soisalon-Soininen E (1994) On finding the strongly connected components in a directed graph. Inf Process Lett 49:9\u201314","journal-title":"Inf Process Lett"},{"issue":"5","key":"77_CR19","doi-asserted-by":"crossref","first-page":"868","DOI":"10.1109\/9.855548","volume":"45","author":"D Pandalai","year":"2000","unstructured":"Pandalai D, Holloway L (2000) Template languages for fault monitoring of discrete event processes. IEEE Trans Autom Control 45(5):868\u2013882","journal-title":"IEEE Trans Autom Control"},{"key":"77_CR20","unstructured":"Provan G, Chen Y-L (1998) Diagnosis of timed discrete event systems using temporal causal networks: modeling and analysis. In: Int workshop on discrete event systems, pp 152\u2013154"},{"issue":"7","key":"77_CR21","doi-asserted-by":"crossref","first-page":"908","DOI":"10.1109\/9.701089","volume":"43","author":"M Sampath","year":"1998","unstructured":"Sampath M, Lafortune S, Teneketzis D (1998) Active diagnosis of discrete-event systems. IEEE Trans Autom Control 43(7):908\u2013929","journal-title":"IEEE Trans Autom Control"},{"issue":"9","key":"77_CR22","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, Teneketzis DC (1995) Diagnosability of discrete-event systems. IEEE Trans Autom Control 40(9):1555\u20131575","journal-title":"IEEE Trans Autom Control"},{"issue":"2","key":"77_CR23","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, Sinnamohideen K, Teneketzis DC (1996) Failure diagnosis using discrete-event models. IEEE Trans Autom Control 4(2)105\u2013124","journal-title":"IEEE Trans Autom Control"},{"issue":"4","key":"77_CR24","doi-asserted-by":"crossref","first-page":"476","DOI":"10.1109\/TAC.2005.844722","volume":"50","author":"D Thorsley","year":"2005","unstructured":"Thorsley D, Teneketzis D (2005) Diagnosability of stochastic discrete-event systems. IEEE Trans Autom Control 50(4):476\u2013492","journal-title":"IEEE Trans Autom Control"},{"issue":"9","key":"77_CR25","doi-asserted-by":"crossref","first-page":"1491","DOI":"10.1109\/TAC.2002.802763","volume":"47","author":"T-S Yoo","year":"2002","unstructured":"Yoo T-S, Lafortune S (2002) Polynomial-time verification of diagnosability of partially observed discrete-event systems. IEEE Trans Autom Control 47(9):1491\u20131495","journal-title":"IEEE Trans Autom Control"},{"issue":"7","key":"77_CR26","doi-asserted-by":"crossref","first-page":"1199","DOI":"10.1109\/TAC.2003.814099","volume":"48","author":"SH Zad","year":"2003","unstructured":"Zad SH, Kwong RH, Wonham WM (2003) Fault diagnosis in discrete-event systems: framework and model reduction. IEEE Trans Autom Control 48(7):1199\u20131212","journal-title":"IEEE Trans Autom Control"},{"issue":"7","key":"77_CR27","doi-asserted-by":"crossref","first-page":"1010","DOI":"10.1109\/TAC.2005.851444","volume":"50","author":"SH Zad","year":"2005","unstructured":"Zad SH, Kwong RH, Wonham WM (2005) Fault diagnosis in discrete-event systems: incorporating timing information. IEEE Trans Autom Control 50(7):1010\u20131015","journal-title":"IEEE Trans Autom Control"}],"container-title":["Discrete Event Dynamic Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-009-0077-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10626-009-0077-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-009-0077-4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,5,20]],"date-time":"2020-05-20T09:33:08Z","timestamp":1589967188000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10626-009-0077-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,7,9]]},"references-count":27,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2010,9]]}},"alternative-id":["77"],"URL":"https:\/\/doi.org\/10.1007\/s10626-009-0077-4","relation":{},"ISSN":["0924-6703","1573-7594"],"issn-type":[{"value":"0924-6703","type":"print"},{"value":"1573-7594","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,7,9]]}}}