{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,29]],"date-time":"2026-04-29T02:52:19Z","timestamp":1777431139350,"version":"3.51.4"},"reference-count":29,"publisher":"Springer Science and Business Media LLC","issue":"1-2","license":[{"start":{"date-parts":[[2014,7,15]],"date-time":"2014-07-15T00:00:00Z","timestamp":1405382400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Discrete Event Dyn Syst"],"published-print":{"date-parts":[[2015,6]]},"DOI":"10.1007\/s10626-014-0197-3","type":"journal-article","created":{"date-parts":[[2014,7,14]],"date-time":"2014-07-14T08:24:00Z","timestamp":1405326240000},"page":"271-294","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":17,"title":["Diagnosis and opacity problems for infinite state systems modeled by recursive tile systems"],"prefix":"10.1007","volume":"25","author":[{"given":"S\u00e9bastien","family":"Ch\u00e9dor","sequence":"first","affiliation":[]},{"given":"Christophe","family":"Morvan","sequence":"additional","affiliation":[]},{"given":"Sophie","family":"Pinchinat","sequence":"additional","affiliation":[]},{"given":"Herv\u00e9","family":"Marchand","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2014,7,15]]},"reference":[{"key":"197_CR1","doi-asserted-by":"crossref","unstructured":"Alur R, Etessami K, Yannakakis M (2001) Analysis of recursive state machines. In: CAV, vol 2102. LNCS, pp 207\u2013220","DOI":"10.1007\/3-540-44585-4_18"},{"key":"197_CR2","doi-asserted-by":"crossref","unstructured":"Alur R, Madhusudan P (2004) Visibly pushdown languages. In: STOC 04. ACM, pp 202\u2013211","DOI":"10.1145\/1007352.1007390"},{"key":"197_CR3","doi-asserted-by":"crossref","first-page":"425","DOI":"10.1007\/s10626-007-0020-5","volume":"17","author":"E Badouel","year":"2007","unstructured":"Badouel E, Bednarczyk M, Borzyszkowski A, Caillaud B, Darondeau P (2007) Concurrent secrets. Discret Event Dyn Syst 17:425\u2013446","journal-title":"Discret Event Dyn Syst"},{"issue":"10","key":"197_CR4","doi-asserted-by":"crossref","first-page":"1169","DOI":"10.1016\/j.ic.2009.11.009","volume":"208","author":"P Baldan","year":"2010","unstructured":"Baldan P, Chatain T, Haar S, K\u00f6nig B (2010) Unfolding-based diagnosis of systems with an evolving topology. Inf Comput 208(10):1169\u20131192. doi: 10.1016\/j.ic.2009.11.009","journal-title":"Inf Comput"},{"key":"197_CR5","doi-asserted-by":"crossref","unstructured":"Bouyer P, Chevalier F, D\u2019Souza D (2005) Fault diagnosis using timed automata. In: FoSSaCS\u201905, vol 3441. LNCS, Edinburgh, pp 219\u2013233","DOI":"10.1007\/978-3-540-31982-5_14"},{"issue":"6","key":"197_CR6","doi-asserted-by":"crossref","first-page":"421","DOI":"10.1007\/s10207-008-0058-x","volume":"7","author":"J Bryans","year":"2008","unstructured":"Bryans J, Koutny M, Mazar\u00e9 L, Ryan P Y A (2008) Opacity generalised to transition systems. Int J Inf Sec 7(6):421\u2013435","journal-title":"Int J Inf Sec"},{"key":"197_CR7","doi-asserted-by":"crossref","unstructured":"Cassandras CG, Lafortune S (1999) Introduction to discrete event systems. Springer","DOI":"10.1007\/978-1-4757-4070-7"},{"key":"197_CR8","doi-asserted-by":"crossref","unstructured":"Cassez F (2009) The dark side of timed opacity. In: Proceedings of the 3rd international conference on information security and assurance (ISA\u201909), vol 5576. LNCS, Seoul, pp 21\u201330","DOI":"10.1007\/978-3-642-02617-1_3"},{"key":"197_CR9","doi-asserted-by":"crossref","unstructured":"Cassez F, Dubreil J, Marchand H (2012) Synthesis of opaque systems with static and dynamic masks. Form 734Methods Syst Des 40(1):88\u2013115","DOI":"10.1007\/s10703-012-0141-9"},{"key":"197_CR10","unstructured":"Caucal D (2007) Deterministic graph grammars. In: Texts in logics and games 2, pp 169\u2013250"},{"key":"197_CR11","doi-asserted-by":"crossref","unstructured":"Caucal D, Hassen S (2008) Synchronization of grammars. In: Hirsch E, Razborov A, Semenov A, Slissenko A (eds) CSR, vol 5010. LNCS, Springer, pp 110\u2013121","DOI":"10.1007\/978-3-540-79709-8_14"},{"key":"197_CR12","unstructured":"Ch\u00e9dor S, J\u00e9ron T, Morvan C (2013) Test generation from recursive tile systems. Rapport de recherche RR-8206, INRIA. http:\/\/hal.inria.fr\/hal-00778134"},{"key":"197_CR13","doi-asserted-by":"crossref","unstructured":"Ch\u00e9dor S, J\u00e9ron T, Morvan C (2012) Test generation from recursive tiles systems. In: Brucker A, Julliand J (eds) 6th international conference on tests and proofs, vol 7305. LNCS, Prague, Czech Republic, pp 99\u2013114. http:\/\/hal.inria.fr\/hal-00743941 , Prague, Czech Republic, p 99114","DOI":"10.1007\/978-3-642-30473-6_9"},{"key":"197_CR14","doi-asserted-by":"crossref","unstructured":"Courcelle B (1990) Handbook of theoretical computer science, chap. Graph rewriting: an algebraic and logic approach. Elsevier","DOI":"10.1016\/B978-0-444-88074-1.50010-X"},{"key":"197_CR15","doi-asserted-by":"crossref","unstructured":"Dubreil J, J\u00e9ron T, Marchand H (2009) Monitoring confidentiality by diagnosis techniques. In: ECC. Budapest, Hungary, pp 2584\u20132590","DOI":"10.23919\/ECC.2009.7074795"},{"key":"197_CR16","doi-asserted-by":"crossref","unstructured":"H\u00e9louet L, Gazagnaire T, Genest B (2006) Diagnosis from scenarios. In: Proceedings of the 8th international workshop on discrete events systems, WODES\u201906, pp 307\u2013312","DOI":"10.1109\/WODES.2006.1678447"},{"key":"197_CR17","doi-asserted-by":"crossref","unstructured":"H\u00e9louet L, Marchand H, Genest B, Gazagnaire T (2013) Diagnosis from scenarios, and applications. Discrete Event Dynamic Systems, Theory and Applications","DOI":"10.1007\/s10626-013-0158-2"},{"key":"197_CR18","doi-asserted-by":"crossref","unstructured":"J\u00e9ron T, Marchand H, Pinchinat S, Cordier M O (2006) Supervision patterns in discrete event systems diagnosis. In: WODES\u201906, pp 262\u2013268","DOI":"10.1109\/WODES.2006.1678440"},{"key":"197_CR19","doi-asserted-by":"crossref","first-page":"1318","DOI":"10.1109\/9.940942","volume":"46","author":"S Jiang","year":"2000","unstructured":"Jiang S, Huang Z, Chandra V, Kumar R (2000) A polynomial algorithm for testing diagnosability of discrete event systems. IEEE Trans Autom Control 46: 1318\u20131321","journal-title":"IEEE Trans Autom Control"},{"key":"197_CR20","doi-asserted-by":"crossref","unstructured":"Kobayashi K, Hiraishi K (2013) Verification of opacity and diagnosability for pushdown systems. Journal of Applied Mathematics","DOI":"10.1155\/2013\/654059"},{"key":"197_CR21","unstructured":"Morvan C, Pinchinat S (2009) Diagnosability of pushdown systems. In: HVC2009, Haifa verification conference, vol 6405. LNCS, Haifa, pp 21\u201333"},{"key":"197_CR22","unstructured":"Saboori A, Hadjicostis C (2008) Verification of initial-state opacity in security applications of des. In: 9th international workshop on discrete event systems, 2008. WODES 2008, pp 328\u2013333"},{"issue":"5","key":"197_CR23","doi-asserted-by":"crossref","first-page":"1265","DOI":"10.1109\/TAC.2011.2173774","volume":"57","author":"A Saboori","year":"2012","unstructured":"Saboori A., Hadjicostis C.N. (2012) Verification of infinite-step opacity and complexity considerations. IEEE Trans Automat Contr 57(5):1265\u20131269","journal-title":"IEEE Trans Automat Contr"},{"issue":"9","key":"197_CR24","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 Autom Control 40(9):1555\u20131575","journal-title":"IEEE Trans Autom Control"},{"issue":"2","key":"197_CR25","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":"197_CR26","doi-asserted-by":"crossref","unstructured":"Tripakis S (2002) Fault diagnosis for timed automata. In: Damm W, Olderog ER (eds) FTRTFT, vol 2469. LNCS, Springer, pp 205\u2013224","DOI":"10.1007\/3-540-45739-9_14"},{"key":"197_CR27","doi-asserted-by":"crossref","unstructured":"Ushio T, Onishi I, Okuda K (1998) Fault detection based on petri net models with faulty behaviors. IEEE Int Conf Syst Man Cybernet 1(1):113\u2013118","DOI":"10.1109\/ICSMC.1998.725394"},{"key":"197_CR28","doi-asserted-by":"crossref","first-page":"307","DOI":"10.1007\/s10626-012-0145-z","volume":"23","author":"YC Wu","year":"2013","unstructured":"Wu YC, Lafortune S (2013) Comparative analysis of related notions of opacity in centralized and coordinated architectures. Discret Event Dyn Syst 23:307\u2013339","journal-title":"Discret Event Dyn Syst"},{"key":"197_CR29","unstructured":"Yoo TS, Lafortune S (2002) Polynomial-time verification of diagnosability of partially-observed discrete event systems. IEEE Trans Autom Control 47(3):1491\u20131495"}],"container-title":["Discrete Event Dynamic Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-014-0197-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10626-014-0197-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-014-0197-3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,12]],"date-time":"2019-08-12T19:26:19Z","timestamp":1565637979000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10626-014-0197-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,7,15]]},"references-count":29,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2015,6]]}},"alternative-id":["197"],"URL":"https:\/\/doi.org\/10.1007\/s10626-014-0197-3","relation":{},"ISSN":["0924-6703","1573-7594"],"issn-type":[{"value":"0924-6703","type":"print"},{"value":"1573-7594","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,7,15]]}}}